Browse Title Index


 
Issue Title
 
No 5 (2008): RS-5 Inter-Deriving Semantic Artifacts for Object-Oriented Programming Inter-Deriving Semantic Artifacts for Object-Oriented Programming Abstract   PDF
Olivier Danvy, Jacob Johannsen
 
No 12 (2000): RS-12 Intuitionistic Choice and Restricted Classical Logic Intuitionistic Choice and Restricted Classical Logic Abstract   PDF
Ulrich Kohlenbach
 
No 32 (1999): RS-32 Is your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics Is your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics Abstract   PDF
Luca Aceto, Francois Laroussinie
 
No 6 (2003): RS-6 Jeeg: Temporal Constraints for the Synchronization of Concurrent Objects Jeeg: Temporal Constraints for the Synchronization of Concurrent Objects Abstract   PDF
Giuseppe Milicia, Vladimiro Sassone
 
No 6 (1997): RS-06 Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure Abstract   PDF
Olivier Danvy, Ulrik P. Schultz
 
No 54 (1998): RS-54 Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure Abstract
Olivier Danvy, Ulrik P. Schultz
 
No 27 (1999): RS-27 Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure Abstract   PDF
Olivier Danvy, Ulrik P. Schultz
 
No 26 (2003): RS-26 Lambda-Lifting in Quadratic Time Lambda-Lifting in Quadratic Time Abstract   PDF
Olivier Danvy, Ulrik P. Schultz
 
No 30 (2002): RS-30 Lambda-Lifting in Quadratic Time Lambda-Lifting in Quadratic Time Abstract   PDF
Olivier Danvy, Ulrik P. Schultz
 
No 12 (2004): RS-12 Lambda-Lifting in Quadratic Time Lambda-Lifting in Quadratic Time Abstract   PDF
Olivier Danvy, Ulrik P. Schultz
 
No 17 (2001): RS-17 Language-Based Caching of Dynamically Generated HTML Language-Based Caching of Dynamically Generated HTML Abstract   PDF
Claus Brabrand, Anders Møller, Steffan Olesen, Michael I. Schwartzbach
 
No 18 (2000): RS-18 Language, Semantics, and Methods for Cryptographic Protocols Language, Semantics, and Methods for Cryptographic Protocols Abstract   PDF
Federico Crazzolara, Glynn Winskel
 
No 18 (1994): RS-18 LCF Examples in HOL LCF Examples in HOL Abstract   PDF
Sten Agerholm
 
No 16 (1997): RS-16 Linear Hashing Linear Hashing Abstract   PDF
Noga Alon, Martin Dietzfelbinger, Peter Bro Miltersen, Erez Petrank, Gábor Tardos
 
No 48 (2002): RS-48 Linearity in Process Languages Linearity in Process Languages Abstract   PDF
Mikkel Nygaard, Glynn Winskel
 
No 3 (1994): RS-3 Linear Logic on Petri Nets Linear Logic on Petri Nets Abstract   PDF
Uffe H. Engberg, Glynn Winskel
 
No 5 (2001): RS-5 Linear Parametric Model Checking of Timed Automata Linear Parametric Model Checking of Timed Automata Abstract   PDF
Thomas S. Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager
 
No 38 (1999): RS-38 Linear Time Recognition of P4-Indifferent Graphs Linear Time Recognition of P4-Indifferent Graphs Abstract   PDF
Romeo Rizzi
 
No 7 (1996): RS-7 Linear Zero-Knowledgde - A Note on Efficient Zero-Knowledge Proofs and Arguments Linear Zero-Knowledgde. A Note on Efficient Zero-Knowledge Proofs and Arguments Abstract   PDF
Ivan B. Damgård, Ronald Cramer
 
No 2 (2000): RS-2 Local Logics for Traces Local Logics for Traces Abstract   PDF
Igor Walukiewicz
 
No 17 (1994): RS-17 Local Model Checking and Traces Local Model Checking and Traces Abstract   PDF
Allan Cheng
 
No 55 (1999): RS-55 Logical Specification of Operational Semantics Logical Specification of Operational Semantics Abstract   PDF
Peter D. Mosses
 
No 19 (2006): RS-19 Logics for The Applied pi Calculus Logics for The Applied pi Calculus Abstract   PDF
Michael David Pedersen
 
No 33 (2001): RS-33 Lossy Dictionaries Lossy Dictionaries Abstract   PDF
Rasmus Pagh, Flemming Friche Rodler
 
No 11 (1998): RS-11 Lower Bounds for Dynamic Algebraic Problems Lower Bounds for Dynamic Algebraic Problems Abstract   PDF
Gudmund Skovbjerg Frandsen, Johan P. Hansen, Peter Bro Miltersen
 
No 9 (1996): RS-9 Lower Bounds for Dynamic Transitive Closure, Planar Point Location, and Parentheses Matching Lower Bounds for Dynamic Transitive Closure, Planar Point Location, and Parentheses Matching Abstract   PDF
Thore Husfeldt, Theis Rauhe, Søren Skyum
 
No 46 (1994): RS-46 Lower Bounds for Monotone Span Programs Lower Bounds for Monotone Span Programs Abstract   PDF
Amos Beimel
 
No 43 (1995): RS-43 Lower Bounds on Arithmetic Circuits via Partial Derivatives (Preliminary Version) Lower Bounds on Arithmetic Circuits via Partial Derivatives (Preliminary Version) Abstract   PDF
Noam Nisan, Avi Wigderson
 
No 28 (1998): RS-28 Low Redundancy in Dictionaries with O(1) Worst Case Lookup Time Low Redundancy in Dictionaries with O(1) Worst Case Lookup Time Abstract   PDF
Rasmus Pagh
 
No 14 (2004): RS-14 Maker-Maker and Maker-Breaker Games are PSPACE-Complete Maker-Maker and Maker-Breaker Games are PSPACE-Complete Abstract   PDF
Jesper Makholm Byskov
 
No 28 (2002): RS-28 Mann Iterates of Directionally Nonexpansive Mappings in Hyperbolic Spaces Mann Iterates of Directionally Nonexpansive Mappings in Hyperbolic Spaces Abstract   PDF
Ulrich Kohlenbach, Laurentiu Leustean
 
No 16 (1998): RS-16 Marked Ancestor Problems Marked Ancestor Problems Abstract
Stephen Alstrup, Thore Husfeldt, Theis Rauhe
 
No 7 (1998): RS-07 Marked Ancestor Problems (Preliminary Version) Marked Ancestor Problems (Preliminary Version) Abstract   PDF
Stephen Alstrup, Thore Husfeldt, Theis Rauhe
 
No 23 (1998): RS-23 Martingales and Locality in Distributed Computing Martingales and Locality in Distributed Computing Abstract   PDF
Devdatt P. Dubhashi
 
No 13 (2000): RS-13 Matching Modulo Associativity and Idempotency is NP-Complete Matching Modulo Associativity and Idempotency is NP-Complete Abstract   PDF
Ondrej Klima, Jirí Srba
 
No 19 (2004): RS-19 Maximum Exact Satisfiability: NP-completeness Proofs and Exact Algorithms Maximum Exact Satisfiability: NP-completeness Proofs and Exact Algorithms Abstract   PDF
Bolette Ammitzbøll Madsen, Peter Rossmanith
 
No 47 (1996): RS-47 Meaningful and Meaningless Solutions for Cooperative N-person Games Meaningful and Meaningless Solutions for Cooperative N-person Games Abstract   PDF
Aleksandar Pekec
 
No 6 (1999): RS-6 Measures on Hidden Markov Models Measures on Hidden Markov Models Abstract   PDF
Rune B. Lyngsø, Christian N. S. Pedersen, Henrik Nielsen
 
No 26 (2005): RS-26 Measuring the Propagation of Information in Partial Evaluation Measuring the Propagation of Information in Partial Evaluation Abstract   PDF
Henning Korsholm Rohde
 
No 33 (2002): RS-33 Memoization in Type-Directed Partial Evaluation Memoization in Type-Directed Partial Evaluation Abstract   PDF
Vincent Balat, Olivier Danvy
 
No 33 (1998): RS-33 Migration = Cloning ; Aliasing (Preliminary Version) Migration = Cloning ; Aliasing (Preliminary Version) Abstract   PDF
Hans Hüttel, Josva Kleist, Uwe Nestmann, Massimo Merro
 
