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

Show all in one page (slower)

Patents
Semantically investigating business processes

F. Casati, Ming-chien Shan
7,644,006. - Data di deposito: 2002. - URL: http://patft.uspto.gov/netacgi/nph-Parser?Sect1=PTO2&Sect2=HITOFF&u=%2Fnetahtml%2FPTO%2Fsearch-adv.htm&r=1&p=1&f=G&l=50&d=PTXT&S1=%28Casati.INNM.+AND+Hewlett.ASNM.%29&OS=IN/Casati+AND+AN/Hewlett&RS=%28IN/Casati+AND+AN/Hewlett%29

Book as Editor
Proceedings of the Fourth International Bi-Conference Workshop on Agent-Oriented Information Systems AOIS'2002 at AAMAS'02

P. Giorgini, Y. Lespérance, G. Wagner, E. Yu (a cura di)
Germany: CEUR-WS, 2002. - URL: http://ceur-ws.org/Vol-59/

Book as Editor
Proceedings of the Fourth International Bi-Conference Workshop on Agent-Oriented Information Systems AOIS'2002 at CAiSE*02

P. Giorgini, Y. Lespérance, G. Wagner, E. Yu (a cura di)
Germany: CEUR-WS, 2002. - URL: http://ceur-ws.org/Vol-57/

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

B. Christianson, J. A. Malcolm, B. Crispo, M. Roe (a cura di)
Berlin; Heidelberg; New York: Springer, 2002. - (LNCS; 2467). - ISBN: 9783540442639. - URL: http://www.springerlink.com/content/978-3-540-44263-9/ . - DOI: 10.1007/3-540-45807-7

Book as Editor
Journal of Symbolic Computation, Special Issue on Integration of Automated Reasoning and Computer Algebra Systems

S. Linton, R. Sebastiani (a cura di)
Amsterdam: Elsevier, 2002

Book as Editor
Journal of Symbolic Computation, Special Issue on the Integration of Automated Reasoning and Computer Algebra Systems.The Integration of Automated Reasoning and Computer Algebra Systems.

S. Linton, R. Sebastiani (a cura di)
Amsterdam : Elsevier, 2002. - DOI: 10.1006/jsco.2002.0553

Book as Editor
KR2002: proceedings of the 8th international conference on principles of knowledge representation and reasoning: Toulouse, France, April 22-25, 2002

D. Fensel, F. Giunchiglia, D. L. Mcguinness, M. Williams (a cura di)
Amsterdam [etc.]: Morgan Kaufmann, 2002. - ISBN: 1-55860-554-1

Book as Editor
Stochastic partial differential equations and applications

G. Da Prato, L. Tubaro (a cura di)
New York, N.Y. ; Basel: Dekker, 2002, 460 p. - (Lecture notes in pure and applied mathematics; 227). - ISBN: 824707923

Book as Editor
Analysis of Multi-Temporal Remote Sensing Images

L. Bruzzone, P. Smits (a cura di)
di --, Singapore ; London ; Hackensack, N.J.: World scientific, 2002, 440 p. - (Series in Remote Sensing; 2). - ISBN: 981-02-4955-1

Conference
An efficient technique for translating mixed logical dynamical systems into piecewise affine systems

A. Bemporad
in Proc. 41th IEEE Conf. on Decision and Control, 2002, p. 1970-1975