HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors
Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

LAM'10:Author Index

AuthorPapers
B
Bracciali, AndreaReconciling Population and Agent Models for Crowd Dynamics
C
Cervesato, IlianoQWeS2T for Type-Safe Web Programming
H
Heitmann, FrankComplexity of LTL Model-Checking for Safe Object Nets
Hillston, JaneReconciling Population and Agent Models for Crowd Dynamics
J
Jia, LiminAn Operational Semantics for Network Datalog
K
Köhler-Bußmeier, MichaelA Survey of Elementary Object Systems
Complexity of LTL Model-Checking for Safe Object Nets
L
Latella, DiegoReconciling Population and Agent Models for Crowd Dynamics
M
Massink, MiekeReconciling Population and Agent Models for Crowd Dynamics
Mendler, MichaelTowards a Simply Typed CALculus for Semantic Knowledge Bases
N
Nigam, VivekAn Operational Semantics for Network Datalog
P
Panangaden, PrakashTowards a Logic for Reasoning About Learning in a Changing World
Pfenning, FrankPossession as Linear Knowledge
Pym, DavidModal Location-Resource-Process Logic for Access Control
S
Sadrzadeh, MehrnooshTowards a Logic for Reasoning About Learning in a Changing World
Sans, ThierryQWeS2T for Type-Safe Web Programming
Scedrov, AndreAn Operational Semantics for Network Datalog
Scheele, StephanTowards a Simply Typed CALculus for Semantic Knowledge Bases
T
Thau Loo, BoonAn Operational Semantics for Network Datalog
W
Wang, AnduoAn Operational Semantics for Network Datalog
Copyright © 2012-2023 easychair.org. All rights reserved.