No 3 (2001): RS-3 Minimum-Cost Reachability for Priced Timed Automata Minimum-Cost Reachability for Priced Timed Automata Abstract   PDF
Gerd Behrmann, Ansgar Fehnker, Thomas S. Hune, Kim G. Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager
 
No 53 (1999): RS-53 Model-Checking Real-Time Control Programs. Verifying LEGO Mindstorms Systems Using UPPAAL Model-Checking Real-Time Control Programs. Verifying LEGO Mindstorms Systems Using UPPAAL Abstract   PDF
Torsten K. Iversen, Kåre J. Kristoffersen, Kim G. Larsen, Morten Laursen, Rune G. Madsen, Steffen K. Mortensen, Paul Pettersson, Chris B. Thomasen
 
No 29 (1997): RS-29 Model Checking via Reachability Testing for Timed Automata Model Checking via Reachability Testing for Timed Automata Abstract   PDF
Luca Aceto, Augusto Burgueno, Kim G. Larsen
 
No 17 (2000): RS-17 Modeling a Language for Embedded Systems in Timed Automata Modeling a Language for Embedded Systems in Timed Automata Abstract   PDF
Thomas S. Hune
 
No 56 (1996): RS-56 Modeling, Sharing, and Recursion for Weak Reduction Strategies using Explicit Substitution Modeling, Sharing, and Recursion for Weak Reduction Strategies using Explicit Substitution Abstract   PDF
Zine-El-Abidine Benaissa, Pierre Lescanne, Kristoffer H. Rose
 
No 24 (1996): RS-24 Modelling and Analysis of a Collision Avoidance Protocol using SPIN and UPPAAL Modelling and Analysis of a Collision Avoidance Protocol using SPIN and UPPAAL Abstract   PDF
Henrik Ejersbo Jensen, Kim G. Larsen, Arne Skou
 
No 26 (2000): RS-26 Modelling and Control of Discrete Event Dynamic Systems Modelling and Control of Discrete Event Dynamic Systems Abstract   PDF
Frantisek Capkovic
 
No 12 (1994): RS-12 Models for Concurrency Models for Concurrency Abstract   PDF
Glynn Winskel, Mogens Nielsen
 
No 14 (2002): RS-14 Modified Bar Recursion Modified Bar Recursion Abstract   PDF
Ulrich Berger, Paulo B. Oliva
 
No 50 (2000): RS-50 Modularity in Meta-Languages Modularity in Meta-Languages Abstract   PDF
Peter D. Mosses
 
No 7 (2005): RS-7 Modular Structural Operational Semantics Modular Structural Operational Semantics Abstract   PDF
Peter D. Mosses
 
No 10 (1994): RS-10 Monadic Second-order Logic for Parameterized Verification Monadic Second-order Logic for Parameterized Verification Abstract   PDF
Jakob L. Jensen, Michael E. Jørgensen, Nils Klarlund
 
No 44 (1995): RS-44 Monadic Second-Order Logic, Graphs and Unfoldings of Transition Systems Monadic Second-Order Logic, Graphs and Unfoldings of Transition Systems Abstract   PDF
Bruno Courcelle, Igor Walukiewicz
 
No 40 (2000): RS-40 MONA Implementation Secrets MONA Implementation Secrets Abstract   PDF
Nils Klarlund, Anders Møller, Michael I. Schwartzbach
 
No 21 (1995): RS-21 MONA: Monadic Second-Order Logic in Practice MONA: Monadic Second-Order Logic in Practice Abstract   PDF
Jesper G. Henriksen, Ole J.L. Jensen, Michael E. Jørgensen, Nils Klarlund, Robert Paige, Theis Rauhe, Anders B. Sandholm
 
No 14 (2006): RS-14 Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols Abstract   PDF
Giorgio Delzanno, Javier Esparza, Jirí Srba
 
No 14 (2000): RS-14 Multiparty Computation from Threshold Homomorphic Encryption Multiparty Computation from Threshold Homomorphic Encryption Abstract   PDF
Ronald Cramer, Ivan B. Damgård, Jesper Buus Nielsen
 
No 39 (1997): RS-39 Names, Equations, Relations: Practical Ways to Reason about new Names, Equations, Relations: Practical Ways to Reason about new Abstract   PDF
Ian Stark
 
No 31 (1996): RS-31 Names, Equations, Relations: Practical Ways to Reason about 'new' Names, Equations, Relations: Practical Ways to Reason about 'new' Abstract   PDF
Ian Stark
 
No 11 (1996): RS-11 Near-Optimal, Distributed Edge Colouring via the Nibble Method Near-Optimal, Distributed Edge Colouring via the Nibble Method Abstract   PDF
Devdatt P. Dubhashi, David A. Grable, Alessandro Panconesi
 
No 27 (1996): RS-27 Negative Dependence Through the FKG Inequality Negative Dependence Through the FKG Inequality Abstract   PDF
Devdatt P. Dubhashi, Volker Priebe, Desh Ranjan
 
No 27 (2003): RS-27 Nested Semantics over Finite Trees are Equationally Hard Nested Semantics over Finite Trees are Equationally Hard Abstract   PDF
Luca Aceto, Willem Jan Fokkink, Rob J. van Glabbeek, Anna Ingólfsdóttir
 
No 30 (2003): RS-30 New Algorithms for Exact Satisfiability New Algorithms for Exact Satisfiability Abstract   PDF
Jesper Makholm Byskov, Bolette Ammitzbøll Madsen, Bjarke Skjernaa
 
No 21 (2004): RS-21 New-HOPLA--A Higher-Order Process Language with Name Generation New-HOPLA--A Higher-Order Process Language with Name Generation Abstract   PDF
Glynn Winskel, Francesco Zappa Nardelli
 
No 47 (2001): RS-47 Non-Committing Encryption is Too Easy in the Random Oracle Model Non-Committing Encryption is Too Easy in the Random Oracle Model Abstract   PDF
Jesper Buus Nielsen
 
No 36 (1995): RS-36 Nonprimitive Recursive Function Definitions Non-primitive Recursive Function Definitions Abstract   PDF
Sten Agerholm
 
No 16 (2001): RS-16 Normalization by Evaluation with Typed Abstract Syntax Normalization by Evaluation with Typed Abstract Syntax Abstract   PDF
Olivier Danvy, Morten Rhiger, Kristoffer H. Rose
 
No 50 (2001): RS-50 Note on the Tableau Technique for Commutative Transition Systems Note on the Tableau Technique for Commutative Transition Systems Abstract   PDF
Jirí Srba
 
No 38 (1996): RS-38 Objects as Mobile Processes Objects as Mobile Processes Abstract   PDF
Hans Hüttel, Josva Kleist
 
No 49 (1996): RS-49 Objects, Types and Modal Logics Objects, Types and Modal Logics Abstract   PDF
Dan S. Andersen, Lars H. Pedersen, Hans Hüttel, Josva Kleist
 
No 5 (1999): RS-5 Observational Mu-Calculus Observational Mu-Calculus Abstract   PDF
Julian C. Bradfield, Perdita Stevens
 
No 11 (2000): RS-11 On Ajtai’s Lower Bound Technique for R-way Branching Programs and the Hamming Distance Problem On Ajtai’s Lower Bound Technique for R-way Branching Programs and the Hamming Distance Problem Abstract   PDF
Jakob Pagter
 
No 36 (1996): RS-36 On a Question of A. Salomaa: The Equational Theory of Regular Expressions over a Singleton Alphabet is not Finitel On a Question of Arto Salomaa: The Equational Theory of Regular Expressions over a Singleton Alphabet is not Finitely Based Abstract   PDF
Luca Aceto, Willem Jan Fokkink, Anna Ingólfsdóttir
 
No 14 (2007): RS-14 On Barron and Strachey's Cartesian Product Function On Barron and Strachey's Cartesian Product Function Abstract   PDF
Olivier Danvy, Michael Spivey
 
No 50 (1995): RS-50 On Competitive On-Line Paging with Lookahead On Competitive On-Line Paging with Lookahead Abstract   PDF
Dany Breslauer
 
No 45 (2003): RS-45 On converting CNF to DNF On converting CNF to DNF Abstract   PDF
Peter Bro Miltersen, Jaikumar Radhakrishnan, Ingo Wegener
 
No 28 (2005): RS-28 On Counting the Number of Consistent Genotype Assignments for Pedigrees On Counting the Number of Consistent Genotype Assignments for Pedigrees Abstract   PDF
Jirí Srba
 
