| Author |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI  |
Volume |
Pages |
| Mancini, T.; Tronci, E.; Scialanca, A.; Lanciotti, F.; Finzi, A.; Guarneri, R.; Di Pompeo, S. |
Optimal Fault-Tolerant Placement of Relay Nodes in a Mission Critical Wireless Network |
2018 |
25th RCRA International Workshop on “Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion” (RCRA 2018) |
|
|
|
10.29007/grw9 |
|
|
| 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 |
| Mancini, T. |
Now or Never: Negotiating Efficiently with Unknown or Untrusted Counterparts |
2016 |
Fundamenta Informaticae |
|
|
|
10.3233/FI-2016-1443 |
149 |
61-100 |
| 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 |
| Chen, Q.M.; Finzi, A.; Mancini, T.; Melatti, I.; Tronci, E. |
MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks |
2020 |
|
IOS Press |
1875-8681 |
|
10.3233/FI-2020-1941 |
174 |
229-258 |
| Sinisi, S.; Alimguzhin, V.; Mancini, T.; Tronci, E.; Mari, F.; Leeners, B. |
Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins |
2020 |
|
IOS Press |
1875-8681 |
|
10.3233/FI-2020-1943 |
174 |
283-310 |
| Mari, Federico; Melatti, Igor; Tronci, Enrico; Finzi, Alberto |
A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET |
2013 |
Mobile Information Systems |
IOS Press |
1574-017x (Print) 1875-905X (Online) |
|
10.3233/MIS-130162 |
3 |
261-280 |
| 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.; Kruger, T.H.C.; Geraedts, K.; Tronci, E.; Mancini, T.; Ille, F.; Egli, M.; Röblitz, S.; Saleh, L.; Spanaus, K.; Schippert, C.; Zhang, Y.; Hengartner, M.P. |
Lack of Associations between Female Hormone Levels and Visuospatial Working Memory, Divided Attention and Cognitive Bias across Two Consecutive Menstrual Cycles |
2017 |
Frontiers in Behavioral Neuroscience |
|
1662-5153 |
|
10.3389/fnbeh.2017.00120 |
11 |
120 |
| 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 |
