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 × Denmark
1 × Germany
1 × Hungary
1 × Spain
1 × USA
Collaborated with:
A.M.Ben-Amram J.M.Robson
Talks about:
machin (4) simul (3) counter (2) bound (2) time (2) distinct (1) program (1) element (1) effici (1) altern (1)

Person: Holger Petersen

DBLP DBLP: Petersen:Holger

Contributed to:

DLT 20092009
DLT 20092011
LATA 20082008
STOC 19991999
ICALP 19981998
ICALP 19951995

Wrote 7 papers:

DLT-2009-Petersen #bound #simulation
Simulations by Time-Bounded Counter Machines (HP), pp. 410–418.
DLT-J-2009-Petersen11 #bound #simulation
Simulations by Time-Bounded Counter Machines (HP), pp. 395–409.
LATA-2008-Petersen #sorting #turing machine
Sorting and Element Distinctness on One-Way Turing Machines (HP), pp. 433–439.
Backing Up in Singly Linked Lists (AMBA, HP), pp. 780–786.
ICALP-1998-Ben-AmramP #source code
CONS-Free Programs with Tree Input (AMBA, HP), pp. 271–282.
ICALP-1998-PetersenR #performance #queue #simulation
Efficient Simulations by Queue Machines (HP, JMR), pp. 884–895.
Alternation in Simple Devices (HP), pp. 315–323.

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.