No 41 (1994): RS-41 On Data Structures and Asymmetric Communication Complexity On Data Structures and Asymmetric Communication Complexity Abstract   PDF
Peter Bro Miltersen
 
No 26 (1998): RS-26 On Encoding p pi in m pi On Encoding p pi in m pi Abstract   PDF
Paola Quaglia, David Walker
 
No 9 (2002): RS-9 One-Probe Search One-Probe Search Abstract   PDF
Anna Östlin, Rasmus Pagh
 
No 49 (2003): RS-49 Online On-the-Fly Testing of Real-time Systems Online On-the-Fly Testing of Real-time Systems Abstract   PDF
Marius Mikucionis, Kim G. Larsen, Brian Nielsen
 
No 53 (1997): RS-53 Online Type-Directed Partial Evaluation Online Type-Directed Partial Evaluation Abstract   PDF
Olivier Danvy
 
No 3 (2000): RS-3 On Memory-Block Traversal Problems in Model Checking Timed Systems On Memory-Block Traversal Problems in Model Checking Timed Systems Abstract   PDF
Fredrik Larsson, Paul Pettersson, Wang Yi
 
No 32 (2002): RS-32 On Obtaining Knuth, Morris, and Pratt's String Matcher by Partial Evaluation On Obtaining Knuth, Morris, and Pratt's String Matcher by Partial Evaluation Abstract   PDF
Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde
 
No 29 (2005): RS-29 On Obtaining the Boyer-Moore String-Matching Algorithm by Partial Evaluation On Obtaining the Boyer-Moore String-Matching Algorithm by Partial Evaluation Abstract   PDF
Olivier Danvy, Henning Korsholm Rohde
 
No 14 (2005): RS-14 On Obtaining the Boyer-Moore String-Matching Algorithm by Partial Evaluation On Obtaining the Boyer-Moore String-Matching Algorithm by Partial Evaluation Abstract   PDF
Olivier Danvy, Henning Korsholm Rohde
 
No 6 (2007): RS-6 On One-Pass CPS Transformations On One-Pass CPS Transformations Abstract   PDF
Olivier Danvy, Kevin Millikin, Lasse R. Nielsen
 
No 3 (2002): RS-3 On One-Pass CPS Transformations On One-Pass CPS Transformations Abstract   PDF
Olivier Danvy, Lasse R. Nielsen
 
No 4 (1999): RS-4 On Plain and Hereditary History-Preserving Bisimulation On Plain and Hereditary History-Preserving Bisimulation Abstract   PDF
Sibylle B. Fröschle, Thomas Troels Hildebrandt
 
No 36 (1994): RS-36 On provably disjoint NP-pairs On provably disjoint NP-pairs Abstract   PDF
Alexander A. Razborov
 
No 23 (1999): RS-23 On proving syntactic properties of CPS programs On proving syntactic properties of CPS programs Abstract   PDF
Olivier Danvy, Belmina Dzafic, Frank Pfenning
 
No 6 (2004): RS-6 On Reducing a System of Equations to a Single Equation On Reducing a System of Equations to a Single Equation Abstract   PDF
Gudmund Skovbjerg Frandsen, Igor E. Shparlinski
 
No 27 (2004): RS-27 On the Adaptiveness of Quicksort On the Adaptiveness of Quicksort Abstract   PDF
Gerth Stølting Brodal, Rolf Fagerberg, Gabriel Moruz
 
No 23 (1997): RS-23 On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness Abstract   PDF
Ulrich Kohlenbach
 
No 1 (2006): RS-1 On the Axiomatizability of Priority On the Axiomatizability of Priority Abstract   PDF
Luca Aceto, Taolue Chen, Willem Jan Fokkink, Anna Ingólfsdóttir
 
No 46 (1995): RS-46 On the Comparison Complexity of the String Prefix-Matching Problem On the Comparison Complexity of the String Prefix-Matching Problem Abstract   PDF
Dany Breslauer, Livio Colussi, Laura Toniolo
 
No 39 (1996): RS-39 On the Complexity of Deciding Behavioural Equivalences and Preorders. A Survey On the Complexity of Deciding Behavioural Equivalences and Preorders. A Survey Abstract   PDF
Hans Hüttel, Sandeep Shukla
 
No 3 (2003): RS-3 On the Computational Collapse of Quantum Information On the Computational Collapse of Quantum Information Abstract   PDF
Claude Crépeau, Paul Dumais, Dominic Mayers, Louis Salvail
 
No 44 (1997): RS-44 On the Density of Normal Bases in Finite Fields On the Density of Normal Bases in Finite Fields Abstract   PDF
Gudmund Skovbjerg Frandsen
 
No 38 (1997): RS-38 On the Distributed Complexity of Computing Maximal Matchings On the Distributed Complexity of Computing Maximal Matchings Abstract   PDF
Michał Hanckowiak, Michał Karonski, Alessandro Panconesi
 
No 13 (2005): RS-13 On the Dynamic Extent of Delimited Continuations On the Dynamic Extent of Delimited Continuations Abstract   PDF
Dariusz Biernacki, Olivier Danvy, Chung-chieh Shan
 
No 2 (2005): RS-2 On the Dynamic Extent of Delimited Continuations On the Dynamic Extent of Delimited Continuations Abstract   PDF
Dariusz Biernacki, Olivier Danvy
 
No 16 (2007): RS-16 On the Equivalence between Small-Step and Big-Step Abstract Machines: A Simple Application of Lightweight Fusion On the Equivalence between Small-Step and Big-Step Abstract Machines: A Simple Application of Lightweight Fusion Abstract   PDF
Olivier Danvy, Kevin Millikin
 
No 5 (2007): RS-5 On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt Abstract   PDF
Luca Aceto, Silvio Capobianco, Anna Ingólfsdóttir
 
No 22 (2002): RS-22 On the Expressive Power of Concurrent Constraint Programming Languages On the Expressive Power of Concurrent Constraint Programming Languages Abstract   PDF
Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia
 
No 7 (2004): RS-7 On the Expressive Power of Extended Process Rewrite Systems On the Expressive Power of Extended Process Rewrite Systems Abstract   PDF
Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
 
No 59 (1995): RS-59 On the Finitary Bisimulation On the Finitary Bisimulation Abstract   PDF
Luca Aceto, Anna Ingólfsdóttir
 
No 52 (1997): RS-52 On the Finitary Characterization of pi-Congruences On the Finitary Characterization of pi-Congruences Abstract   PDF
Paola Quaglia
 
No 14 (1996): RS-14 On the Idempotence of the CPS Transformation On the Idempotence of the CPS Transformation Abstract   PDF
Olivier Danvy, Karoline Malmkjær
 
No 37 (1998): RS-37 On the (Im)possibility of Basing Oblivious Transfer and Bit Commitment on Weakened Security Assumptions On the (Im)possibility of Basing Oblivious Transfer and Bit Commitment on Weakened Security Assumptions Abstract   PDF
Ivan B. Damgård, Joe Kilian, Louis Salvail
 
No 42 (1997): RS-42 On the No-Counterexample Interpretation On the No-Counterexample Interpretation Abstract   PDF
Ulrich Kohlenbach
 
No 17 (2002): RS-17 On the Number of Maximal Bipartite Subgraphs of a Graph On the Number of Maximal Bipartite Subgraphs of a Graph Abstract   PDF
Bolette Ammitzbøll Madsen, Jesper Makholm Byskov, Bjarke Skjernaa
 
No 15 (2002): RS-15 On the Number of Maximal Independent Sets in a Graph On the Number of Maximal Independent Sets in a Graph Abstract   PDF
Jesper Makholm Nielsen
 
No 7 (2001): RS-7 On the Number of Quasi-Kernels in Digraphs On the Number of Quasi-Kernels in Digraphs Abstract   PDF
Gregory Gutin, Khee Meng Koh, Eng Guan Tay, Anders Yeo
 
No 19 (2001): RS-19 On the Power of Labels in Transition Systems On the Power of Labels in Transition Systems Abstract   PDF
Jirí Srba
 
No 1 (2005): RS-1 On the Recursive Enumerability of Fixed-Point Combinators On the Recursive Enumerability of Fixed-Point Combinators Abstract   PDF
Mayer Goldberg
 
No 25 (2004): RS-25 On the Recursive Enumerability of Fixed-Point Combinators On the Recursive Enumerability of Fixed-Point Combinators Abstract   PDF
Mayer Goldberg
 
