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 × Austria
1 × France
1 × Italy
Collaborated with:
M.Függer R.Najvirt T.Nowak A.Gmeiner I.Konnov H.Veith J.Widder
Talks about:
algorithm (2) captur (2) model (2) parameter (1) distribut (1) solvabl (1) resolut (1) presenc (1) multipl (1) circuit (1)

Person: Ulrich Schmid

DBLP DBLP: Schmid:Ulrich

Contributed to:

DATE 20152015
SFM 20142014
ICALP 19921992

Wrote 3 papers:

DATE-2015-FuggerNNS #modelling #physics #towards
Towards binary circuit models that faithfully capture physical solvability (MF, RN, TN, US), pp. 1455–1460.
SFM-2014-GmeinerKSVW #algorithm #distributed #fault tolerance #model checking #tutorial
Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms (AG, IK, US, HV, JW), pp. 122–171.
ICALP-1992-Schmid #algorithm #multi
The Average CRI-Length of a Tree Collision Resolution Algorithm in Presence of Multiplicity-Dependent Capture Effects (US), pp. 223–234.

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.