Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Dutle, Aaron
11  Ergebnisse:
OpenAccess-Volltexte X
Personensuche X
?
1

A Compositional Proof Framework for FRETish Requirements:

Conrad, Esther ; Titolo, Laura ; Giannakopoulou, Dimitra..
http://arxiv.org/abs/2201.03641.  , 2022
Link: http://arxiv.org/abs/220..
 
?
2

From Requirements to Autonomous Flight: An Overview of the ..:

Dutle, Aaron ; Muñoz, César ; Conrad, Esther...
http://arxiv.org/abs/2012.03745.  , 2020
Link: http://arxiv.org/abs/201..
 
?
3

A Decision Procedure for Univariate Polynomial Systems Base..:

NARKAWICZ, ANTHONY ; MUNOZ, CESAR ; DUTLE, AARON
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC6749613/.  , 2018
Link: http://www.ncbi.nlm.nih...
 
?
4

Abelian groups yield many large families for the diamond pr..:

Czabarka, Éva ; Dutle, Aaron ; Johnston, Travis.
http://arxiv.org/abs/1309.5638.  , 2013
Link: http://arxiv.org/abs/130..
 
?
5

On Realizations of a Joint Degree Matrix:

Czabarka, Éva ; Dutle, Aaron ; Erdös, Péter.
http://arxiv.org/abs/1302.3548.  , 2013
Link: http://arxiv.org/abs/130..
 
?
6

Computing Hypermatrix Spectra with the Poisson Product Form..:

Cooper, Joshua ; Dutle, Aaron
http://arxiv.org/abs/1301.4590.  , 2013
Link: http://arxiv.org/abs/130..
 
?
7

Graph Odometry:

Dutle, Aaron ; Kay, Bill
http://arxiv.org/abs/1211.2151.  , 2012
Link: http://arxiv.org/abs/121..
 
?
8

Spectra of Uniform Hypergraphs:

Cooper, Joshua ; Dutle, Aaron
http://arxiv.org/abs/1106.4856.  , 2011
Link: http://arxiv.org/abs/110..
 
?
9

Formal Verification of Termination Criteria for First-Order..:

Moscato, Mariano M ; Dutle, Aaron M ; Narkawicz, Anthony J..
doi:10.4230/LIPIcs.ITP.2021.27.  , 2021
Link: https://doi.org/10.4230/..
 
?
10

Greedy Galois Games:

Cooper, Joshua N ; Dutle, Aaron M
http://arxiv.org/abs/1110.1137.  , 2011
Link: http://arxiv.org/abs/111..
 
?
11

A Decision Procedure for Univariate Polynomial Systems Base..:

Anthony Joseph Narkawicz ; Cesar Munoz ; Aaron M. Dutle
https://jfr.unibo.it/article/view/8212.  , 2018
Link: https://doi.org/10.6092/..
 
1-11