No 36 (2005): RS-36 On the Static and Dynamic Extents of Delimited Continuations On the Static and Dynamic Extents of Delimited Continuations Abstract   PDF
Dariusz Biernacki, Olivier Danvy, Chung-chieh Shan
 
No 39 (1999): RS-39 On the Steiner Tree 3/2-Approximation for Quasi-Bipartite Graphs On the Steiner Tree 3/2-Approximation for Quasi-Bipartite Graphs Abstract   PDF
Romeo Rizzi
 
No 22 (1999): RS-22 On the Two-Variable Fragment of the Equational Theory of the Max-Sum Algebra of the Natural Numbers On the Two-Variable Fragment of the Equational Theory of the Max-Sum Algebra of the Natural Numbers Abstract   PDF
Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir
 
No 11 (1999): RS-11 On the Uniform Weak König’s Lemma On the Uniform Weak König’s Lemma Abstract   PDF
Ulrich Kohlenbach
 
No 51 (2001): RS-51 On Weak Markov's Principle On Weak Markov's Principle Abstract   PDF
Ulrich Kohlenbach
 
No 23 (1995): RS-23 Open Maps (at) Work Open Maps (at) Work Abstract   PDF
Allan Cheng, Mogens Nielsen
 
No 2 (1996): RS-2 Open Maps, Behavioural Equivalences, and Congruences Open Maps, Behavioural Equivalences, and Congruences Abstract   PDF
Allan Cheng, Mogens Nielsen
 
No 8 (2002): RS-8 Optimal Black-Box Secret Sharing over Arbitrary Abelian Groups Optimal Black-Box Secret Sharing over Arbitrary Abelian Groups Abstract   PDF
Ronald Cramer, Serge Fehr
 
No 16 (1995): RS-16 Optimal Parallel Construction of Minimal Suffix and Factor Automata Optimal Parallel Construction of Minimal Suffix and Factor Automata Abstract   PDF
Dany Breslauer, Ramesh Hariharan
 
No 37 (1996): RS-37 Optimal Purely Functional Priority Queues Optimal Purely Functional Priority Queues Abstract   PDF
Gerth Stølting Brodal, Chris Okasaki
 
No 12 (2007): RS-12 Optimal Resilient Dynamic Dictionaries Optimal Resilient Dynamic Dictionaries Abstract
Gerth Stølting Brodal, Rolf Fagerberg, Allan Grønlund Jørgensen, Gabriel Moruz, Thomas Mølhave
 
No 4 (2004): RS-4 Optimal Strategies in Priced Timed Game Automata Optimal Strategies in Priced Timed Game Automata Abstract   PDF
Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim G. Larsen
 
No 2 (2001): RS-2 Optimal Time-Space Trade-Offs for Non-Comparison-Based Sorting Optimal Time-Space Trade-Offs for Non-Comparison-Based Sorting Abstract   PDF
Rasmus Pagh, Jakob Pagter
 
No 10 (1998): RS-10 Optimal Time-Space Trade-Offs for Sorting Optimal Time-Space Trade-Offs for Sorting Abstract   PDF
Jakob Pagter, Theis Rauhe
 
No 9 (1995): RS-09 Partial and Higher Order Differentials and Applications to the DES Partial and Higher Order Differentials and Applications to the DES Abstract   PDF
Lars Ramkilde Knudsen
 
No 45 (1999): RS-45 Partial Evaluation for Constraint-Based Program Analyses Partial Evaluation for Constraint-Based Program Analyses Abstract   PDF
Torben Amtoft
 
No 31 (2000): RS-31 Partial Evaluation of Pattern Matching in Strings, revisited Partial Evaluation of Pattern Matching in Strings, revisited Abstract   PDF
Bernd Grobauer, Julia L. Lawall
 
No 1 (1997): RS-01 Partial Evaluation of the Euclidian Algorithm (Extended Version) Partial Evaluation of the Euclidian Algorithm (Extended Version) Abstract   PDF
Olivier Danvy, Mayer Goldberg
 
No 35 (1994): RS-35 Partially Persistent Data Structures of Bounded Degree with Constant Update Time Partially Persistent Data Structures of Bounded Degree with Constant Update Time Abstract   PDF
Gerth Stølting Brodal
 
No 41 (2001): RS-41 Perfect Hiding and Perfect Binding Universally Composable Commitment Schemes with Constant Expansion Factor Perfect Hiding and Perfect Binding Universally Composable Commitment Schemes with Constant Expansion Factor Abstract   PDF
Ivan B. Damgård, Jesper Buus Nielsen
 
No 4 (1995): RS-04 Petri Nets and Bisimulations Petri Nets and Bisimulations Abstract   PDF
Mogens Nielsen, Glynn Winskel
 
No 15 (1994): RS-15 Petri Nets and Bisimulations Petri Nets and Bisimulations Abstract   PDF
Mogens Nielsen, Glynn Winskel
 
No 39 (1995): RS-39 Petri Nets, Traces, and Local Model Checking Petri Nets, Traces, and Local Model Checking Abstract   PDF
Allan Cheng
 
No 43 (2000): RS-43 PowerForms: Declarative Client-Side Form Field Validation PowerForms: Declarative Client-Side Form Field Validation Abstract   PDF
Claus Brabrand, Anders Møller, Ricky Mikkel Christensen, Michael I. Schwartzbach
 
No 30 (2000): RS-30 Practical Threshold RSA Signatures Without a Trusted Dealer Practical Threshold RSA Signatures Without a Trusted Dealer Abstract   PDF
Ivan B. Damgård, Maciej Koprowski
 
No 15 (1996): RS-15 Pragmatic Aspects of Type-Directed Partial Evaluation Pragmatic Aspects of Type-Directed Partial Evaluation Abstract   PDF
Olivier Danvy
 
No 52 (2003): RS-52 Pragmatics of Modular SOS Pragmatics of Modular SOS Abstract   PDF
Peter D. Mosses
 
No 5 (2003): RS-5 Precise Analysis of String Expressions Precise Analysis of String Expressions Abstract   PDF
Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach
 
No 44 (2001): RS-44 Predicate Abstraction for Dense Real-Time Systems Predicate Abstraction for Dense Real-Time Systems Abstract   PDF
M. Oliver Möller, Harald Ruess, Maria Sorea
 
No 36 (1999): RS-36 Presheaf Models for CCS-like Languages Presheaf Models for CCS-like Languages Abstract   PDF
Gian Luca Cattani, Glynn Winskel
 
No 35 (1996): RS-35 Presheaf Models for Concurrency Presheaf Models for Concurrency Abstract   PDF
Gian Luca Cattani, Glynn Winskel
 
No 34 (1997): RS-34 Presheaf Models for the pi-Calculus Presheaf Models for the pi-Calculus Abstract   PDF
Gian Luca Cattani, Ian Stark, Glynn Winskel
 
No 10 (2004): RS-10 Probabilistic Event Structures and Domains Probabilistic Event Structures and Domains Abstract   PDF
Daniele Varacca, Hagen Völzer, Glynn Winskel
 
No 28 (1994): RS-28 Probabilistic Proof Systems Probabilistic Proof Systems Abstract   PDF
Oded Goldreich
 
No 22 (2004): RS-22 Profunctors, Open Maps and Bisimulation Profunctors, Open Maps and Bisimulation Abstract   PDF
Gian Luca Cattani, Glynn Winskel
 
No 12 (2005): RS-12 Program Extraction from Proofs of Weak Head Normalization Program Extraction from Proofs of Weak Head Normalization Abstract   PDF
Malgorzata Biernacka, Olivier Danvy, Kristian Støvring
 
No 31 (2002): RS-31 Proof Mining: A Systematic Way of Analysing Proofs in Mathematics Proof Mining: A Systematic Way of Analysing Proofs in Mathematics Abstract   PDF
Ulrich Kohlenbach, Paulo B. Oliva
 
No 61 (1996): RS-61 Proof of a Conjecture of S. Mac Lane Proof of a Conjecture of S. Mac Lane Abstract   PDF
Sergei Soloviev
 
No 30 (1997): RS-30 Proof Theory and Computational Analysis Proof Theory and Computational Analysis Abstract   PDF
Ulrich Kohlenbach
 
No 16 (1999): RS-16 Protein Folding in the 2D HP Model Protein Folding in the 2D HP Model Abstract   PDF
Rune B. Lyngsø, Christian N. S. Pedersen
 
