Toni Mancini

Citée par

	Toutes	Depuis 2020
Citations	1676	913
indice h	27	20
indice i10	50	32

360

180

270

20042005200620072008200920102011201220132014201520162017201820192020202120222023202420256 34 39 32 37 33 36 29 30 66 32 50 72 55 129 62 206 344 130 97 114 18

Accès public

Tout afficher

21 articles

3 articles

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Enrico TronciSapienza University of RomeAdresse e-mail validée de di.uniroma1.it
Igor MelattiDepartment of Computer Science, Sapienza University of RomeAdresse e-mail validée de di.uniroma1.it
Federico MariAssociate Professor in Computer Science – University of Rome Foro ItalicoAdresse e-mail validée de uniroma4.it
Annalisa MassiniAssociate Professor, Computer Science Department Sapienza University of RomeAdresse e-mail validée de di.uniroma1.it
Brigitte LeenersDirector, Dept. of Reproductive Endocrinology, University Hospital Zurich,Adresse e-mail validée de usz.ch
Susanna RöblitzProfessor, University of Bergen, NorwayAdresse e-mail validée de uib.no
Ivano SalvoRicercatore, Sapienza University of RomeAdresse e-mail validée de di.uniroma1.it
Stefano SinisiComputer Science Department Sapienza University of RomeAdresse e-mail validée de di.uniroma1.it
Milan ProdanovicIMDEA EnergyAdresse e-mail validée de imdea.org
Barry HayesAssociate Professor in Electrical Power Systems, University College CorkAdresse e-mail validée de ucc.ie
Vadim AlimguzhinResearch Fellow, Computer Science Department, Sapienza University of RomeAdresse e-mail validée de di.uniroma1.it
Michael P. HengartnerDepartment of Applied Psychology, Zurich University of Applied Sciences (ZHAW)Adresse e-mail validée de zhaw.ch
Rainald EhrigZuse Institute BerlinAdresse e-mail validée de zib.de
Giuseppe De GiacomoUniversity of Oxford & Sapienza Università di RomaAdresse e-mail validée de diag.uniroma1.it
Marco GavanelliAssociate Professor, Ferrara UniversityAdresse e-mail validée de unife.it
Lanja SalehPD Dr.Adresse e-mail validée de usz.ch
Fabio PatriziAssociate Professor, DIAG - Sapienza University of RomeAdresse e-mail validée de dis.uniroma1.it
Jorn Klaas GruberElectrical Systems Unit, IMDEA EnergyAdresse e-mail validée de imdea.org
Diego CalvaneseProf. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof., Umeå Univ.Adresse e-mail validée de unibz.it
Marcel EgliProfessor, Lucerne University of Applied Sciences an Arts & Universtiy of ZurichAdresse e-mail validée de hslu.ch

Suivre

Toni Mancini

Computer Science Department, Sapienza University of Rome, Italy

Adresse e-mail validée de di.uniroma1.it - Page d'accueil

Artificial Intelligence Formal Verification


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	85	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	72	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	71	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	59	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	57	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	54	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	51	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	47	2015
Detecting and breaking symmetries by reasoning on problem specifications T Mancini, M Cadoli International Symposium on Abstraction, Reformulation, and Approximation …, 2005	47	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	45	2020
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	43	2006
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	42	2014
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	40	2014
Evaluating ASP and commercial solvers on the CSPLib T Mancini, D Micaletto, F Patrizi, M Cadoli Constraints 13, 407-436, 2008	40	2008
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	38	2014
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
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	36	2018
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	36	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	36	2014
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	35	2016

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs