Browse Title Index


 
Issue Title
 
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 39 (2001): RS-39 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 12 (2002): RS-12 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
 
601 - 670 of 670 Items << < 1 2 3 
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