Searching for authors named "Anders Sandholm" – sorted by Relevance.
11 documents found, showing 1 through 10.
Next 10 →
-
A Case Study on using Automata in Control Synthesis
- … Thomas Hune and Anders Sandholm BRICS ? , Department of Computer Science University of Aarhus, Denmark…
- Cited by 5 (0 self) – Add To MetaCart
-
A Domain-Specific Language for Typed Dynamic Web Documents
- …A Domain-Specic Language for Typed Dynamic Web Documents Anders Sandholm and Michael I…
- Add To MetaCart
-
A Relational Account of Call-by-Value Sequentiality
- … Technologies riecke@(email omitted); Anders Sandholm BRICS , Department of Computer Science University…
- Add To MetaCart
-
A Relational Account of Call-by-Value Sequentiality
- …BRICS RS-99-10 Riecke & Sandholm: A Relational Account of Call-by-Value Sequentiality BRICS Basic…
- Cited by 13 (2 self) – Add To MetaCart
-
Programming Languages: Design, Analysis, and Semantics
- …BRICS DS-00-2 A. B. Sandholm: Programming Languages: Design, Analysis, and Semantics BRICS Basic…
- Cited by 8 (0 self) – Add To MetaCart
-
A Type System for Dynamic Web Documents
- …A Type System for Dynamic Web Documents Anders Sandholm and Michael I. Schwartzbach BRICS…
- Cited by 25 (5 self) – Add To MetaCart
-
Distributed Safety Controllers for Web Services
- …BRICS RS-97-47 Sandholm & Schwartzbach: Distributed Safety Controllers for Web Services BRICS…
- Cited by 18 (7 self) – Add To MetaCart
-
<bigwig> -- A language for developing interactive Web services
- … Sandholm Michael I. Schwartzbach BRICS, Department of Computer Science University of Aarhus, Denmark…
- Add To MetaCart
-
--- a Language for Developing Interactive Web Services
- … Sandholm Michael I. Schwartzbach BRICS, Department of Computer Science University of Aarhus, Denmark…
- Add To MetaCart
-
A Runtime System for Interactive Web Services
- …. Sandholm Michael I. Schwartzbach BRICS Report Series RS-99-9 ISSN 0909-0878 March 1999 Copyright c 1999…
- Cited by 17 (9 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
