Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Alexandre Hamez
Building Efficient Model Checkers Using Hierarchical Set Decision Diagrams and Automatic Saturation
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Related publications
Hierarchical Decision Diagrams to Exploit Model Structure
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Efficient Basic Event Orderings for Binary Decision Diagrams
Decision-Model Construction With Multilevel Influence Diagrams
Knowledge Engineering Review
Artificial Intelligence
Software
Automatic Velocity Model Building Technology
ASEG Extended Abstracts
Automatic Rooftop Extraction in Stereo Imagery Using Distance and Building Shape Regularized Level Set Evolution
ISPRS - International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences
Efficient Decompositional Model Checking for Regular Timing Diagrams
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Byzantine Set-Union Consensus Using Efficient Set Reconciliation
Eurasip Journal on Information Security
Computer Science Applications
Signal Processing
Automatic Building Extraction Using LiDAR and Aerial Photographs
Boletim de Ciências Geodésicas
Synthesis of Multiplexor-Based FPGAs Using 123-Decision Diagrams
