-
P. Bertoli; A. Cimatti; M. Roveri; P. Traverso,
Strong Planning under Partial Observability,
in «ARTIFICIAL INTELLIGENCE»,
vol. 170,
n. 4-5,
2006
, pp. 337 -
384
-
Marco Bozzano; Roberto Bruttomesso; Alessandro Cimatti; Tommi A. Junttila; Silvio Ranise; Peter van Rossum; Roberto Sebastiani,
Efficient theory combination via boolean search,
in «INFORMATION AND COMPUTATION»,
vol. 204,
n. 10,
2006
, pp. 1493 -
1525
-
A.L. Murphy; G.P. Picco; G.-C. Roman,
Lime: A Coordination Middleware Supporting Mobility of Hosts and Agents,
in «ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY»,
vol. 15,
n. 3,
2006
, pp. 279 -
328
-
Alessandro Cimatti; Roberto Sebastiani,
Formal Methods for Hardware Verification,
Berlin, Heidelberg,
Springer,
2006
, pp. 144 -
175
-
Alessandro Armando; Alessandro Cimatti,
Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2005).
Elsevier B.V.,
2006
, pp. 1 -
2
-
Marco Bozzano; Roberto Bruttomesso; Alessandro Cimatti; Anders Franzen; Ziyad Hanna; Zurab Khasidashvili; Amit Palti; Roberto Sebastiani,
Proceedings of 3rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning,
vol.144, issue 2,
2006
, pp. 3-
14
, (PDPAR 2005 affiliated workshop to CAV'05,
University of Edinburgh, Scotland, UK,
12/07/2005)
-
Richard Banach; Marco Bozzano,
Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems,
International Conference on Computer Safety, Security and Reliability,
n. 4166,
2006
, pp. 127-
141
, (SAFECOMP 2006,
Gdansk, Poland,
26-29/09/2006)
-
R. Bloem; A. Cimatti; I. Pill; M. Roveri; S. Semprini,
Symbolic Implementation of Alternating Automata,
Proceedings of 11th Int. Conference Implementation and Application of Automata,
Springer,
vol.4094,
2006
, pp. 208-
218
, (CIAA,
Taipei, Taiwan,
21/08/2006-23/08/2006)
-
I. Pill; S. Semprini; R. Cavada; M. Roveri; R. Bloem; A. Cimatti,
Formal analysis of hardware requirements,
Proceedings of 43rd annual Design Automation Conference,
New York, NY,
2006
, pp. 821-
826
, (DAC,
San Francisco, USA,
24/07/2006-28/07/2006)
-
P. Bertoli; A. Cimatti; M. Pistore,
Strong Cyclic Planning Under Partial Observability,
Proceedings of 17th European Conference on Artificial Intelligence,
Amsterdam,
2006
, pp. 580-
584
, (ECAI 2006,
Riva del Garda, Italy,
29/08/2006-01/09/2006)