No 29 (1998): RS-29 Proving in Zero-Knowledge that a Number is the Product of Two Safe Primes Proving in Zero-Knowledge that a Number is the Product of Two Safe Primes Abstract   PDF
Jan Camenisch, Markus Michels
 
No 1 (2000): RS-1 Pseudoknots in RNA Secondary Structures Pseudoknots in RNA Secondary Structures Abstract   PDF
Rune B. Lyngsø, Christian N. S. Pedersen
 
No 54 (1996): RS-54 Pushdown Processes: Games and Model Checking Pushdown Processes: Games and Model Checking Abstract   PDF
Igor Walukiewicz
 
No 40 (1997): RS-40 Quantum Entanglement and Communication Complexity Quantum Entanglement and Communication Complexity Abstract   PDF
Harry Buhrman, Richard Cleve, Wim van Dam
 
No 42 (2001): RS-42 Rationally Additive Semirings Rationally Additive Semirings Abstract   PDF
Zoltán Ésik, Werner Kuich
 
No 3 (2007): RS-3 Ready To Preorder: Get Your BCCSP Axiomatization for Free! Ready To Preorder: Get Your BCCSP Axiomatization for Free! Abstract   PDF
Luca Aceto, Willem Jan Fokkink, Anna Ingólfsdóttir
 
No 45 (1998): RS-45 Real-Time Layered Video Compression using SIMD Computation Real-Time Layered Video Compression using SIMD Computation Abstract   PDF
Morten Vadskær Jensen, Brian Nielsen
 
No 46 (2000): RS-46 Reasoning About Code-Generation in Two-Level Languages Reasoning About Code-Generation in Two-Level Languages Abstract   PDF
Zhe Yang
 
No 23 (2003): RS-23 Recent Advances in Sigma-definability over Continuous Data Types Recent Advances in Σ-definability over Continuous Data Types Abstract   PDF
Margarita Korovina
 
No 23 (2004): RS-23 Recursion vs. Replication in Simple Cryptographic Protocols Recursion vs. Replication in Simple Cryptographic Protocols Abstract   PDF
Hans Hüttel, Jirí Srba
 
No 47 (2003): RS-47 Recursive Ping-Pong Protocols Recursive Ping-Pong Protocols Abstract   PDF
Hans Hüttel, Jirí Srba
 
No 26 (2004): RS-26 Refocusing in Reduction Semantics Refocusing in Reduction Semantics Abstract   PDF
Olivier Danvy, Lasse R. Nielsen
 
No 4 (2008): RS-4 Refunctionalization at Work Refunctionalization at Work Abstract   PDF
Olivier Danvy, Kevin Millikin
 
No 7 (2007): RS-7 Refunctionalization at Work Refunctionalization at Work Abstract   PDF
Olivier Danvy, Kevin Millikin
 
No 28 (2003): RS-28 Regular Languages Definable by Lindström Quantifiers Regular Languages Definable by Lindström Quantifiers Abstract   PDF
Zoltán Ésik, Kim G. Larsen
 
No 20 (2002): RS-20 Regular Languages Definable by Lindström Quantifiers (Preliminary Version) Regular Languages Definable by Lindström Quantifiers (Preliminary Version) Abstract   PDF
Zoltán Ésik, Kim G. Larsen
 
No 32 (1996): RS-32 Regular Trace Event Structures Regular Trace Event Structures Abstract   PDF
P. S. Thiagarajan
 
No 24 (1997): RS-24 Relational Reasoning about Contexts Relational Reasoning about Contexts Abstract   PDF
Søren B. Lassen
 
No 36 (1997): RS-36 Relational Semantics of Non-Deterministic Dataflow Relational Semantics of Non-Deterministic Dataflow Abstract   PDF
Thomas Troels Hildebrandt, Prakash Panangaden, Glynn Winskel
 
No 9 (2005): RS-9 Reviewing Bounds on the Circuit Size of the Hardest Functions Reviewing Bounds on the Circuit Size of the Hardest Functions Abstract   PDF
Gudmund Skovbjerg Frandsen, Peter Bro Miltersen
 
No 51 (1996): RS-51 Rn and Gn Logics Rn and Gn Logics Abstract   PDF
Claus Hintermeier, Hélene Kirchner, Peter D. Mosses
 
No 21 (1996): RS-21 Rotation of Periodic Strings and Short Superstrings Rotation of Periodic Strings and Short Superstrings Abstract   PDF
Dany Breslauer, Tao Jiang, Zhigen Jiang
 
No 2 (2003): RS-2 Tagging, Encoding, and Jones Optimality RS-2 Tagging, Encoding, and Jones Optimality Abstract   PDF
Olivier Danvy, Pablo E. Martínez López
 
No 22 (2003): RS-22 Scalable Key-Escrow Scalable Key-Escrow Abstract   PDF
Ivan B. Damgård, Mads J. Jurik
 
No 48 (1996): RS-48 Scalings in Linear Programming: Necessary and Sufficient Conditions for Invariance Scalings in Linear Programming: Necessary and Sufficient Conditions for Invariance Abstract   PDF
Aleksandar Pekec
 
No 25 (1997): RS-25 Searching ConstantWidth Mazes Captures the AC0 Hierarchy Searching Constant Width Mazes Captures the AC0 Hierarchy Abstract   PDF
David A. Mix Barrington, Chi-Jen Lu, Peter Bro Miltersen, Sven Skyum
 
No 18 (2005): RS-18 Secure Computing, Economy, and Trust: A Generic Solution for Secure Auctions with Real-World Applications Secure Computing, Economy, and Trust: A Generic Solution for Secure Auctions with Real-World Applications Abstract   PDF
Peter Bogetoft, Ivan B. Damgård, Thomas Jakobsen, Kurt Nielsen, Jakob Pagter, Tomas Toft
 
No 29 (1994): RS-29 Secure Signature Schemes Based on Interactive Protocols Secure Signature Schemes Based on Interactive Protocols Abstract   PDF
Ronald Cramer, Ivan B. Damgård
 
No 1 (1994): RS-1 Semantics, Algorithmics and Logic: Basic Research in Computer Science. BRICS Inaugural Talk Semantics, Algorithmics and Logic: Basic Research in Computer Science. BRICS Inaugural Talk Abstract   PDF
Glynn Winskel
 
No 13 (1996): RS-13 Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation Abstract   PDF
Olivier Danvy, René Vestergaard
 
No 42 (1998): RS-42 Semantics, Modularity, and Rewriting Logic Semantics, Modularity, and Rewriting Logic Abstract   PDF
Peter D. Mosses
 
No 50 (1997): RS-50 Sequential Iteration of Interactive Arguments and an Efficient Zero-Knowledge Argument for NP Sequential Iteration of Interactive Arguments and an Efficient Zero-Knowledge Argument for NP Abstract   PDF
Ivan B. Damgård, Birgit Pfitzmann
 
No 48 (1995): RS-48 Simple Proofs of Occupancy Tail Bounds Simple Proofs of Occupancy Tail Bounds Abstract   PDF
Devdatt P. Dubhashi
 
No 27 (2002): RS-27 Simulating Uniform Hashing in Constant Time and Optimal Space Simulating Uniform Hashing in Constant Time and Optimal Space Abstract   PDF
Anna Östlin, Rasmus Pagh
 
No 18 (1999): RS-18 Solving Bit-Vector Equations of Fixed and Non-Fixed Size Solving Bit-Vector Equations of Fixed and Non-Fixed Size Abstract   PDF
M. Oliver Möller, Harald Ruess
 
No 49 (1995): RS-49 Solving Equations in the lambda-Calculus using Syntactic Encapsulation Solving Equations in the lambda-Calculus using Syntactic Encapsulation Abstract   PDF
Mayer Goldberg
 
No 13 (2002): RS-13 Solving the String Statistics Problem in Time O(n log n) Solving the String Statistics Problem in Time O(n log n) Abstract   PDF
Gerth Stølting Brodal, Rune B. Lyngsø, Anna Östlin, Christian N. S. Pedersen
 
No 18 (2001): RS-18 Some Complexity Problems on Single Input Double Output Controllers Some Complexity Problems on Single Input Double Output Controllers Abstract   PDF
Katalin M. Hangos, Zsolt Tuza, Anders Yeo
 
No 51 (1997): RS-51 Some Lambda Calculus and Type Theory Formalized Some Lambda Calculus and Type Theory Formalized Abstract   PDF
James McKinna, Robert Pollack
 
