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 × Cyprus
1 × Estonia
1 × Hungary
2 × United Kingdom
Collaborated with:
M.E.Andrés M.Bozzano R.Bruttomesso A.Cimatti T.A.Junttila R.Sebastiani S.Schulz C.Palamidessi G.Smith S.Ranise
Talks about:
system (3) satisfi (2) theori (2) nondeterminist (1) probabilist (1) increment (1) procedur (1) arithmet (1) probabl (1) modulo (1)

Person: Peter van Rossum

DBLP DBLP: Rossum:Peter_van

Contributed to:

TACAS 20102010
TACAS 20082008
CADE 20052005
CAV 20052005
TACAS 20052005

Wrote 5 papers:

TACAS-2010-AndresPRS #information management
Computing the Leakage of Information-Hiding Systems (MEA, CP, PvR, GS), pp. 373–389.
TACAS-2008-AndresR #nondeterminism #probability
Conditional Probabilities over Probabilistic and Nondeterministic Systems (MEA, PvR), pp. 157–172.
The MathSAT 3 System (MB, RB, AC, TAJ, PvR, SS, RS), pp. 315–321.
CAV-2005-BozzanoBCJRRS #modulo theories #performance #satisfiability
Efficient Satisfiability Modulo Theories via Delayed Theory Combination (MB, RB, AC, TAJ, SR, PvR, RS), pp. 335–349.
TACAS-2005-BozzanoBCJRSS #incremental #linear #logic #satisfiability
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic (MB, RB, AC, TAJ, PvR, SS, RS), pp. 317–333.

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.