Uniud FR

1/2012 - Residually stressed beams Situé dans Ateneo / … / Pubblicazioni / Preprints

2/2012 - Scale function vs Topological entropy Situé dans Ateneo / … / Pubblicazioni / Preprints

3/2012 - Best Fits Of Simultaneous Blazar Spectral Energy Distributions Situé dans Ateneo / … / Pubblicazioni / Preprints

4/2012 - No-tension bodies: a reinforcement problem Situé dans Ateneo / … / Pubblicazioni / Preprints

5/2012 - Quasistatic delamination of sandwich-like Kirchhoff-Love plates Situé dans Ateneo / … / Pubblicazioni / Preprints

1/2013 - Weak bisimulations for labelled transition systems weighted over semirings Situé dans Ateneo / … / Pubblicazioni / Preprints

1/2014 - Decidability of the interval temporal logic AA ̄BB ̄ over the rationals Situé dans Ateneo / … / Pubblicazioni / Preprints

1/2015 - Checking Interval Properties of Computations Situé dans Ateneo / … / Pubblicazioni / Preprints

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

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

Résultats de recherche