UNIUD - Università degli Studi di Udine

1/2012 - Residually stressed beams Si trova in Ateneo / … / Pubblicazioni / Preprints

2/2012 - Scale function vs Topological entropy Si trova in Ateneo / … / Pubblicazioni / Preprints

3/2012 - Best Fits Of Simultaneous Blazar Spectral Energy Distributions Si trova in Ateneo / … / Pubblicazioni / Preprints

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

Risultati della ricerca