|
|
LAM'10: Author IndexAuthor | 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 |
|
|
|