The Community for Technology Leaders
RSS Icon
Subscribe
Temporal Representation and Reasoning, International Syposium on (2001)
Cividale Del Friuli, Italy
June 14, 2001 to June 16, 2001
ISBN: 0-7695-1107-4
TABLE OF CONTENTS
Invited Speaker
Regular Papers
Sergio Brandano , Queen Mary College, University of London
pp. 0007
Lina Khatib , Kestrel Technology, NASA Ames Research Center
Nicola Muscettola , Kestrel Technology, NASA Ames Research Center
Klaus Havelund , Kestrel Technology, NASA Ames Research Center
pp. 0021
A. G. B. ter Meulen , Universiteit Groningen
H. Smessaert , Katholieke Universiteit Leuven
pp. 0028
Vladimir Ryabov , University of Jyv?skyl?
Seppo Puuronen , University of Jyv?skyl?
pp. 0035
Tiberiu Stratulat , Universit? de Caen
Françoise Clérin-Debart , Universit? de Caen
Patrice Enjalbert , Universit? de Caen
pp. 0041
Short Papers
Silvana Badaloni , University of Padova
Claudio Masolo , University of Padova
Massimiliano Giacomin , University of Brescia
pp. 0051
Edjard Mota , Universidade Federal do Amazonas
pp. 0057
F. Rossi , University of Padova
A. Sperduti , University of Pisa
L. Khatib , Kestrel Technology
P. Morris , NASA Ames Research Center
R. Morris , NASA Ames Research Center
pp. 0063
Markus Schaal , Technische Universit?t Berlin
Hans-Joachim Lenz , Freie Universit?t Berlin
pp. 0075
Invited Speaker
Regular Papers
Ivan T. Bowman , University of Waterloo
David Toman , University of Waterloo
pp. 0093
Tony Griffiths , University of Manchester
Alvaro A. A. Fernandes , University of Manchester
Nassima Djafri , University of Manchester
Norman W. Paton , University of Manchester
pp. 0101
Yingjiu Li , Center for Secure Information Systems, George Mason University
Peng Ning , Center for Secure Information Systems, George Mason University
X. Sean Wang , Center for Secure Information Systems, George Mason University
Sushil Jajodia , Center for Secure Information Systems, George Mason University
pp. 0111
Barbara Oliboni , Politecnico di Milano
Elisa Quintarelli , Politecnico di Milano
Letizia Tanca , Politecnico di Milano
pp. 0119
David Toman , University of Waterloo
pp. 0128
Jef Wijsen , Universit? de Mons-Hainaut
Alexis Bès , Universit? de Mons-Hainaut
pp. 0136
Short Papers
Elisa Bertino , DSI - Universit? degli Studi di Milano
Elena Ferrari , DSI - Universit? degli Studi di Milano
Isabella Merlo , DSI - Universit? degli Studi di Milano
Giovanna Guerrini , DISI - Universit? di Genova
pp. 0147
Elisa Bertino , DSI - Universita di Milano
Tsz S. Cheng , IBM Global E-Business Solution Center
Shashi K. Gadia , Iowa State University
Giovanna Guerrini , DISI - Universita di Genova
pp. 0156
Fabio Grandi , University of Bologna
Federica Mandreoli , University of Modena and Reggio Emilia
pp. 0164
Peter Revesz , University of Nebraska-Lincoln
Rui Chen , University of Nebraska-Lincoln
Min Ouyang , University of Nebraska-Lincoln
pp. 0170
Invited Speaker
Regular Papers
Patrick Blackburn , INRIA, Lorraine
Valentin Goranko , Rand Afrikaans University
pp. 0183
Benedikt Bollig , RWTH Aachen
Martin Leucker , RWTH Aachen
pp. 0189
Serge Haddad , LAMSADE - UPRESA 7024, Universite Paris IX,
Denis Poitrenaud , LIP6 - UMR 7606, Universite Paris VI
pp. 0198
U. Hustadt , University of Liverpool
C. Dixon , University of Liverpool
M. Fisher , University of Liverpool
R. A. Schmidt , University of Manchester
J.-J. Meyer , University of Utrecht
W. Van der Hoek , University of Utrecht
pp. 0206
G. Logothetis , University of Karlsruhe
K. Schneider , University of Karlsruhe
pp. 0214
Short Papers
F.S. de Boer , Universiteit Utrecht
M. Gabbrielli , Universita di Udine
M.C. Meo , Universita di L'Aquila
pp. 0227
Bernhard Heinemann , Fern Universitat Hagen
pp. 0234
Author Index (PDF)
pp. 0249
6 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool