E-LIB Suche - Ergebnisse für: Narkawicz, Anthony

1

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

Muñoz, Cesar A. ; Ayala-Rincón, Mauricio ; Moscato, Mariano M....
Journal of Automated Reasoning. 67 (2023) 4 - p. , 2023

Link: https://doi.org/10.1007/..

2

Selected extended papers of NFM 2018:

Dutle, Aaron ; Muñoz, César ; Narkawicz, Anthony
Innovations in Systems and Software Engineering. 15 (2019) 3-4 - p. 167-168 , 2019

Link: https://doi.org/10.1007/..

3

NASA Formal Methods

10th International Symposium, NFM 2018, Newport News, VA, U... Lecture Notes in Computer Science ; 10811;Programming and Software Engineering ; 10811;SpringerLink, Bücher;Springer eBook Collection, Computer Science

Dutle, Aaron ; Narkawicz, Anthony ; Muñoz, César , 2018

Link: https://doi.org/10.1007/..

4

Unmanned aircraft systems in the national airspace system ..:

Muñoz, César A. ; Dutle, Aaron ; Narkawicz, Anthony.
ACM SIGLOG News. 3 (2016) 3 - p. 67-76 , 2016

Link: https://dl.acm.org/doi/1..

5

Unmanned aircraft systems in the national airspace system: ..:

Muñoz, César A. ; Dutle, Aaron ; Narkawicz, Anthony.
ACM SIGLOG News. 3 (2016) 3 - p. 67-76 , 2016

Link: https://doi.org/10.1145/..

6

Formally-Verified Decision Procedures for Univariate Polyno..:

Narkawicz, Anthony ; Muñoz, César ; Dutle, Aaron
Journal of Automated Reasoning. 54 (2015) 4 - p. 285-326 , 2015

Link: https://doi.org/10.1007/..

7

Characterizing the Effects of a Vertical Time Threshold for..:

Upchurch, Jason ; Muñoz, César ; Narkawicz, Anthony..
Air Traffic Control Quarterly. 23 (2015) 4 - p. 275-299 , 2015

Link: https://doi.org/10.2514/..

8

Provably correct conflict prevention bands algorithms:

Narkawicz, Anthony ; Muñoz, César ; Dowek, Gilles
Science of Computer Programming. 77 (2012) 10-11 - p. 1039-1057 , 2012

Link: https://doi.org/10.1016/..

9

Formalization of Bernstein Polynomials and Applications to ..:

Muñoz, César ; Narkawicz, Anthony
Journal of Automated Reasoning. 51 (2012) 2 - p. 151-196 , 2012

Link: https://doi.org/10.1007/..

10

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/..

11

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...

12

ICAROUS: Integrated configurable algorithms for reliable op..:

Consiglio, Maria ; Munoz, Cesar ; Hagen, George..
https://zenodo.org/record/1267417. , 2016

Link: https://zenodo.org/recor..

13

Cohomology Jumping Loci and Relative Malcev Completion:

Narkawicz, Anthony
http://arxiv.org/abs/0804.4164. , 2008

Link: http://arxiv.org/abs/080..

14

The First Cohomology Group H^1(G,M):

Narkawicz, Anthony
http://arxiv.org/abs/math/0310296. , 2003

Link: http://arxiv.org/abs/mat..

15

A Formal Proof Of The Riesz Representation Theorem:

Anthony Narkawicz
http://jfr.cib.unibo.it/article/view/1952/1538. , 2011

Link: https://doaj.org/article..