Uniud EN

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

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

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

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

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

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

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

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

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

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

Search results