BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
S.Qadeer T.Ferrère T.A.Henzinger K.Chatterjee S.Mishra A.Pavlogiannis
Talks about:
algorithm (1) frequenc (1) program (1) monitor (1) concurr (1) weight (1) recurs (1) machin (1) faster (1) state (1)

Person: Bernhard Kragl

DBLP DBLP: Kragl:Bernhard

Contributed to:

ESOP 20172017
CAV (1) 20182018
CSL 20202020

Wrote 3 papers:

ESOP-2017-ChatterjeeKMP #algorithm #performance #recursion #state machine
Faster Algorithms for Weighted Recursive State Machines (KC, BK, SM, AP), pp. 287–313.
CAV-2018-KraglQ #concurrent #source code
Layered Concurrent Programs (BK, SQ), pp. 79–102.
CSL-2020-FerrereHK #monitoring
Monitoring Event Frequencies (TF, TAH, BK), p. 16.

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.