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: Schmid:Ulrich
Contributed to:
2015
2014
1992Wrote 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.