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 × Austria
1 × Belgium
1 × Canada
1 × Czech Republic
1 × Denmark
1 × Finland
1 × Greece
1 × Italy
1 × Spain
3 × USA
Collaborated with:
M.Li T.Jiang H.Buhrman W.J.Savitch J.Tromp J.I.Seiferas C.H.Bennett P.Gács W.H.Zurek
Talks about:
simul (5) time (5) machin (4) head (4) complex (3) real (3) multicount (2) kolmogorov (2) comput (2) ture (2)

Person: Paul M. B. Vitányi

DBLP DBLP: Vit=aacute=nyi:Paul_M=_B=

Contributed to:

ICALP 20012001
ICALP 19991999
STOC 19941994
STOC 19931993
ICALP 19921992
ICALP 19891989
ICALP 19841984
STOC 19841984
ICALP 19831983
ICALP 19821982
STOC 19821982
ICALP 19801980
ICALP 19771977

Wrote 15 papers:

ICALP-2001-BuhrmanTV #bound #simulation
Time and Space Bounds for Reversible Simulation (HB, JT, PMBV), pp. 1017–1027.
New Applications of the Incompressibility Method (HB, TJ, ML, PMBV), pp. 220–229.
ICALP-1999-JiangLV #complexity
Average-Case Complexity of Shellsort (TJ, ML, PMBV), pp. 453–462.
Two heads are better than two tapes (TJ, JIS, PMBV), pp. 668–675.
STOC-1993-BennettGLVZ #distance
Thermodynamics of computation and information distance (CHB, PG, ML, PMBV, WHZ), pp. 21–30.
ICALP-1992-LiV #complexity
Philosophical Issues in Kolmogorov Complexity (ML, PMBV), pp. 1–15.
ICALP-1989-LiV #concurrent #how
How to Share Concurrent Asynchronous Wait-Free Variables (ML, PMBV), pp. 488–505.
ICALP-1989-LiV89a #approach #complexity #formal method
A New Approach to Formal Language Theory by Kolmogorov Complexity (ML, PMBV), pp. 506–520.
ICALP-1984-Vitanyi #realtime
The Simple Roots of Real-Time Computation Hierarchies (PMBV), pp. 486–489.
STOC-1984-Vitanyi #distributed
Distributed Elections in an Archimedean Ring of Processors (PMBV), pp. 542–547.
ICALP-1983-Vitanyi #on the #simulation
On the Simulation of Many Storage Heads by a Single One (PMBV), pp. 687–694.
ICALP-1982-Vitanyi #multi #performance #simulation
Efficient Simulations of Multicounter Machines (PMBV), pp. 546–560.
STOC-1982-Vitanyi #multi #realtime #simulation #turing machine
Real-Time Simulation of Multicounters by Oblivious One-Tape Turing Machines (PMBV), pp. 27–36.
ICALP-1980-Vitanyi #on the #power of #realtime #specification
On the Power of Real-Time Machines Under Varying Specifications (PMBV), pp. 658–671.
ICALP-1977-SavitchV #linear #multi #simulation #turing machine
Linear Time Simulation of Multihead Turing Machines with Head-to-Head Jumps (WJS, PMBV), pp. 453–464.

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.