Toni Mancini

Geciteerd door

	Alles	Sinds 2019
Citaties	1596	910
h-index	27	20
i10-index	50	32

360

180

270

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

Openbare toegang

Alles bekijken

21 artikelen

3 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

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

Volgen

Toni Mancini

Computer Science Department, Sapienza University of Rome, Italy

Geverifieerd e-mailadres voor di.uniroma1.it - Homepage

Artificial Intelligence Formal Verification


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
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

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Volgen

Geciteerd door

Medeauteurs