David Fabian

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 2

Top Topics

Formal Specification

Top Venues

Electron. J. Comb.

J. Comb. Theory, Ser. A

Configuration Workshop

Publications

Michael Anastos, David Fabian, Alp Müyesser, Tibor Szabó
Splitting Matchings and the Ryser-Brualdi-Stein Conjecture for Multisets. Electron. J. Comb. 30 (3) (2023)
David Fabian, Juanjo Rué, Christoph Spiegel
sets and random sets of integers. J. Comb. Theory, Ser. A 182 (2021)
David Fabian, Radek Marík
Configuration Dynamics Verification Using UPPAAL. Configuration Workshop (2013)
David Fabian, Radek Marík, Tomás Oberhuber
Towards a Formalism of Configuration Properties Propagation. Configuration Workshop (2012)