Search results for: Marco Roveri
Basin Research > 33 > 4 > 2500 - 2516
Progress in Earth and Planetary Science > 2019 > 6 > 1 > 1-15
Geological Journal > 54 > 3 > 1617 - 1637
Terra Nova > 30 > 3 > 189 - 198
Artificial Intelligence > 2018 > 256 > C > 1-34
Geochimica et Cosmochimica Acta > 2017 > 208 > C > 354-367
Palaeogeography, Palaeoclimatology, Palaeoecology > 2017 > 471 > C > 120-133
Basin Research > 29 > 2 > 203 - 233
Palaeogeography, Palaeoclimatology, Palaeoecology > 2017 > 469 > C > 60-73
Lecture Notes in Computer Science > Computer Aided Verification > Session XVI: SAT and Decision Procedures > 532-546
Palaeogeography, Palaeoclimatology, Palaeoecology > 2016 > 459 > C > 585-596
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2016 > 35 > 6 > 1026 - 1039
Lecture Notes in Computer Science > Model Checking Software > PROMELA Encodings and Extensions > 90-107
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Specification Languages > 505-518
Lecture Notes in Computer Science > Computer Aided Verification > Session VIII: Reactive Designs > 263-267
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Optimizations > 196-207
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Verification (II) > 341-356