320 citations · 2.3k across the 46 of their papers we have counts for
3 papers · 1 filter
Rate Equations for Graphs
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer +1
In this paper, we combine ideas from two different scientific traditions: 1) graph transformation systems (GTSs) stemming from the theory of formal languages and concurrency, and 2…
Incentive Alignment of Business Processes: a game theoretic approach
Tobias Heindel, Ingo Weber
Many definitions of business processes refer to business goals, value creation, or profits/gains of sorts. Nevertheless, the focus of formal methods research on business processes,…
Deterministically fabricated quantum dot single-photon source emitting indistinguishable photons in the telecom O-band
N. Srocka, P. Mrowiński, J. Große +4
In this work we develop and study single-photon sources based on InGaAs quantum dots (QDs) emitting in the telecom O-band. The quantum devices are fabricated using in-situ electron…