BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Sandholm:Anders

Contributed to:

FASE 20002000
POPL 20002000
FASE 19981998
LICS 19971997
TACAS 19951995

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.