No 21 (2003): RS-21 Some Logical Metatheorems with Applications in Functional Analysis Some Logical Metatheorems with Applications in Functional Analysis Abstract   PDF
Ulrich Kohlenbach
 
No 39 (2002): RS-39 Some Remarks on Regular Words Some Remarks on Regular Words Abstract   PDF
Stephen L. Bloom, Zoltán Ésik
 
No 28 (1997): RS-28 Span Programs and General Secure Multi-Party Computation Span Programs and General Secure Multi-Party Computation Abstract   PDF
Ronald Cramer, Ivan B. Damgård, Ueli Maurer
 
No 60 (1995): RS-60 Specification and Automated Verification of Real-Time Behaviour —A Case Study Specification and Automated Verification of Real-Time Behaviour —A Case Study Abstract   PDF
Jørgen H. Andersen, Carsten H. Kristensen, Arne Skou
 
No 1 (2004): RS-1 Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge Abstract   PDF
Luca Aceto, Willem Jan Fokkink, Anna Ingólfsdóttir, Bas Luttik
 
No 13 (1994): RS-13 Stable Bistructure Models of PCF Stable Bistructure Models of PCF Abstract   PDF
Glynn Winskel
 
No 24 (2002): RS-24 Static Analysis for Dynamic XML Static Analysis for Dynamic XML Abstract   PDF
Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach
 
No 1 (2008): RS-1 Not published Static Analysis for Event-Based XML Processing Abstract
Anders Møller
 
No 16 (2006): RS-16 Static Analysis for Event-Based XML Processing Static Analysis for Event-Based XML Processing Abstract   PDF
Anders Møller
 
No 8 (2006): RS-8 Static Analysis for Java Servlets and JSP Static Analysis for Java Servlets and JSP Abstract   PDF
Christian Kirkegaard, Anders Møller
 
No 10 (2006): RS-10 Static Analysis for Java Servlets and JSP Static Analysis for Java Servlets and JSP Abstract   PDF
Christian Kirkegaard, Anders Møller
 
No 19 (2003): RS-19 Static Analysis of XML Transformations in Java Static Analysis of XML Transformations in Java Abstract   PDF
Christian Kirkegaard, Anders Møller, Michael I. Schwartzbach
 
No 9 (2001): RS-9 Static Validation of Dynamically Generated HTML Static Validation of Dynamically Generated HTML Abstract   PDF
Claus Brabrand, Anders Møller, Michael I. Schwartzbach
 
No 32 (2005): RS-32 Static Validation of XSL Transformations Static Validation of XSL Transformations Abstract   PDF
Anders Møller, Mads Østerby Olesen, Michael I. Schwartzbach
 
No 45 (1996): RS-45 Statistical Secrecy and MultiBit Commitments Statistical Secrecy and Multi-Bit Commitments Abstract   PDF
Ivan B. Damgård, Torben P. Pedersen, Birgit Pfitzmann
 
No 16 (2002): RS-16 Strong Bisimilarity of Simple Process Algebras: Complexity Lower Bounds Strong Bisimilarity of Simple Process Algebras: Complexity Lower Bounds Abstract   PDF
Jirí Srba
 
No 33 (1994): RS-33 Strong Concatenable Processes: An Approach to the Category of Petri Net Computations Strong Concatenable Processes: An Approach to the Category of Petri Net Computations Abstract   PDF
Vladimiro Sassone
 
No 31 (2004): RS-31 Strongly Uniform Bounds from Semi-Constructive Proofs Strongly Uniform Bounds from Semi-Constructive Proofs Abstract   PDF
Philipp Gerhardy, Ulrich Kohlenbach
 
No 43 (1997): RS-43 Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation (Preliminary Version) Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation (Preliminary Version) Abstract   PDF
Vincent Balat, Olivier Danvy
 
No 13 (2004): RS-13 Strong Privacy Protection in Electronic Voting Strong Privacy Protection in Electronic Voting Abstract   PDF
Jens Groth, Gorm Salomonsen
 
No 30 (1999): RS-30 Structural Operational Semantics Structural Operational Semantics Abstract   PDF
Luca Aceto, Willem Jan Fokkink, Chris Verhoef
 
No 46 (1999): RS-46 Super-Polynomial Versus Half-Exponential Circuit Size in the Exponential Hierarchy Super-Polynomial Versus Half-Exponential Circuit Size in the Exponential Hierarchy Abstract   PDF
Peter Bro Miltersen, Vinodchandran N. Variyam, Osamu Watanabe
 
No 41 (2004): RS-41 Sur un Exemple de Patrick Greussay Sur un Exemple de Patrick Greussay Abstract   PDF
Olivier Danvy
 
No 31 (1994): RS-31 Symmetric Logspace is Closed Under Complement Symmetric Logspace is Closed Under Complement Abstract   PDF
Noam Nisan, Amnon Ta-Shma
 
No 54 (2001): RS-54 Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation Abstract   PDF
Daniel Damian, Olivier Danvy
 
No 15 (2000): RS-15 Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation Abstract   PDF
Daniel Damian, Olivier Danvy
 
No 18 (2003): RS-18 Syntactic Formats for Free: An Abstract Approach to Process Equivalence Syntactic Formats for Free: An Abstract Approach to Process Equivalence Abstract   PDF
Bartek Klin, Pawel Sobocinski
 
No 4 (2002): RS-4 Syntactic Theories in Practice Syntactic Theories in Practice Abstract   PDF
Olivier Danvy, Lasse R. Nielsen
 
No 31 (2001): RS-31 Syntactic Theories in Practice Syntactic Theories in Practice Abstract   PDF
Olivier Danvy, Lasse R. Nielsen
 
No 22 (1997): RS-22 Syntax and Semantics of the logic L_omega omega^lambda Syntax and Semantics of the logic L_omega omega^lambda Abstract   PDF
Carsten Butz
 
No 48 (1994): RS-48 Synthesizing Distinguishing Formulae for Real Time Systems Synthesizing Distinguishing Formulae for Real Time Systems Abstract   PDF
Jens Chr. Godskesen
 
No 26 (1995): RS-26 Tables should be sorted (on random access machines) Tables should be sorted (on random access machines) Abstract   PDF
Faith Fich, Peter Bro Miltersen
 
No 24 (1998): RS-24 Talagrand’s Inequality and Locality in Distributed Computing Talagrand’s Inequality and Locality in Distributed Computing Abstract   PDF
Devdatt P. Dubhashi
 
No 25 (1998): RS-25 Talagrand’s Inequality in Hereditary Settings Talagrand’s Inequality in Hereditary Settings Abstract   PDF
Devdatt P. Dubhashi
 
No 48 (2001): RS-48 Temporal Concurrent Constraint Programming: Applications and Behavior Temporal Concurrent Constraint Programming: Applications and Behavior Abstract   PDF
Mogens Nielsen, Frank D. Valencia
 
No 13 (2007): RS-13 Not published Temporal Logics Beyond Regularity Abstract
Martin Lange
 
No 53 (2001): RS-53 Temporal Logic with Cyclic Counting and the Degree of Aperiodicity of Finite Automata Temporal Logic with Cyclic Counting and the Degree of Aperiodicity of Finite Automata Abstract   PDF
Zoltán Ésik, Masami Ito
 
No 50 (1998): RS-50 Testing Hennessy-Milner Logic with Recursion Testing Hennessy-Milner Logic with Recursion Abstract   PDF
Luca Aceto, Anna Ingólfsdóttir
 
No 12 (2001): RS-12 The Abstraction and Instantiation of String-Matching Programs The Abstraction and Instantiation of String-Matching Programs Abstract   PDF
Torben Amtoft, Charles Consel, Olivier Danvy, Karoline Malmkjær
 
No 29 (2000): RS-29 The Alternation Hierarchy for the Theory of u-lattices The Alternation Hierarchy for the Theory of mu-lattices Abstract   PDF
Luigi Santocanale
 
No 1 (2002): RS-1 The bigwig Project The bigwig Project Abstract   PDF
Claus Brabrand, Anders Møller, Michael I. Schwartzbach
 
No 42 (2000): RS-42 The bigwig Project The bigwig Project Abstract   PDF
Claus Brabrand, Anders Møller, Michael I. Schwartzbach
 
No 28 (1996): RS-28 The Buffer Tree: A New Technique for Optimal I/O Algorithms The Buffer Tree: A New Technique for Optimal I/O Algorithms Abstract   PDF
Lars Arge
 
