Sergiy Bogomolov und Henzinger - Info zur Person

(1 - 6 von 11

)

ISTA Research Explorer

research-explorer.app.ist.ac.at

Sergiy Bogomolov. Henzinger Group. Alias. ArXiv ID. Author Claim. GitHub. Google Scholar Profile. INSPIRE ID. ORCID ID ORCID ID.

Search results for "Sergiy Bogomolov" – FacetedDBLP

dblp.l3s.uni-hannover.de

Sergiy Bogomolov, Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger Counterexample-Guided Refinement of Template Polyhedra. TACAS (1) DBLP DOI BibTeX RDF

Curriculum Vitae. Sergiy Bogomolov. October 6, PDF Free Download

docplayer.net

Curriculum Vitae Sergiy Bogomolov October 6, 1 Contact Information Henzinger Group Institute of Science and Technology Austria Am ...

Discrete abstraction of multiaffine systems

research-explorer.app.ist.ac.at

Kong, Hui, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Thomas A Henzinger, Yu Jiang, and Christian Schilling. “Discrete Abstraction of ...

Scalable Static Hybridization Methods for Analysis of Nonlinear...

www.taylortjohnson.com

Stanley Bak, Sergiy Bogomolov, Thomas A. Henzinger, Taylor T. Johnson, Pradyot Prakash, "Scalable Static Hybridization Methods for Analysis of Nonlinear ...

Ezio Bartocci - Technische Universität Wien (TU Wien)

www.eziobartocci.com

Sergiy Bogomolov, Christian Schilling, Ezio Bartocci, Grégory Batt, H Kong, Radu Grosu. In In Proc. of HVC 2015: the 11th Haifa Verification Conference, Hui Kong, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Thomas Henzinger, Yu Jiang, Christian Schilling. In Proc. of HSB 2016: the Fifth International Workshop on ...