Follow
Toni Mancini
Toni Mancini
Computer Science Department, Sapienza University of Rome, Italy
Verified email at di.uniroma1.it - Homepage
Title
Cited by
Cited by
Year
Residential demand management using individualized demand aware price policies
B Hayes, I Melatti, T Mancini, M Prodanovic, E Tronci
IEEE Transactions on Smart Grid 8 (3), 1284-1294, 2016
782016
System level formal verification via model checking driven simulation
T Mancini, F Mari, A Massini, I Melatti, F Merli, E Tronci
Computer Aided Verification: 25th International Conference, CAV 2013, Saintá…, 2013
692013
Finite satisfiability of UML class diagrams by Constraint Programming
M Cadoli, D Calvanese, G De Giacomo, T Mancini
CSP Techniques with Immediate Application (CSPIA) 2, 2-16, 2004
612004
SyLVaaS: System level formal verification as a service
T Mancini, F Mari, A Massini, I Melatti, E Tronci
Fundamenta Informaticae 149 (1-2), 101-132, 2016
562016
Lack of associations between female hormone levels and visuospatial working memory, divided attention and cognitive bias across two consecutive menstrual cycles
B Leeners, THC Kruger, K Geraedts, E Tronci, T Mancini, F Ille, M Egli, ...
Frontiers in behavioral neuroscience 11, 120, 2017
532017
Finite model reasoning on UML class diagrams via constraint programming
M Cadoli, D Calvanese, G De Giacomo, T Mancini
Congress of the Italian Association for Artificial Intelligence, 36-47, 2007
522007
Computing biological model parameters by parallel statistical model checking
T Mancini, E Tronci, I Salvo, F Mari, A Massini, I Melatti
International Conference on Bioinformatics and Biomedical Engineering, 542-554, 2015
462015
Detecting and breaking symmetries by reasoning on problem specifications
T Mancini, M Cadoli
International Symposium on Abstraction, Reformulation, and Approximationá…, 2005
452005
Negative affect is unrelated to fluctuations in hormone levels across the menstrual cycle: Evidence from a multisite observational study across two successive cycles
MP Hengartner, THC Kruger, K Geraedts, E Tronci, T Mancini, F Ille, ...
Journal of psychosomatic research 99, 21-27, 2017
432017
Demand-aware price policy synthesis and verification services for smart grids
T Mancini, F Mari, I Melatti, I Salvo, E Tronci, JK Gruber, B Hayes, ...
2014 IEEE International Conference on Smart Grid Communicationsá…, 2014
402014
SAT as an effective solving technology for constraint problems
M Cadoli, T Mancini, F Patrizi
Foundations of Intelligent Systems: 16th International Symposium, ISMIS 2006á…, 2006
402006
System level formal verification via distributed multi-core hardware in the loop simulation
T Mancini, F Mari, A Massini, I Melatti, E Tronci
2014 22nd Euromicro International Conference on Parallel, Distributed, andá…, 2014
392014
Evaluating ASP and commercial solvers on the CSPLib
T Mancini, D Micaletto, F Patrizi, M Cadoli
Constraints 13, 407-436, 2008
392008
Computing personalised treatments through in silico clinical trials. A case study on downregulation in assisted reproduction
T Mancini, F Mari, A Massini, I Melatti, I Salvo, S Sinisi, E Tronci, R Ehrig, ...
Intelligenza Artificiale, 1-16, 2018
372018
Anytime system level verification via random exhaustive hardware in the loop simulation
T Mancini, F Mari, A Massini, I Melatti, E Tronci
2014 17th Euromicro Conference on Digital System Design, 236-245, 2014
362014
User flexibility aware price policy synthesis for smart grids
T Mancini, F Mari, I Melatti, I Salvo, E Tronci, JK Gruber, B Hayes, ...
2015 Euromicro Conference on Digital System Design, 478-485, 2015
352015
Patient-specific models from inter-patient biological models and clinical records
E Tronci, T Mancini, I Salvo, S Sinisi, F Mari, I Melatti, A Massini, F Davi, ...
2014 Formal Methods in Computer-Aided Design (FMCAD), 207-214, 2014
352014
Complete populations of virtual patients for in silico clinical trials
S Sinisi, V Alimguzhin, T Mancini, E Tronci, B Leeners
Bioinformatics 36 (22-23), 5465-5472, 2020
332020
SBML2Modelica: integrating biochemical models within open-standard simulation ecosystems
F Maggioli, T Mancini, E Tronci
Bioinformatics 36 (7), 2165-2172, 2020
332020
Anytime system level verification via parallel random exhaustive hardware in the loop simulation
T Mancini, F Mari, A Massini, I Melatti, E Tronci
Microprocessors and Microsystems 41, 12-28, 2016
332016
The system can't perform the operation now. Try again later.
Articles 1–20