No 44 (2003): RS-44 The Cell Probe Complexity of Succinct Data Structures The Cell Probe Complexity of Succinct Data Structures Abstract   PDF
Anna Gál, Peter Bro Miltersen
 
No 17 (2003): RS-17 The Complexity of Checking Consistency of Pedigree Information and Related Problems The Complexity of Checking Consistency of Pedigree Information and Related Problems Abstract   PDF
Luca Aceto, Jens Alsted Hansen, Anna Ingólfsdóttir, Jacob Johnsen, John Knudsen
 
No 42 (1996): RS-42 The Complexity of Computing the k-ary Composition of a Binary Associative Operator The Complexity of Computing the k-ary Composition of a Binary Associative Operator Abstract   PDF
Gerth Stølting Brodal, Sven Skyum
 
No 1 (2001): RS-1 The Complexity of Constructing Evolutionary Trees Using Experiments The Complexity of Constructing Evolutionary Trees Using Experiments Abstract   PDF
Gerth Stølting Brodal, Rolf Fagerberg, Christian N. S. Pedersen, Anna Östlin
 
No 34 (1998): RS-34 The Complexity of Identifying Large Equivalence Classes The Complexity of Identifying Large Equivalence Classes Abstract   PDF
Peter G. Binderup, Gudmund Skovbjerg Frandsen, Peter Bro Miltersen, Sven Skyum
 
No 33 (1996): RS-33 The Computational Complexity of Some Problems of Linear Algebra The Computational Complexity of Some Problems of Linear Algebra Abstract   PDF
Jonathan F. Buss, Gudmund Skovbjerg Frandsen, Jeffery O. Shallit
 
No 41 (1998): RS-41 The Computational Strength of Extensions of Weak König’s Lemma The Computational Strength of Extensions of Weak König’s Lemma Abstract   PDF
Ulrich Kohlenbach
 
No 20 (1995): RS-20 The Constructive Lift Monad The Constructive Lift Monad Abstract   PDF
Anders Kock
 
No 34 (2004): RS-34 The Design Space of Type Checkers for XML Transformation Languages The Design Space of Type Checkers for XML Transformation Languages Abstract   PDF
Anders Møller, Michael I. Schwartzbach
 
No 41 (2000): RS-41 The DSD Schema Language and its Applications The DSD Schema Language and its Applications Abstract   PDF
Nils Klarlund, Anders Møller, Michael I. Schwartzbach
 
No 22 (2001): RS-22 The Equational Theory of Fixed Points with Applications to Generalized Language Theory The Equational Theory of Fixed Points with Applications to Generalized Language Theory Abstract   PDF
Zoltán Ésik
 
No 41 (1996): RS-41 The Fixpoint Bounded-Variable Queries are PSPACE-Complete The Fixpoint Bounded-Variable Queries are PSPACE-Complete Abstract   PDF
Stefan Dziembowski
 
No 15 (1995): RS-15 The Fourth Moment in Luby's Distribution The Fourth Moment in Luby's Distribution Abstract   PDF
Devdatt P. Dubhashi, Grammati E. Pantziou, Paul G. Spirakis, Christos D. Zaroliagis
 
No 15 (2004): RS-15 The Full Abstraction of the UC Framework The Full Abstraction of the UC Framework Abstract   PDF
Jesús Fernando Almansa
 
No 13 (1995): RS-13 The Girard Translation Extended with Recursion The Girard Translation Extended with Recursion Abstract   PDF
Torben Braüner
 
No 14 (1998): RS-14 The Hardness of Speeding-up Knapsack The Hardness of Speeding-up Knapsack Abstract   PDF
Sandeep Sen
 
No 46 (2001): RS-46 The Implicit Computational Complexity of Imperative Programming Languages The Implicit Computational Complexity of Imperative Programming Languages Abstract   PDF
Lars Kristiansen
 
No 29 (1996): RS-29 The I/O-Complexity of Ordered Binary-Decision Diagram Manipulation The I/O-Complexity of Ordered Binary-Decision Diagram Manipulation Abstract   PDF
Lars Arge
 
No 14 (1994): RS-14 The Limit View of Infinite Computations The Limit View of Infinite Computations Abstract   PDF
Nils Klarlund
 
No 33 (1999): RS-33 The Max-Plus Algebra of the Natural Numbers has no Finite Equational Basis The Max-Plus Algebra of the Natural Numbers has no Finite Equational Basis Abstract   PDF
Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir
 
No 32 (2000): RS-32 The Meaning of Types From Intrinsic to Extrinsic Semantics The Meaning of Types From Intrinsic to Extrinsic Semantics Abstract   PDF
John C. Reynolds
 
No 7 (2003): RS-7 The METAFRONT System: Extensible Parsing and Transformation The METAFRONT System: Extensible Parsing and Transformation Abstract   PDF
Claus Brabrand, Michael I. Schwartzbach, Mads Vanggaard
 
No 3 (1996): RS-3 The Modified Realizability Topos The Modified Realizability Topos Abstract   PDF
Jaap van Oosten
 
No 53 (1996): RS-53 Theory and Practice of Action Semantics Theory and Practice of Action Semantics Abstract   PDF
Peter D. Mosses
 
No 39 (2000): RS-39 The Pointer Assertion Logic Engine The Pointer Assertion Logic Engine Abstract   PDF
Anders Møller, Michael I. Schwartzbach
 
No 38 (2002): RS-38 The Powerdomain of Indexed Valuations The Powerdomain of Indexed Valuations Abstract   PDF
Daniele Varacca
 
No 48 (1998): RS-48 The Power of Reachability Testing for Timed Automata The Power of Reachability Testing for Timed Automata Abstract   PDF
Luca Aceto, Patricia Bouyer, Augusto Burgueno, Kim G. Larsen
 
No 40 (1996): RS-40 The Randomized Complexity of Maintaining the Minimum The Randomized Complexity of Maintaining the Minimum Abstract   PDF
Gerth Stølting Brodal, Shiva Chaudhuri, Jaikumar Radhakrishnan
 
No 12 (2002): RS-12 There and Back Again There and Back Again Abstract   PDF
Olivier Danvy, Mayer Goldberg
 
No 3 (2005): RS-3 There and Back Again There and Back Again Abstract   PDF
Olivier Danvy, Mayer Goldberg
 
No 39 (2001): RS-39 There and Back Again There and Back Again Abstract   PDF
Olivier Danvy, Mayer Goldberg
 
No 46 (2003): RS-46 The Role of Quantifier Alternations in Cut Elimination The Role of Quantifier Alternations in Cut Elimination Abstract   PDF
Philipp Gerhardy
 
No 11 (2007): RS-11 The Saga of the Axiomatization of Parallel Composition The Saga of the Axiomatization of Parallel Composition Abstract   PDF
Luca Aceto, Anna Ingólfsdóttir
 
No 40 (1999): RS-40 The Second Futamura Projection for Type-Directed Partial Evaluation The Second Futamura Projection for Type-Directed Partial Evaluation Abstract   PDF
Bernd Grobauer, Zhe Yang
 
No 44 (2000): RS-44 The Second Futamura Projection for Type-Directed Partial Evaluation The Second Futamura Projection for Type-Directed Partial Evaluation Abstract   PDF
Bernd Grobauer, Zhe Yang
 
No 9 (2007): RS-9 Not published The SMCL Language Specification Abstract
Janus Dam Nielsen
 
No 47 (1995): RS-47 The Suffix Tree of a Tree and Minimizing Sequential Transducers The Suffix Tree of a Tree and Minimizing Sequential Transducers Abstract   PDF
Dany Breslauer
 
No 18 (1998): RS-18 Things that can and things that can’t be done in PRA Things that can and things that can’t be done in PRA Abstract   PDF
Ulrich Kohlenbach
 
No 19 (1996): RS-19 Thunks and the lambda-Calculus Thunks and the lambda-Calculus Abstract   PDF
John Hatcliff, Olivier Danvy
 
No 7 (1997): RS-07 Thunks and the lambda-Calculus (Extended Version) Thunks and the lambda-Calculus (Extended Version) Abstract   PDF
John Hatcliff, Olivier Danvy
 
No 35 (2002): RS-35 Timed Automata May Cause Some Troubles Timed Automata May Cause Some Troubles Abstract   PDF
Patricia Bouyer
 
