S. Thibault
Université Laval(CA)
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Advanced Software Engineering Methodologies, Distributed systems and fault tolerance, Security and Verification in Computing, Logic, programming, and type systems
Most-Cited Works
- → Tempo(1998)108 cited
- → Domain-specific languages: from design to implementation application to video device drivers generation(1999)85 cited
- → Safe and efficient active network programming(2002)52 cited
- → Validation of the AmpFℓSTR™ Profiler Plus PCR Amplification Kit for Use in Forensic Casework(2001)35 cited
- → Adapting distributed applications using extensible networks(2003)23 cited
- → Mapping software architectures to efficient implementations via partial evaluation(2002)21 cited
- → Partial evaluation for software engineering(1998)14 cited
- → Formal method for scheduling, routing and communication protocol(2002)5 cited
- → A domain-specific language approach to programmable networks(2003)3 cited
- 低合金鋼の浸炭窒化:機械的および冶金学的反応【Powered by NICT】(2017)