Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Nicolas Basset
Specification and Efficient Monitoring Beyond STL
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
STL: A Publisher's Perspective
Against the Grain
Specification Synthesis for Monitoring and Analysis of MANET Protocols
Intrinsic Ergodicity Beyond Specification: Β-Shifts, S-Gap Shifts, and Their Factors
Israel Journal of Mathematics
Mathematics
Efficient SAT Solving: Beyond Supercubes
Efficient Noninteractive Certification of RSA Moduli and Beyond
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Neda's Efficient Mail Submission and Delivery (EMSD) Protocol Specification Version 1.3
Feature Unweaving: Efficient Variability Extraction and Specification for Emerging Software Product Lines
Efficient Inference of Generalized Spatial Fusion Models With Flexible Specification
Stat
Uncertainty
Statistics
Probability
An Alphard Specification of a Correct and Efficient Transformation on Data Structures
IEEE Transactions on Software Engineering
Software
