( en | de | ru )

 

Disambiguierung von "Ghilardi, Silvio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN (Extended Version).

, , , , und . CoRR, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Silvio Bischoff

Miniaturisierte Hochdrehzahl-Kühlmittelpumpen für Kfz-Motoren. TU Braunschweig, (2009)

Silvio Scheel

Silvio Peritore

Silvio Terner

Silvio Kalisch

 

Weitere Publikationen von Autoren mit dem selben Namen

Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems: a case study., , , , und . ECEASST, (2010)First-order modal logic., und . Handbook of Modal Logic, Volume 3 von Studies in logic and practical reasoning, North-Holland, (2007)A Combination of Rewriting and Constraint Solving for the Quantifier-Free Interpolation of Arrays with Integer Difference Constraints., , und . FroCoS, Volume 6989 von Lecture Notes in Computer Science, Seite 103-118. Springer, (2011)Goal-Directed Invariant Synthesis for Model Checking Modulo Theories., und . TABLEAUX, Volume 5607 von Lecture Notes in Computer Science, Seite 173-188. Springer, (2009)SAFARI: SMT-Based Abstraction for Arrays with Interpolants., , , , und . CAV, Volume 7358 von Lecture Notes in Computer Science, Seite 679-685. Springer, (2012)Presheaf semantics and independence results for some non-classical first-order logics.. Arch. Math. Log., 29 (2): 125-136 (1989)Abstraction and Acceleration in SMT-based Model-Checking for Array Programs, , und . CoRR, (2013)Unification in modal and description logics., und . Logic Journal of the IGPL, 19 (6): 705-730 (2011)A Model-Theoretic characterization of Monadic second order Logic on Infinite Words., und . J. Symb. Log., 82 (1): 62-76 (2017)An Algebraic Theory of Normal Forms.. Ann. Pure Appl. Log., 71 (3): 189-245 (1995)