|
Author |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
Links  |
|
Della Penna, Giuseppe; Intrigila, Benedetto; Tronci, Enrico; Venturini Zilli, Marisa |
Synchronized Regular Expressions |
2002 |
Electr. Notes Theor. Comput. Sci. |
|
|
|
|
62 |
195-210 |
|
|
Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. |
On Checking Equivalence of Simulation Scripts |
2021 |
Journal of Logical and Algebraic Methods in Programming |
|
2352-2208 |
|
10.1016/j.jlamp.2021.100640 |
|
100640 |
|
|
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
From Boolean Relations to Control Software |
2011 |
Proceedings of ICSEA 2011, The Sixth International Conference on Software Engineering Advances |
ThinkMind |
978-1-61208-165-6 |
|
|
|
528-533 |
|
|
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Synthesizing Control Software from Boolean Relations |
2012 |
International Journal on Advances in Software |
IARIA |
1942-2628 |
|
|
vol. 5, nr 3&4 |
212-223 |
|
|
Ehrig, R.; Dierkes, T.; Schaefer, S.; Roeblitz, S.; Tronci, E.; Mancini, T.; Salvo, I.; Alimguzhin, V.; Mari, F.; Melatti, I.; Massini, A.; Leeners, B.; Krueger, T.H.C.; Egli, M.; Ille, F. |
An integrative approach for model driven computation of treatments in reproductive medicine |
2015 |
Proceedings of the 15th International Symposium on Mathematical and Computational Biology (BIOMAT 2015), Rorkee, India |
|
|
|
10.1142/9789813141919_0005 |
|
|
|
|
Mancini, T.; Mari, F.; Melatti, I.; Salvo, I.; Tronci, E. |
An Efficient Algorithm for Network Vulnerability Analysis Under Malicious Attacks |
2018 |
Foundations of Intelligent Systems – 24th International Symposium, ISMIS 2018, Limassol, Cyprus, October 29-31, 2018, Proceedings |
|
|
|
10.1007/978-3-030-01851-1_29 |
|
302-312 |
|
|
Sinisi, S.; Alimguzhin, V.; Mancini, T.; Tronci, E.; Leeners, B. |
Complete populations of virtual patients for in silico clinical trials |
2021 |
Bioinformatics |
|
1367-4803 |
|
10.1093/bioinformatics/btaa1026 |
|
1-8 |
|
|
Maggioli, F.; Mancini, T.; Tronci, E. |
SBML2Modelica: Integrating biochemical models within open-standard simulation ecosystems |
2019 |
Bioinformatics |
|
1367-4803 |
|
10.1093/bioinformatics/btz860 |
36 |
2165–2172 |
|
|
Fischer, S.; Ehrig, R.; Schaefer, S.; Tronci, E.; Mancini, T.; Egli, M.; Ille, F.; Krueger, T.H.C.; Leeners, B.; Roeblitz, S. |
Mathematical Modeling and Simulation Provides Evidence for New Strategies of Ovarian Stimulation |
2021 |
Frontiers in Endocrinology |
|
1664-2392 |
|
10.3389/fendo.2021.613048 |
12 |
117 |
|
|
Leeners, B.; Krueger, T.H.C.; Geraedts, K.; Tronci, E.; Mancini, T.; Egli, M.; Roeblitz, S.; Saleh, L.; Spanaus, K.; Schippert, C.; Zhang, Y.; Ille, F. |
Associations Between Natural Physiological and Supraphysiological Estradiol Levels and Stress Perception |
2019 |
Frontiers in Psychology |
|
1664-1078 |
|
10.3389/fpsyg.2019.01296 |
10 |
1296 |
|