Check for available options on the right hand side to narrow down or expand the list.

Show all in one page (slower)

Book as Author
The Global Internet Trust Register

R. J. Anderson, B. Crispo, J. Lee, C. Manifavas, V. Matyas, F. Petitcolas, , Cambridge, Mass. ; London: MIT press, 1999, 150 p. - ISBN: 0-262-51105-3

Conference
Applying the Davis-Putnam procedure to non-clausal formulas

R. Sebastiani, E. Giunchiglia
in AI*IA 99:Advances in Artificial Intelligence, 6th Congress of the Italian Association for Artificial Intelligence, BERLIN: Springer Verlag, 1999, p. 84-94. - ISBN: 3540673504. Atti di: AI*IA'99, Bologna, Italy, April 1999

Other
The Global Internet Trust Register

R.J. Anderson, B. Crispo, J.H. Lee, C. Manifavas, F.A.P.JR.V. Matyas Petitcolas
1999

Essay
An approach to using degrees of belief in BDI agents

S. Parsons, P. Giorgini
in Information, Uncertainty, Fusion, Dordrecht ; Boston ; New York, N.Y.: Kluwer academic, 1999

Essay
An approach to using degrees of belief in BDI agents

S. Parsons, P. Giorgini
in Information, Uncertainty, Fusion, Dordrecht ; Boston ; New York, N.Y.: Kluwer academic, 1999

Book as Editor
Security Protocols: 5th International Workshop: revised selected papers

B.Lomas.T.M.A. Christianson, B. Crispo, M. Roe (a cura di)
Berlin; Heidelberg; New York: Springer, 1998. - (LNCS; 1361). - ISBN: 9783540640400. - URL: http://www.springerlink.com/content/978-3-540-64040-0/ . - DOI: 10.1007/BFb0028154

Project Report
Formal Specication of the Radio Block Centre (RBC): First Part.

A. Chiappini, A. Cimatti, F. Giunchiglia, G. Rotondo, R. Sebastiani, P. Traverso, A. Villafiorita
1998, promosso da: ITC-IRST e Ansaldo Segnalamento Ferroviario

Project Report
Protocolli Safety Layer e Connection Manager: Descrizione del Codice SDL

A. Cimatti, R. Sebastiani
1998, promosso da: ITC-IRST e Ansaldo Segnalamento Ferroviario

Project Report
Servizi forniti dagli strati Safety Layer e Connection Manager

A. Cimatti, R. Sebastiani
1998, promosso da: ITC-IRST e Ansaldo Segnalamento Ferroviario

Journal Article
Sensor data validation for nuclear power plants through bayesian conditioning and Dempster's rule of combination

A. Dragoni, P. Giorgini
in COMPUTERS AND ARTIFICIAL INTELLIGENCE, v. 17, (1998), p. 151-168