Uniud 中文

4/2012 - No-tension bodies: a reinforcement problem Si trova in Ateneo / … / Pubblicazioni / Preprints

5/2012 - Quasistatic delamination of sandwich-like Kirchhoff-Love plates Si trova in Ateneo / … / Pubblicazioni / Preprints

1/2013 - Weak bisimulations for labelled transition systems weighted over semirings Si trova in Ateneo / … / Pubblicazioni / Preprints

1/2014 - Decidability of the interval temporal logic AA ̄BB ̄ over the rationals Si trova in Ateneo / … / Pubblicazioni / Preprints

1/2015 - Checking Interval Properties of Computations Si trova in Ateneo / … / Pubblicazioni / Preprints

2/2015 - A Model Checking Procedure for Interval Temporal Logics based on Track Representatives Si trova in Ateneo / … / Pubblicazioni / Preprints

1/2016 - Interval Temporal Logic Model Checking: the Border Between Good and Bad HS Fragments Si trova in Ateneo / … / Pubblicazioni / Preprints

2/2016 - Model Checking the Logic of Allen’s Relations Meets and Started-by is PNP-Complete Si trova in Ateneo / … / Pubblicazioni / Preprints

3/2016 - Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison Si trova in Ateneo / … / Pubblicazioni / Preprints

2/2017 - An in-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions Si trova in Ateneo / … / Pubblicazioni / Preprints

Risultati della ricerca