Travelled to:
1 × Denmark
1 × Germany
1 × Poland
1 × Portugal
1 × USA
Collaborated with:
M.I.Schwartzbach T.Hune J.G.Riecke J.G.Henriksen J.L.Jensen M.E.Jørgensen N.Klarlund R.Paige T.Rauhe
Talks about:
control (2) web (2) distribut (1) synthesi (1) sequenti (1) document (1) automata (1) practic (1) account (1) system (1)
Person: Anders Sandholm
DBLP: Sandholm:Anders
Contributed to:
Wrote 5 papers:
- FASE-2000-HuneS #automaton #case study #synthesis #using
- A Case Study on Using Automata in Control Synthesis (TH, AS), pp. 349–362.
- POPL-2000-SandholmS #documentation #type system #web
- A Type System for Dynamic Web Documents (AS, MIS), pp. 290–301.
- FASE-1998-SandholmS #distributed #safety #web #web service
- Distributed Safety Controllers for Web Services (AS, MIS), pp. 270–284.
- LICS-1997-RieckeS #call-by #relational
- A Relational Account of Call-by-Value Sequentiality (JGR, AS), pp. 258–267.
- TACAS-1995-HenriksenJJKPRS #higher-order #logic #monad #named
- Mona: Monadic Second-Order Logic in Practice (JGH, JLJ, MEJ, NK, RP, TR, AS), pp. 89–110.