| |
Author |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume  |
Pages |
Links |
|
|
Tronci, Enrico |
Equational Programming in Lambda-Calculus via SL-Systems. Part 2 |
1996 |
Theoretical Computer Science |
|
|
|
10.1016/0304-3975(95)00106-9 |
160 |
185-216 |
|
|
|
Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. |
SyLVaaS: System Level Formal Verification as a Service |
2016 |
Fundamenta Informaticae |
|
|
|
10.3233/FI-2016-1444 |
149 |
101-132 |
|
|
|
Leeners, B.; Krueger, T.; Geraedts, K.; Tronci, E.; Mancini, T.; Ille, F.; Egli, M.; Roeblitz, S.; Wunder, D.; Saleh, L.; Schippert, C.; Hengartner, M.P. |
Cognitive function in association with high estradiol levels resulting from fertility treatment |
2021 |
Hormones and Behavior |
|
0018-506x |
|
10.1016/j.yhbeh.2021.104951 |
130 |
104951 |
|
|
|
Cesta, Amedeo; Fratini, Simone; Orlandini, Andrea; Finzi, Alberto; Tronci, Enrico |
Flexible Plan Verification: Feasibility Results |
2011 |
Fundamenta Informaticae |
|
|
|
10.3233/FI-2011-397 |
107 |
111-137 |
|
|
|
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone; Troina, Angelo; Tronci, Enrico |
Automatic Analysis of the NRL Pump |
2004 |
Electr. Notes Theor. Comput. Sci. |
|
|
|
10.1016/j.entcs.2004.02.011 |
99 |
245-266 |
|
|
|
Hengartner, M. P.; Kruger, T. H. C.; Geraedts, K.; Tronci, E.; Mancini, T.; Ille, F.; Egli, M.; Röblitz, S.; Ehrig, R.; Saleh, L.; Spanaus, K.; Schippert, C.; Zhang, Y.; Leeners, B. |
Negative affect is unrelated to fluctuations in hormone levels across the menstrual cycle: Evidence from a multisite observational study across two successive cycles |
2017 |
Journal of Psychosomatic Research |
|
|
|
10.1016/j.jpsychores.2017.05.018 |
99 |
21-27 |
|
|
|
Böhm, Corrado; Tronci, Enrico |
About Systems of Equations, X-Separability, and Left-Invertibility in the lambda-Calculus |
1991 |
Inf. Comput. |
|
|
|
10.1016/0890-5401(91)90057-9 |
90 |
1-32 |
|
|
|
Gribaudo, Marco; Horváth, Andras; Bobbio, Andrea; Tronci, Enrico; Ciancamerla, Ester; Minichino, Michele |
Fluid Petri Nets and hybrid model checking: a comparative case study |
2003 |
Int. Journal on: Reliability Engineering & System Safety |
Elsevier |
|
|
10.1016/S0951-8320(03)00089-9 |
81 |
239-257 |
|
|
|
Della Penna, Giuseppe; Intrigila, Benedetto; Tronci, Enrico; Venturini Zilli, Marisa |
Synchronized Regular Expressions |
2002 |
Electr. Notes Theor. Comput. Sci. |
|
|
|
|
62 |
195-210 |
|
|
|
Focardi, Riccardo; Gorrieri, Roberto; Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Martinelli, Fabio; Tini, Simone; Tronci, Enrico |
Formal Models of Timing Attacks on Web Privacy |
2002 |
Electronic Notes in Theoretical Computer Science |
|
|
|
10.1016/S1571-0661(04)00329-9 |
62 |
229-243 |
|
