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 × Germany
1 × Italy
1 × USA
Collaborated with:
F.Klaedtke Ulan Degenbaev H.Payer B.Becker C.Dax Manfred Ernst R.McIlroy K.Hara Marcel Hlopko M.Lippautz
Talks about:
integ (3) real (3) automata (2) arithmet (2) collect (2) linear (2) garbag (2) constraint (1) approach (1) schedul (1)

Person: Jochen Eisinger

DBLP DBLP: Eisinger:Jochen

Contributed to:

CSL 20082008
CAV 20072007
CAV 20062006
OOPSLA 20182018
PLDI 20162016

Wrote 5 papers:

CSL-2008-Eisinger #automaton #bound #integer #linear
Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (JE), pp. 431–445.
CAV-2007-BeckerDEK #constraints #integer #linear #named
LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals (BB, CD, JE, FK), pp. 307–310.
CAV-2006-EisingerK #approach #word
Don’t Care Words with an Application to the Automata-Based Approach for Real Addition (JE, FK), pp. 67–80.
OOPSLA-2018-DegenbaevEHHLP #component #garbage collection
Cross-component garbage collection (UD, JE, KH, MH, ML, HP), p. 24.
PLDI-2016-DegenbaevEEMP #garbage collection #scheduling
Idle time garbage collection scheduling (UD, JE, ME, RM, HP), pp. 570–583.

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.