Toni Mancini
Toni Mancini
Computer Science Department, Sapienza University of Rome, Italy
Geverifieerd e-mailadres voor di.uniroma1.it - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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, 2004
492004
System level formal verification via model checking driven simulation
T Mancini, F Mari, A Massini, I Melatti, F Merli, E Tronci
International Conference on Computer Aided Verification, 296-312, 2013
472013
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
452007
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
382016
Detecting and breaking symmetries by reasoning on problem specifications
T Mancini, M Cadoli
International Symposium on Abstraction, Reformulation, and Approximation …, 2005
362005
SAT as an effective solving technology for constraint problems
M Cadoli, T Mancini, F Patrizi
International Symposium on Methodologies for Intelligent Systems, 540-549, 2006
302006
Automated reformulation of specifications by safe delay of constraints
M Cadoli, T Mancini
Artificial Intelligence 170 (8-9), 779-801, 2006
282006
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
232014
Evaluating ASP and commercial solvers on the CSPLib
T Mancini, D Micaletto, F Patrizi, M Cadoli
Constraints 13 (4), 407-436, 2008
232008
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
222017
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
222016
Using a theorem prover for reasoning on constraint problems
M Cadoli, T Mancini
Congress of the Italian Association for Artificial Intelligence, 38-49, 2005
222005
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
202007
Exploiting functional dependencies in declarative problem specifications
M Cadoli, T Mancini
European Workshop on Logics in Artificial Intelligence, 628-640, 2004
202004
A unifying framework for structural properties of CSPs: Definitions, complexity, tractability
L Bordeaux, M Cadoli, T Mancini
Journal of Artificial Intelligence Research 32, 607-629, 2008
192008
A unifying framework for structural properties of CSPs: Definitions, complexity, tractability
L Bordeaux, M Cadoli, T Mancini
Journal of Artificial Intelligence Research 32, 607-629, 2008
192008
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
172015
Conditional constraint satisfaction: logical foundations and complexity
G Gottlob, G Greco, T Mancini
172007
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
162014
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
152014
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20