Uniud ES

4/2012 - No-tension bodies: a reinforcement problem Ubicado en Ateneo / … / Pubblicazioni / Preprints

5/2012 - Quasistatic delamination of sandwich-like Kirchhoff-Love plates Ubicado en Ateneo / … / Pubblicazioni / Preprints

1/2013 - Weak bisimulations for labelled transition systems weighted over semirings Ubicado en Ateneo / … / Pubblicazioni / Preprints

1/2014 - Decidability of the interval temporal logic AA ̄BB ̄ over the rationals Ubicado en Ateneo / … / Pubblicazioni / Preprints

1/2015 - Checking Interval Properties of Computations Ubicado en Ateneo / … / Pubblicazioni / Preprints

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

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

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

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

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

Resultados de búsqueda