Sven Skyum

36 papers A* 5A 2B 2Journal 23Unranked 3
YearRankTypeTitle / Venue / Authors
2014 — conf
Circuit Complexity of Properties of Graphs with Constant Planar Cutwidth.
MFCS (2)
Kristoffer Arnsfelt Hansen, Balagopal Komarath, Jayalal Sarma, Sven Skyum, Navid Talebanfard
2012 — conf
To Dexter - A Tribute from Aarhus.
Logic and Program Semantics
Erik Meineche Schmidt, Mogens Nielsen, Sven Skyum
1999 A conf
On Monotone Planar Circuits.
CCC
David A. Mix Barrington, Chi-Jen Lu, Peter Bro Miltersen, Sven Skyum
1999 J jnl
The Complexity of Identifying Large Equivalence Classes.
Fundam. Informaticae
Sven Skyum, Gudmund Skovbjerg Frandsen, Peter Bro Miltersen, Peter G. Binderup
1998 A* ed.
Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings
ICALP
Kim Guldstrand Larsen, Sven Skyum, Glynn Winskel
1998 A conf
Searching Constant Width Mazes Captures the AC
STACS
David A. Mix Barrington, Chi-Jen Lu, Peter Bro Miltersen, Sven Skyum
1997 J jnl
Dynamic Maintenance of Majority Information in Constant Time per Update.
Inf. Process. Lett.
Gudmund Skovbjerg Frandsen, Sven Skyum
1997 J jnl
Dynamic word problems.
J. ACM
Gudmund Skovbjerg Frandsen, Peter Bro Miltersen, Sven Skyum
1997 J jnl
Searching constant width mazes captures the AC
Electron. Colloquium Comput. Complex.
David A. Mix Barrington, Chi-Jen Lu, Peter Bro Miltersen, Sven Skyum
1994 — ed.
Algorithm Theory - SWAT '94, 4th Scandinavian Workshop on Algorithm Theory, Aarhus, Denmark, July 6-8, 1994, Proceedings
SWAT
Erik Meineche Schmidt, Sven Skyum
1994 J jnl
Guest Editor's Foreword.
Nord. J. Comput.
Sven Skyum
1993 A* conf
Dynamic Word Problems
FOCS
Gudmund Skovbjerg Frandsen, Peter Bro Miltersen, Sven Skyum
1993 B conf
The Complexity of Finding Replicas Using Equality Tests.
MFCS
Gudmund Skovbjerg Frandsen, Peter Bro Miltersen, Sven Skyum
1991 J jnl
A Simple Algorithm for Computing the Smallest Enclosing Circle.
Inf. Process. Lett.
Sven Skyum
1985 J jnl
A Complexity Theory Based on Boolean Algebra
J. ACM
Sven Skyum, Leslie G. Valiant
1984 J jnl
Families of Fixed Degree Graphs for Processor Interconnection.
IEEE Trans. Computers
Mark Jerrum, Sven Skyum
1983 J jnl
A Measure in Which Boolean Negation is Exponentially Powerful.
Inf. Process. Lett.
Sven Skyum
1983 J jnl
Fast Parallel Computation of Polynomials Using Few Processors.
SIAM J. Comput.
Leslie G. Valiant, Sven Skyum, S. Berkowitz, Charles Rackoff
1982 J jnl
The Copying Power of One-State Tree Transducers.
J. Comput. Syst. Sci.
Joost Engelfriet, Sven Skyum
1981 A* conf
A Complexity Theory Based on Boolean Algebra
FOCS
Sven Skyum, Leslie G. Valiant
1981 J jnl
A Note on the Complexity of General D0L Membership.
SIAM J. Comput.
Neil D. Jones, Sven Skyum
1981 B conf
Fast Parallel Computation of Polynomials Using Few Processes.
MFCS
Leslie G. Valiant, Sven Skyum
1981 J jnl
k-visit Attribute Grammars.
Math. Syst. Theory
Hanne Riis Nielson, Sven Skyum
1979 J jnl
Complexity of Some Problems Concerning L Systems.
Math. Syst. Theory
Neil D. Jones, Sven Skyum
1978 J jnl
On Good ET0L Forms.
Theor. Comput. Sci.
Sven Skyum
1977 A* conf
Complexity of Some Problems Concerning L Systems.
ICALP
Neil D. Jones, Sven Skyum
1977 J jnl
Recognition of Deterministic ETOL Languages in Logarathimic Space
Inf. Control.
Neil D. Jones, Sven Skyum
1976 J jnl
A Relationship between ET0L and EDT0L Languages.
Theor. Comput. Sci.
Andrzej Ehrenfeucht, Grzegorz Rozenberg, Sven Skyum
1976 J jnl
Copying Theorems.
Inf. Process. Lett.
Joost Engelfriet, Sven Skyum
1976 J jnl
Decomposition Theorems for Various Kinds of Languages Parallel in Nature.
SIAM J. Comput.
Sven Skyum
1975 A* conf
On Decomposing Languages Defined by Parallel Devices
STOC
Sven Skyum
1974 — conf
Nonterminals and Codings in Defining Variations of 0L-Systems.
L Systems
Sven Skyum
1974 J jnl
Nonterminals, Homomorphisms and Codings in Different Variations of OL-Systems. I. Deterministic Systems.
Acta Informatica
Mogens Nielsen, Grzegorz Rozenberg, Arto Salomaa, Sven Skyum
1974 J jnl
Nonterminals, Homomorphisms and Codings in Different Variations of OL-Systems. II. Nondeterministic Systems.
Acta Informatica
Mogens Nielsen, Grzegorz Rozenberg, Arto Salomaa, Sven Skyum
1974 J jnl
On Extensions of ALGOL-Like Languages
Inf. Control.
Sven Skyum
1974 J jnl
Parallel Context-Free Languages
Inf. Control.
Sven Skyum