Toni Mancini

Cytowane przez

	Wszystkie	Od 2020
Cytowania	1676	913
h-indeks	27	20
i10-indeks	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 116 16

Dostęp publiczny

Wyświetl wszystko

21 artykułów

3 artykuły

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

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

Obserwuj

Toni Mancini

Computer Science Department, Sapienza University of Rome, Italy

Zweryfikowany adres z di.uniroma1.it - Strona główna

Artificial Intelligence Formal Verification


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
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

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj

Cytowane przez

Współautorzy