Toni Mancini

Cited by

	All	Since 2019
Citations	1596	912
h-index	27	20
i10-index	50	33

360

180

270

2004200520062007200820092010201120122013201420152016201720182019202020212022202320246 34 39 32 37 33 36 29 30 52 32 49 72 56 127 62 206 342 127 96 75

Public access

View all

21 articles

3 articles

available

not available

Based on funding mandates

Co-authors

Enrico TronciSapienza University of RomeVerified email at di.uniroma1.it
Igor MelattiDepartment of Computer Science, Sapienza University of RomeVerified email at di.uniroma1.it
Federico MariAssistant Professor (tenure track) in Computer Science—University of Rome Foro ItalicoVerified email at uniroma4.it
Annalisa MassiniAssociate Professor, Computer Science Department Sapienza University of RomeVerified email at di.uniroma1.it
Brigitte LeenersDirector, Dept. of Reproductive Endocrinology, University Hospital Zurich,Verified email at usz.ch
Susanna RöblitzProfessor, University of Bergen, NorwayVerified email at uib.no
Ivano SalvoRicercatore, Sapienza University of RomeVerified email at di.uniroma1.it
Stefano SinisiComputer Science Department Sapienza University of RomeVerified email at di.uniroma1.it
Milan ProdanovicIMDEA EnergyVerified email at imdea.org
Barry HayesAssociate Professor in Electrical Power Systems, University College CorkVerified email at ucc.ie
Vadim AlimguzhinResearch Fellow, Computer Science Department, Sapienza University of RomeVerified email at di.uniroma1.it
Michael P. HengartnerDepartment of Applied Psychology, Zurich University of Applied Sciences (ZHAW)Verified email at zhaw.ch
Rainald EhrigZuse Institute BerlinVerified email at zib.de
Lanja SalehPD Dr.Verified email at usz.ch
Fabio PatriziAssociate Professor, DIAG - Sapienza University of RomeVerified email at dis.uniroma1.it
Marco GavanelliAssociate Professor, Ferrara UniversityVerified email at unife.it
Giuseppe De GiacomoUniversity of Oxford & Sapienza Università di RomaVerified email at diag.uniroma1.it
Jorn Klaas GruberElectrical Systems Unit, IMDEA EnergyVerified email at imdea.org
Marcel EgliProfessor, Lucerne University of Applied Sciences an ArtsVerified email at hslu.ch
Egli MUniversity of ZurichVerified email at geo.uzh.ch

Toni Mancini

Computer Science Department, Sapienza University of Rome, Italy

Verified email at di.uniroma1.it - Homepage

Artificial Intelligence Formal Verification


Title Sort by citations Sort by year Sort by 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	84	2016
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	68	2013
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	67	2017
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	58	2004
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	55	2016
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	53	2007
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	49	2017
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	46	2015
Detecting and breaking symmetries by reasoning on problem specifications T Mancini, M Cadoli International Symposium on Abstraction, Reformulation, and Approximation …, 2005	46	2005
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	42	2020
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	40	2014
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	40	2006
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	39	2014
Evaluating ASP and commercial solvers on the CSPLib T Mancini, D Micaletto, F Patrizi, M Cadoli Constraints 13, 407-436, 2008	38	2008
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	36	2018
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	36	2014
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	36	2014
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	35	2015
Parallel statistical model checking for safety verification in smart grids T Mancini, F Mari, I Melatti, I Salvo, E Tronci, JK Gruber, B Hayes, ... 2018 IEEE International Conference on Communications, Control, and Computing …, 2018	34	2018
Combining relational algebra, SQL, constraint modelling, and local search M Cadoli, T Mancini Theory and Practice of Logic Programming 7 (1-2), 37-65, 2007	34	2007

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors