LAM'10: Author Index

Author	Papers
B
Bracciali, Andrea	Reconciling Population and Agent Models for Crowd Dynamics
C
Cervesato, Iliano	QWeS2T for Type-Safe Web Programming
H
Heitmann, Frank	Complexity of LTL Model-Checking for Safe Object Nets
Hillston, Jane	Reconciling Population and Agent Models for Crowd Dynamics
J
Jia, Limin	An Operational Semantics for Network Datalog
K
Köhler-Bußmeier, Michael	A Survey of Elementary Object Systems Complexity of LTL Model-Checking for Safe Object Nets
L
Latella, Diego	Reconciling Population and Agent Models for Crowd Dynamics
M
Massink, Mieke	Reconciling Population and Agent Models for Crowd Dynamics
Mendler, Michael	Towards a Simply Typed CALculus for Semantic Knowledge Bases
N
Nigam, Vivek	An Operational Semantics for Network Datalog
P
Panangaden, Prakash	Towards a Logic for Reasoning About Learning in a Changing World
Pfenning, Frank	Possession as Linear Knowledge
Pym, David	Modal Location-Resource-Process Logic for Access Control
S
Sadrzadeh, Mehrnoosh	Towards a Logic for Reasoning About Learning in a Changing World
Sans, Thierry	QWeS2T for Type-Safe Web Programming
Scedrov, Andre	An Operational Semantics for Network Datalog
Scheele, Stephan	Towards a Simply Typed CALculus for Semantic Knowledge Bases
T
Thau Loo, Boon	An Operational Semantics for Network Datalog
W
Wang, Anduo	An Operational Semantics for Network Datalog