×

zbMATH — the first resource for mathematics

Deters, Morgan

Compute Distance To:
Author ID: deters.morgan Recent zbMATH articles by "Deters, Morgan"
Published as: Deters, Morgan
External Links: ORCID
Documents Indexed: 15 Publications since 2001

Publications by Year

Citations contained in zbMATH Open

9 Publications have been cited 34 times in 32 Documents Cited by Year
Quantifier instantiation techniques for finite model finding in SMT. Zbl 1381.68275
Reynolds, Andrew; Tinelli, Cesare; Goel, Amit; Krstić, Sava; Deters, Morgan; Barrett, Clark
8
2013
Counterexample-guided quantifier instantiation for synthesis in SMT. Zbl 1381.68059
Reynolds, Andrew; Deters, Morgan; Kuncak, Viktor; Tinelli, Cesare; Barrett, Clark
7
2015
Expressive completeness of separation logic with two variables and no separating conjunction. Zbl 1367.03053
Demri, Stephane; Deters, Morgan
5
2016
Separation logics and modalities: a survey. Zbl 1398.03151
Demri, Stéphane; Deters, Morgan
4
2015
Two-variable separation logic and its inner circle. Zbl 1354.03036
Demri, Stéphane; Deters, Morgan
3
2015
Expressive completeness of separation logic with two variables and no separating conjunction. Zbl 1394.03054
Demri, Stéphane; Deters, Morgan
2
2014
Temporal logics on strings with prefix relation. Zbl 1353.68176
Demri, Stéphane; Deters, Morgan
2
2016
Witness runs for counter machines. Zbl 1397.68122
Barrett, Clark; Demri, Stéphane; Deters, Morgan
2
2013
Reducing chaos in SAT-like search: finding solutions close to a given one. Zbl 1330.68266
Abío, Ignasi; Deters, Morgan; Nieuwenhuis, Robert; Stuckey, Peter J.
1
2011
Expressive completeness of separation logic with two variables and no separating conjunction. Zbl 1367.03053
Demri, Stephane; Deters, Morgan
5
2016
Temporal logics on strings with prefix relation. Zbl 1353.68176
Demri, Stéphane; Deters, Morgan
2
2016
Counterexample-guided quantifier instantiation for synthesis in SMT. Zbl 1381.68059
Reynolds, Andrew; Deters, Morgan; Kuncak, Viktor; Tinelli, Cesare; Barrett, Clark
7
2015
Separation logics and modalities: a survey. Zbl 1398.03151
Demri, Stéphane; Deters, Morgan
4
2015
Two-variable separation logic and its inner circle. Zbl 1354.03036
Demri, Stéphane; Deters, Morgan
3
2015
Expressive completeness of separation logic with two variables and no separating conjunction. Zbl 1394.03054
Demri, Stéphane; Deters, Morgan
2
2014
Quantifier instantiation techniques for finite model finding in SMT. Zbl 1381.68275
Reynolds, Andrew; Tinelli, Cesare; Goel, Amit; Krstić, Sava; Deters, Morgan; Barrett, Clark
8
2013
Witness runs for counter machines. Zbl 1397.68122
Barrett, Clark; Demri, Stéphane; Deters, Morgan
2
2013
Reducing chaos in SAT-like search: finding solutions close to a given one. Zbl 1330.68266
Abío, Ignasi; Deters, Morgan; Nieuwenhuis, Robert; Stuckey, Peter J.
1
2011

Citations by Year