Toni Mancini

MaRDI QIDQ1020488zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Simulator semantics for system level formal verification	2021-12-03	Paper
Simulator semantics for system level formal verification (available as arXiv preprint)	2021-12-03	Paper
On checking equivalence of simulation scripts Journal of Logical and Algebraic Methods in Programming	2021-06-25	Paper
MILP, pseudo-Boolean, and OMT solvers for optimal fault-tolerant placements of relay nodes in mission critical wireless networks Fundamenta Informaticae	2020-12-14	Paper
SyLVaaS: system level formal verification as a service Fundamenta Informaticae	2017-11-09	Paper
Now or never: negotiating efficiently with unknown or untrusted counterparts Fundamenta Informaticae	2017-11-09	Paper
On minimising the maximum expected verification time Information Processing Letters	2017-11-03	Paper
Generalizing consistency and other constraint properties to quantified constraints ACM Transactions on Computational Logic	2015-09-17	Paper
Exploiting functional dependencies in declarative problem specifications Artificial Intelligence	2009-07-09	Paper
Evaluating ASP and commercial solvers on the CSPLib Constraints	2009-05-29	Paper
A unifying framework for structural properties of CSPS: definitions, complexity, tractability (available as arXiv preprint)	2009-04-28	Paper
Automated reformulation of specifications by safe delay of constraints Artificial Intelligence	2007-10-23	Paper
Combining relational algebra, SQL, constraint modelling, and local search Theory and Practice of Logic Programming	2007-03-23	Paper
Logics in Artificial Intelligence Lecture Notes in Computer Science	2006-10-25	Paper
AI*IA 2005: Advances in Artificial Intelligence Lecture Notes in Computer Science	2006-06-27	Paper
Logic for Programming, Artificial Intelligence, and Reasoning Lecture Notes in Computer Science	2005-11-10	Paper
scientific article; zbMATH DE number 2086597 (Why is no real title available?)	2004-08-11	Paper

Research outcomes over time

This page was built for person: Toni Mancini