Toni Mancini

Cited by

	All	Since 2018
Citations	1506	947
h-index	26	20
i10-index	45	31

340

170

255

200420052006200720082009201020112012201320142015201620172018201920202021202220236 34 38 33 37 33 36 30 31 52 34 49 70 56 131 61 206 337 130 80

Public access

View all

20 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, University College CorkVerified email at ucc.ie
Vadim AlimguzhinResearch Fellow, Computer Science Department, Sapienza University of RomeVerified email at di.uniroma1.it
Rainald EhrigZuse Institute BerlinVerified email at zib.de
Michael P. HengartnerDepartment of Applied Psychology, Zurich University of Applied Sciences (ZHAW)Verified email at zhaw.ch
Fabio PatriziAssociate Professor, DIAG - Sapienza University of RomeVerified email at dis.uniroma1.it
Lanja SalehPD Dr.Verified email at usz.ch
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
Marco GavanelliAssociate Professor, Ferrara UniversityVerified email at unife.it
Marcel EgliProfessor, Lucerne University of Applied Sciences an ArtsVerified email at hslu.ch
Diego CalvaneseProf. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof., Umeå Univ.Verified email at inf.unibz.it

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	78	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	69	2013
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	61	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	56	2016
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	53	2017
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	52	2007
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	45	2005
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	43	2017
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	39	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	37	2018
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
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	35	2014
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	33	2020
SBML2Modelica: integrating biochemical models within open-standard simulation ecosystems F Maggioli, T Mancini, E Tronci Bioinformatics 36 (7), 2165-2172, 2020	33	2020
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	33	2016

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