Segui
Toni Mancini
Toni Mancini
Computer Science Department, Sapienza University of Rome, Italy
Email verificata su di.uniroma1.it - Home page
Titolo
Citata da
Citata da
Anno
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
732016
System level formal verification via model checking driven simulation
T Mancini, F Mari, A Massini, I Melatti, F Merli, E Tronci
International Conference on Computer Aided Verification, 296-312, 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
572004
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
552016
Finite model reasoning on UML class diagrams via constraint programming
M Cadoli, D Calvanese, GD Giacomo, T Mancini
Congress of the Italian Association for Artificial Intelligence, 36-47, 2007
522007
Detecting and breaking symmetries by reasoning on problem specifications
T Mancini, M Cadoli
International Symposium on Abstraction, Reformulation, and Approximationá…, 2005
452005
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
442017
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
432015
SAT as an effective solving technology for constraint problems
M Cadoli, T Mancini, F Patrizi
International Symposium on Methodologies for Intelligent Systems, 540-549, 2006
402006
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
392014
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 (4), 407-436, 2008
382008
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
362017
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
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
332018
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
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
332015
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
332014
Conditional constraint satisfaction: Logical foundations and complexity
G Gottlob, G Greco, T Mancini
312007
SBML2Modelica: integrating biochemical models within open-standard simulation ecosystems
F Maggioli, T Mancini, E Tronci
Bioinformatics 36 (7), 2165-2172, 2020
302020
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20