No 4 (1998): RS-04 Timed Bisimulation and Open Maps Timed Bisimulation and Open Maps Abstract   PDF
Mogens Nielsen, Thomas S. Hune
 
No 11 (1997): RS-11 Timed Modal Specification —Theory and Tools Timed Modal Specification —Theory and Tools Abstract   PDF
Karlis Cerans, Jens Chr. Godskesen, Kim G. Larsen
 
No 57 (1995): RS-57 Topological Aspects of Traces Topological Aspects of Traces Abstract   PDF
Jaap van Oosten
 
No 21 (1997): RS-21 Topological Completeness for Higher-Order Logic Topological Completeness for Higher-Order Logic Abstract   PDF
Steve Awodey, Carsten Butz
 
No 52 (1999): RS-52 Towards a Theory of Regular MSC Languages Towards a Theory of Regular MSC Languages Abstract   PDF
Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan
 
No 7 (2008): RS-7 Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: ... Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines Abstract   PDF
Olivier Danvy
 
No 44 (1998): RS-44 Towards Re-usable Real-Time Objects Towards Re-usable Real-Time Objects Abstract   PDF
Brian Nielsen, Gul Agha
 
No 12 (1997): RS-12 Trans-Dichotomous Algorithms without Multiplication —some Upper and Lower Bounds Trans-Dichotomous Algorithms without Multiplication —some Upper and Lower Bounds Abstract   PDF
Andrej Brodnik, Peter Bro Miltersen, J. Ian Munro
 
No 10 (1995): RS-10 Transforming Comparison Model Lower Bounds to the PRAM Transforming Comparison Model Lower Bounds to the PRAM Abstract   PDF
Dany Breslauer, Devdatt P. Dubhashi
 
No 10 (1997): RS-10 Transition Systems with Independence and Multi-Arcs Transition Systems with Independence and Multi-Arcs Abstract   PDF
Thomas Troels Hildebrandt, Vladimiro Sassone
 
No 6 (2001): RS-6 Traveling Salesman Should not be Greedy: Domination Analysis of Greedy-Type Heuristics for the TSP Traveling Salesman Should not be Greedy: Domination Analysis of Greedy-Type Heuristics for the TSP Abstract   PDF
Gregory Gutin, Anders Yeo, Alexey Zverovich
 
No 31 (1995): RS-31 Trust in the lambda-calculus Trust in the lambda-calculus Abstract   PDF
Jens Palsberg, Peter Ørbæk
 
No 3 (1999): RS-3 Two Notes on the Computational Complexity of One-Dimensional Sandpiles Two Notes on the Computational Complexity of One-Dimensional Sandpiles Abstract   PDF
Peter Bro Miltersen
 
No 35 (2004): RS-35 Type Checking Semantic Functions in ASDF Type Checking Semantic Functions in ASDF Abstract   PDF
Jørgen Iversen
 
No 31 (2005): RS-31 Type Checking with XML Schema in XACT Type Checking with XML Schema in XACT Abstract   PDF
Christian Kirkegaard, Anders Møller
 
No 8 (1995): RS-08 Type Inference of Turbo Pascal Type Inference of Turbo Pascal Abstract   PDF
Ole I. Hougaard, Michael I. Schwartzbach, Hosein Askari
 
No 33 (1995): RS-33 Type Inference with Nonstructural Subtyping Type Inference with Nonstructural Subtyping Abstract   PDF
Jens Palsberg, Mitchell Wand, Patrick O'Keefe
 
No 34 (1995): RS-34 Type Inference with Selftype Type Inference with Selftype Abstract   PDF
Jens Palsberg
 
No 7 (2006): RS-7 Undecidability Results for Bisimilarity on Prefix Rewrite Systems Undecidability Results for Bisimilarity on Prefix Rewrite Systems Abstract   PDF
Petr Jancar, Jirí Srba
 
No 36 (2003): RS-36 Unfair Noisy Channels and Oblivious Transfer Unfair Noisy Channels and Oblivious Transfer Abstract   PDF
Ivan B. Damgård, Serge Fehr, Kirill Morozov, Louis Salvail
 
No 5 (1994): RS-5 Unified Algebras and Abstract Syntax Unified Algebras and Abstract Syntax Abstract   PDF
Peter D. Mosses
 
No 10 (2002): RS-10 Uniform Asymptotic Regularity for Mann Iterates Uniform Asymptotic Regularity for Mann Iterates Abstract   PDF
Ulrich Kohlenbach
 
No 20 (1998): RS-20 Uniformly Generated Submodules of Permutation Modules Uniformly Generated Submodules of Permutation Modules Abstract   PDF
Søren Riis, Meera Sitharam
 
No 37 (2001): RS-37 Universal Hash Proofs and a Paradigm for Adaptive Chosen Ciphertext Secure Public-Key Encryption Universal Hash Proofs and a Paradigm for Adaptive Chosen Ciphertext Secure Public-Key Encryption Abstract   PDF
Ronald Cramer, Victor Shoup
 
No 58 (1996): RS-58 UPPAAL—a Tool Suite for Automatic Verification of Real–Time Systems UPPAAL—a Tool Suite for Automatic Verification of Real–Time Systems Abstract   PDF
Johan Bengtsson, Kim G. Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
 
No 60 (1996): RS-60 UPPAAL in 1995 UPPAAL in 1995 Abstract   PDF
Johan Bengtsson, Kim G. Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
 
No 22 (2000): RS-22 Using Automata in Control Synthesis. A Case Study Using Automata in Control Synthesis. A Case Study Abstract   PDF
Thomas S. Hune, Anders B. Sandholm
 
No 43 (2002): RS-43 Using IDDs for Packet Filtering Using IDDs for Packet Filtering Abstract   PDF
Mikkel Christiansen, Emmanuel Fleury
 
No 32 (1998): RS-32 Verifiable Encryption and Applications to Group Signatures and Signature Sharing Verifiable Encryption and Applications to Group Signatures and Signature Sharing Abstract   PDF
Jan Camenisch, Ivan B. Damgård
 
No 41 (1999): RS-41 Verification of State/Event Systems by Quotienting Verification of State/Event Systems by Quotienting Abstract   PDF
Nicky O. Bodentien, Jacob Vestergaard, Jacob Friis, Kåre J. Kristoffersen, Kim G. Petersen
 
No 13 (2006): RS-13 Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation Abstract   PDF
Jirí Srba
 
No 34 (1999): RS-34 Wavelet Based 3D Compression for Very Large Volume Data Supporting Fast Random Access Wavelet Based 3D Compression for Very Large Volume Data Supporting Fast Random Access Abstract   PDF
Flemming Friche Rodler
 
No 14 (1999): RS-14 Weak Bisimulation and Open Maps Weak Bisimulation and Open Maps Abstract   PDF
Marcelo P. Fiore, Gian Luca Cattani, Glynn Winskel
 
No 43 (1996): RS-43 Weak Semantics Based on Lighted Button Pressing Experiments. An Alternative Characterization of the Readiness Sem Weak Semantics Based on Lighted Button Pressing Experiments. An Alternative Characterization of the Readiness Semantics Abstract   PDF
Anna Ingólfsdóttir
 
No 43 (1999): RS-43 What is a ‘Good’ Encoding of Guarded Choice? What is a ‘Good’ Encoding of Guarded Choice? Abstract   PDF
Uwe Nestmann
 
No 45 (1997): RS-45 What Is a ‘Good’ Encoding of Guarded Choice? What Is a ‘Good’ Encoding of Guarded Choice? Abstract   PDF
Uwe Nestmann
 
No 10 (2003): RS-10 Wireless Authentication in chi-Spaces Wireless Authentication in chi-Spaces Abstract   PDF
Federico Crazzolara, Giuseppe Milicia
 
No 9 (2004): RS-9 Zero-Knowledge Proofs and String Commitments Withstanding Quantum Attacks Zero-Knowledge Proofs and String Commitments Withstanding Quantum Attacks Abstract   PDF
Ivan B. Damgård, Serge Fehr, Louis Salvail
 
No 27 (1997): RS-27 Zero-Knowledge Proofs for Finite Field Arithmetic or: Can Zero-Knowledge be for Free? Zero-Knowledge Proofs for Finite Field Arithmetic or: Can Zero-Knowledge be for Free? Abstract   PDF
Ronald Cramer, Ivan B. Damgård
 
351 - 670 of 670 Items << < 1 2 
This website uses cookies to allow us to see how the site is used. The cookies cannot identify you or any content at your own computer.
OK