BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
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.
STOC-1999-Ben-AmramP
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.
ICALP-1995-Petersen
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.