Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Antoine Mine
Numerical Static Analysis of Interrupt-Driven Programs via Sequentialization
Related publications
Static Analysis of Android Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Static Analysis of Ravenscar Programs
ACM SIGAda Ada Letters
Numerical Modeling of Reinforced Concrete Structures: Static and Dynamic Analysis
Revista Escola de Minas
Materials Science
Waste Management
Petrology
Disposal
Geology
Geochemistry
Economic Geology
Numerical Analysis of Urea Decomposition With Static Mixers in Marine SCR System
Journal of Clean Energy Technologies
Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Variational and Numerical Analysis of a Static Thermo-Electro-Elastic Problem With Friction
Mathematical Problems in Engineering
Mathematics
Engineering
Data-Driven Partitioning of Power Networks via Koopman Mode Analysis
IEEE Transactions on Power Systems
Electronic Engineering
Power Technology
Electrical
Energy Engineering
Reverse Engineering of Java Programs Through Static and Dynamic Analysis to Generate Scenario Diagrams
Seismic Assessment of Masonry Cross Vaults Through Numerical Nonlinear Static and Dynamic Analysis
