Pablo Morgenstern

Universidad CAECE - Buenos Aires / Argentina

Others

AD Scientific Index ID: 4307404

CAECE University

Go Premium -
Unlock Full Profile Tools

Get Your Global Impact Certificate

Universidad CAECE

Pablo Morgenstern's MOST POPULAR ARTICLES

1-) From LTL to symbolically represented deterministic automata International Workshop on Verification, Model Checking, and Abstract …, 2008

2-) Embedded-software architects: It's not only about the software IEEE Software 33 (6), 56-62, 2016

3-) Solving games using incremental induction International Conference on Integrated Formal Methods, 177-191, 2013

4-) Exploiting the temporal logic hierarchy and the non-confluence property for efficient LTL synthesis arXiv preprint arXiv:1006.1408, 2010

5-) Synthesis of Parallel Sorting Networks using SAT Solvers. MBMV, 71-80, 2011

ARTICLES

Add your articles