Browse Title Index


 
Issue Title
 
No 20 (2000): RS-20 2-Nested Simulation is not Finitely Equationally Axiomatizable 2-Nested Simulation is not Finitely Equationally Axiomatizable Abstract   PDF
Luca Aceto, Willem Jan Fokkink, Anna Ingólfsdóttir
 
No 2 (1997): RS-02 Abstract Interpretation in the Operational Semantics Hierarchy Abstract Interpretation in the Operational Semantics Hierarchy Abstract   PDF
David A. Schmidt
 
No 27 (2005): RS-27 A Calculus for Context-Awareness A Calculus for Context-Awareness Abstract   PDF
Pascal Zimmer
 
No 15 (2001): RS-15 A Calculus of Circular Proofs and its Categorical Semantics A Calculus of Circular Proofs and its Categorical Semantics Abstract   PDF
Luigi Santocanale
 
No 17 (2007): RS-17 Not published A Cancellation Theorem for BCCSP Abstract
Luca Aceto, Willem Jan Fokkink, Anna Ingólfsdóttir
 
No 15 (2007): RS-15 Not published A Case for Dynamic Reverse-code Generation Abstract
Jooyong Lee
 
No 54 (1995): RS-54 A Case Study in Automated Verification Based on Trace Abstractions A Case Study in Automated Verification Based on Trace Abstractions Abstract   PDF
Nils Klarlund, Mogens Nielsen, Kim Sunesen
 
No 22 (1998): RS-22 A Categorical Axiomatics for Bisimulation A Categorical Axiomatics for Bisimulation Abstract   PDF
Gian Luca Cattani, John Power, Glynn Winskel
 
No 26 (1997): RS-26 A Characterization of Finitary Bisimulation A Characterization of Finitary Bisimulation Abstract   PDF
Luca Aceto, Anna Ingólfsdóttir
 
No 1 (1996): RS-1 A Communication Complexity Proof that Symmetric Functions have Logarithmic Depth A Communication Complexity Proof that Symmetric Functions have Logarithmic Depth Abstract   PDF
Gerth Stølting Brodal, Thore Husfeldt
 
No 17 (1998): RS-17 A Comparison of Petri Net Semantics under the Collective Token Philosophy A Comparison of Petri Net Semantics under the Collective Token Philosophy Abstract   PDF
Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
 
No 26 (2001): RS-26 A Complete Axiomatization of Simulation for Regular CCS Expressions A Complete Axiomatization of Simulation for Regular CCS Expressions Abstract   PDF
Ulrik Frendrup, Jesper Nyholm Jensen
 
No 43 (1994): RS-43 A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours (Revised Version) A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours (Revised Version) Abstract   PDF
Luca Aceto
 
No 4 (2007): RS-4 A Complete, Co-Inductive Syntactic Theory of Sequential Control and State A Complete, Co-Inductive Syntactic Theory of Sequential Control and State Abstract   PDF
Kristian Støvring, Søren B. Lassen
 
No 6 (1995): RS-06 A Complete Deductive System for the mu-Calculus A Complete Deductive System for the mu-Calculus Abstract   PDF
Igor Walukiewicz
 
No 28 (1995): RS-28 A Complete Equational Axiomatization for MPA with String Iteration A Complete Equational Axiomatization for MPA with String Iteration Abstract   PDF
Luca Aceto, Jan Friso Groote
 
No 5 (1995): RS-05 A Complete Equational Axiomatization for Prefix Iteration with Silent Steps A Complete Equational Axiomatization for Prefix Iteration with Silent Steps Abstract   PDF
Luca Aceto, Anna Ingólfsdóttir
 
No 12 (2003): RS-12 A Complexity Analysis of Functional Interpretations. A Complexity Analysis of Functional Interpretations Abstract   PDF
Mircea-Dan Hernest, Ulrich Kohlenbach
 
No 29 (1999): RS-29 A Complexity Gap for Tree-Resolution A Complexity Gap for Tree-Resolution Abstract   PDF
Søren Riis
 
No 55 (1996): RS-55 A Compositional Proof of a Real-Time Mutual Exclusion Protocol A Compositional Proof of a Real-Time Mutual Exclusion Protocol Abstract   PDF
Kåre J. Kristoffersen, Francois Laroussinie, Kim G. Petersen, Paul Pettersson, Wang Yi
 
No 40 (1998): RS-40 A Compositional Proof System for the Modal mu-Calculus A Compositional Proof System for the Modal mu-Calculus Abstract   PDF
Henrik Reif Andersen, Colin Stirling, Glynn Winskel
 
No 34 (1994): RS-34 A Compositional Proof System for the Modal mu-Calculus A Compositional Proof System for the Modal mu-Calculus Abstract   PDF
Henrik Reif Andersen, Colin Stirling, Glynn Winskel
 
No 34 (1996): RS-34 A Computational Formalization for Partial Evaluation (Extended Version) A Computational Formalization for Partial Evaluation (Extended Version) Abstract   PDF
John Hatcliff, Olivier Danvy
 
No 15 (2005): RS-15 A Concrete Framework for Environment Machines A Concrete Framework for Environment Machines Abstract   PDF
Malgorzata Biernacka, Olivier Danvy
 
No 3 (2006): RS-3 A Concrete Framework for Environment Machines A Concrete Framework for Environment Machines Abstract   PDF
Malgorzata Biernacka, Olivier Danvy
 
No 47 (1994): RS-47 A Constraint Oriented Proof Methodology based on Modal Transition Systems A Constraint Oriented Proof Methodology based on Modal Transition Systems Abstract   PDF
Kim G. Larsen
 
No 49 (1998): RS-49 A Cook’s Tour of Equational Axiomatizations for Prefix Iteration A Cook’s Tour of Equational Axiomatizations for Prefix Iteration Abstract   PDF
Luca Aceto, Willem Jan Fokkink, Anna Ingólfsdóttir
 
No 46 (1996): RS-46 A Decision Algorithm for Linear Isomorphism of Types with Complexity Cn(log2(n)) A Decision Algorithm for Linear Isomorphism of Types with Complexity Cn(log2(n)) Abstract   PDF
Alexander E. Andreev, Sergei Soloviev
 
No 3 (1997): RS-03 A Definability Theorem for First Order Logic A Definability Theorem for First Order Logic Abstract   PDF
Carsten Butz, Ieke Moerdijk
 
No 40 (2003): RS-40 A Denotational Account of Untyped Normalization by Evaluation A Denotational Account of Untyped Normalization by Evaluation Abstract   PDF
Andrzej Filinski, Henning Korsholm Rohde
 
No 47 (2000): RS-47 A Denotational Investigation of Defunctionalization A Denotational Investigation of Defunctionalization Abstract   PDF
Lasse R. Nielsen
 
No 31 (2003): RS-31 Adhesive Categories Adhesive Categories Abstract   PDF
Stephen Lack, Pawel Sobocinski
 
No 48 (2000): RS-48 A Discrete Stratety Improvement Algorithm for Solving Parity Games A Discrete Stratety Improvement Algorithm for Solving Parity Games Abstract   PDF
Marcin Jurdzinski, Jens Vöge
 
No 15 (2006): RS-15 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations Abstract   PDF
Dariusz Biernacki, Olivier Danvy, Kevin Millikin
 
No 16 (2005): RS-16 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations Abstract   PDF
Dariusz Biernacki, Olivier Danvy, Kevin Millikin
 
No 5 (2005): RS-5 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations (Preliminary Version) A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations (Preliminary Version) Abstract   PDF
Dariusz Biernacki, Olivier Danvy, Kevin Millikin
 
No 6 (2006): RS-6 A Finite Equational Base for CCS with Left Merge and Communication Merge A Finite Equational Base for CCS with Left Merge and Communication Merge Abstract   PDF
Luca Aceto, Willem Jan Fokkink, Anna Ingólfsdóttir, Bas Luttik
 
No 49 (2001): RS-49 A First-Order One-Pass CPS Transformation A First-Order One-Pass CPS Transformation Abstract   PDF
Olivier Danvy, Lasse R. Nielsen
 
No 7 (2002): RS-7 A Formalization of Linkage Analysis A Formalization of Linkage Analysis Abstract   PDF
Anna Ingólfsdóttir, Anders Lyhne Christensen, Jens Alsted Hansen, Jacob Johnsen, John Knudsen, Jacob Illum Rasmussen
 
No 2 (2006): RS-2 A Formal Model for Context-Awareness A Formal Model for Context-Awareness Abstract   PDF
Mikkel Baun Kjærgaard, Jonathan Bunde-Pedersen
 
No 4 (2003): RS-4 A Formal Model for Trust in Dynamic Networks A Formal Model for Trust in Dynamic Networks Abstract   PDF
Marco Carbone, Mogens Nielsen, Vladimiro Sassone
 
No 34 (2002): RS-34 A Foundation for Embedded Languages A Foundation for Embedded Languages Abstract   PDF
Morten Rhiger
 
No 24 (1994): RS-24 A Fractal which violates the Axiom of Determinacy A Fractal which violates the Axiom of Determinacy Abstract   PDF
Søren Riis
 
No 23 (2005): RS-23 A Framework for Concrete Reputation-Systems A Framework for Concrete Reputation-Systems Abstract   PDF
Karl Krukow, Mogens Nielsen, Vladimiro Sassone
 
No 40 (1995): RS-40 A Fully Abstract Denotational Model for Observational Congruence A Fully Abstract Denotational Model for Observational Congruence Abstract   PDF
Anna Ingólfsdóttir, Andrea Schalk
 
No 28 (1999): RS-28 A Fully Abstract Presheaf Semantics of SCCS with Finite Delay A Fully Abstract Presheaf Semantics of SCCS with Finite Delay Abstract   PDF
Thomas Troels Hildebrandt
 
No 28 (2001): RS-28 A Fully Equational Proof of Parikh's Theorem A Fully Equational Proof of Parikh's Theorem Abstract   PDF
Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir
 
No 24 (2003): RS-24 A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines Abstract
Mads Sig Ager, Olivier Danvy, Jan Midtgaard
 
No 3 (2004): RS-3 A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines Abstract   PDF
Mads Sig Ager, Olivier Danvy, Jan Midtgaard
 
No 13 (2003): RS-13 A Functional Correspondence between Evaluators and Abstract Machines A Functional Correspondence between Evaluators and Abstract Machines Abstract   PDF
Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard
 
No 28 (2004): RS-28 A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational... A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects Abstract   PDF
Mads Sig Ager, Olivier Danvy, Jan Midtgaard
 
No 35 (2003): RS-35 A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational... A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects Abstract   PDF
Mads Sig Ager, Olivier Danvy, Jan Midtgaard
 
No 22 (1994): RS-22 A General Adequacy Result for a Linear Functional Language A General Adequacy Result for a Linear Functional Language Abstract   PDF
Torben Braüner
 
No 45 (2000): RS-45 A Generalisation, a Simplification and some Applications of Paillier’s Probabilistic Public-Key System A Generalisation, a Simplification and some Applications of Paillier’s Probabilistic Public-Key System Abstract   PDF
Ivan B. Damgård, Mads J. Jurik
 
No 35 (2001): RS-35 A General Schema for Constructing One-Point Bases in the Lambda Calculus A General Schema for Constructing One-Point Bases in the Lambda Calculus Abstract   PDF
Mayer Goldberg
 
No 27 (1998): RS-27 A Group Signature Scheme Based on an RSA-Variant A Group Signature Scheme Based on an RSA-Variant Abstract   PDF
Jan Camenisch, Markus Michels
 
No 27 (2001): RS-27 A Higher-Order Calculus for Categories A Higher-Order Calculus for Categories Abstract   PDF
Mario Jose Cáccamo, Glynn Winskel
 
No 33 (2000): RS-33 A Higher-Order Colon Translation A Higher-Order Colon Translation Abstract   PDF
Olivier Danvy, Lasse R. Nielsen
 
No 44 (1994): RS-44 A HOL Basis for Reasoning about Functional Programs A HOL Basis for Reasoning about Functional Programs Abstract   PDF
Sten Agerholm
 
No 11 (1994): RS-11 A Homomorphism Concept for omega-Regularity A Homomorphism Concept for omega-Regularity Abstract   PDF
Nils Klarlund
 
No 53 (2002): RS-53 A Lambda-Revelation of the SECD Machine A Lambda-Revelation of the SECD Machine Abstract   PDF
Olivier Danvy
 
No 16 (2003): RS-16 A Length-Flexible Threshold Cryptosystem with Applications A Length-Flexible Threshold Cryptosystem with Applications Abstract   PDF
Ivan B. Damgård, Mads J. Jurik
 
No 44 (1999): RS-44 Aliasing Models for Mobile Objects Aliasing Models for Mobile Objects Abstract   PDF
Uwe Nestmann, Hans Hüttel, Josva Kleist, Massimo Merro
 
No 31 (1998): RS-31 A Linear Metalanguage for Concurrency A Linear Metalanguage for Concurrency Abstract   PDF
Glynn Winskel
 
No 4 (1996): RS-4 A Machine Verified Distributed Sorting Algorithm A Machine Verified Distributed Sorting Algorithm Abstract   PDF
Jørgen H. Andersen, Ed Harcourt, K.V.S. Prasad
 
No 23 (1996): RS-23 A Menagerie of Non-Finitely Based Process Semantics over BPA*: From Ready Simulation Semantics to Completed Traces A Menagerie of Non-Finitely Based Process Semantics over BPA*: From Ready Simulation Semantics to Completed Traces Abstract   PDF
Luca Aceto, Willem Jan Fokkink, Anna Ingólfsdóttir
 
No 27 (1994): RS-27 A Model of Intuitionistic Affine Logic from Stable Domain Theory (Revised and Expanded Version) A Model of Intuitionistic Affine Logic from Stable Domain Theory (Revised and Expanded Version) Abstract   PDF
Torben Braüner
 
No 56 (1999): RS-56 A Modular SOS for Action Notation A Modular SOS for Action Notation Abstract   PDF
Peter D. Mosses
 
No 57 (1999): RS-57 A Modular SOS for ML Concurrency Primitives A Modular SOS for ML Concurrency Primitives Abstract   PDF
Peter D. Mosses
 
No 36 (2004): RS-36 An Action Environment An Action Environment Abstract   PDF
Mark van den Brand, Jørgen Iversen, Peter D. Mosses
 
No 20 (1994): RS-20 An Action Semantics for ML Concurrency Primitives An Action Semantics for ML Concurrency Primitives Abstract   PDF
Peter D. Mosses, Martín Musicante
 
No 42 (1995): RS-42 An Adequate Left-Associated Binary Numeral System in the lambda-Calculus An Adequate Left-Associated Binary Numeral System in the lambda-Calculus Abstract   PDF
Mayer Goldberg
 
No 6 (1996): RS-6 An Adequate Left-Associated Binary Numeral System in the lambda-Calculus (Revised Version) An Adequate Left-Associated Binary Numeral System in the lambda-Calculus (Revised Version) Abstract   PDF
Mayer Goldberg
 
No 18 (2004): RS-18 An Algorithm for Exact Satisfiability Analysed with the Number of Clauses as Parameter An Algorithm for Exact Satisfiability Analysed with the Number of Clauses as Parameter Abstract   PDF
Bolette Ammitzbøll Madsen
 
No 10 (2007): RS-10 Analyzing Ambiguity of Context-Free Grammars Analyzing Ambiguity of Context-Free Grammars Abstract   PDF
Claus Brabrand, Robert Giegerich, Anders Møller
 
No 9 (2006): RS-9 Analyzing Ambiguity of Context-Free Grammars Analyzing Ambiguity of Context-Free Grammars Abstract
Claus Brabrand, Robert Giegerich, Anders Møller
 
No 49 (1999): RS-49 An Approximation Algorithm for Hypergraph Max k-Cut with Given Sizes of Parts An Approximation Algorithm for Hypergraph Max k-Cut with Given Sizes of Parts Abstract   PDF
Alexander A. Ageev, Maxim I. Sviridenko
 
No 22 (1996): RS-22 An Equational Axiomatization for Multi-Exit Iteration An Equational Axiomatization for Multi-Exit Iteration Abstract   PDF
Luca Aceto, Willem Jan Fokkink
 
No 2 (1999): RS-2 An Error in the Mixed Adversary Protocol by Fitzi, Hirt and Maurer An Error in the Mixed Adversary Protocol by Fitzi, Hirt and Maurer Abstract   PDF
Ivan B. Damgård
 
No 52 (2002): RS-52 A New One-Pass Transformation into Monadic Normal Form A New One-Pass Transformation into Monadic Normal Form Abstract   PDF
Olivier Danvy
 
No 4 (2000): RS-4 A New Trade-off for Deterministic Dictionaries A New Trade-off for Deterministic Dictionaries Abstract   PDF
Rasmus Pagh
 
No 26 (1999): RS-26 An Expressive Extension of TLC An Expressive Extension of TLC Abstract   PDF
Jesper G. Henriksen
 
No 62 (1996): RS-62: An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces Abstract   PDF
P. S. Thiagarajan, Igor Walukiewicz
 
No 9 (2003): RS-9 An Extended Quadratic Frobenius Primality Test with Average and Worst Case Error Estimates An Extended Quadratic Frobenius Primality Test with Average and Worst Case Error Estimates Abstract   PDF
Ivan B. Damgård, Gudmund Skovbjerg Frandsen
 
No 45 (2001): RS-45 An Extended Quadratic Frobenius Primality Test with Average Case Error Estimates An Extended Quadratic Frobenius Primality Test with Average Case Error Estimates Abstract   PDF
Ivan B. Damgård, Gudmund Skovbjerg Frandsen
 
No 21 (1999): RS-21 An Extensional Characterization of Lambda-Lifting and Lambda-Dropping An Extensional Characterization of Lambda-Lifting and Lambda-Dropping Abstract   PDF
Olivier Danvy
 
No 2 (1998): RS-02 An Extensional Characterization of Lambda-Lifting and Lambda-Dropping An Extensional Characterization of Lambda-Lifting and Lambda-Dropping Abstract
Olivier Danvy
 
No 19 (2002): RS-19 An Extension Theorem with an Application to Formal Tree Series An Extension Theorem with an Application to Formal Tree Series Abstract   PDF
Stephen L. Bloom, Zoltán Ésik
 
No 15 (1999): RS-15 An Improved Algorithm for RNA Secondary Structure Prediction An Improved Algorithm for RNA Secondary Structure Prediction Abstract   PDF
Rune B. Lyngsø, Michael Zuker, Christian N. S. Pedersen
 
No 11 (2006): RS-11 An Interface Theory for Input/Output Automata An Interface Theory for Input/Output Automata Abstract   PDF
Kim G. Larsen, Ulrik Nyman, Andrzej Wasowski
 
No 39 (1998): RS-39 An Interpretation of the Fan Theorem in Type Theory An Interpretation of the Fan Theorem in Type Theory Abstract   PDF
Daniel Fridlender
 
No 6 (2008): RS-6 An Investigation of Abadi and Cardelli's Untyped Calculus of Objects An Investigation of Abadi and Cardelli's Untyped Calculus of Objects Abstract   PDF
Jacob Johannsen
 
No 38 (1998): RS-38 An n-ary zipWith in Haskell An n-ary zipWith in Haskell Abstract   PDF
Daniel Fridlender, Mia Indrika
 
No 29 (1995): RS-29 An n log n Algorithm for Online BDD Refinement An n log n Algorithm for Online BDD Refinement Abstract   PDF
Nils Klarlund
 
No 41 (2003): RS-41 An Operational Foundation for Delimited Continuations An Operational Foundation for Delimited Continuations Abstract   PDF
Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy
 
No 29 (2004): RS-29 An Operational Foundation for Delimited Continuations in the CPS Hierarchy An Operational Foundation for Delimited Continuations in the CPS Hierarchy Abstract   PDF
Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy
 
No 11 (2005): RS-11 An Operational Foundation for Delimited Continuations in the CPS Hierarchy An Operational Foundation for Delimited Continuations in the CPS Hierarchy Abstract   PDF
Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy
 
No 24 (2005): RS-24 An Operational Foundation for Delimited Continuations in the CPS Hierarchy An Operational Foundation for Delimited Continuations in the CPS Hierarchy Abstract   PDF
Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy
 
No 35 (1998): RS-35 An operational Investigation of the CPS Hierarchy An Operational Investigation of the CPS Hierarchy Abstract
Olivier Danvy, Zhe Yang
 
No 30 (2005): RS-30 An Operational Semantics for Trust Policies. An Operational Semantics for Trust Policies. Abstract   PDF
Karl Krukow
 
No 11 (1995): RS-11 An Optimal O(log log n) Time Parallel Algorithm for Detecting all Squares in a String An Optimal O(log log n) Time Parallel Algorithm for Detecting all Squares in a String Abstract   PDF
Alberto Apostolico, Dany Breslauer
 
No 40 (2002): RS-40 A Note on an Expressiveness Hierarchy for Multi-exit Iteration A Note on an Expressiveness Hierarchy for Multi-exit Iteration Abstract   PDF
Luca Aceto, Willem Jan Fokkink, Anna Ingólfsdóttir
 
No 33 (1997): RS-33 A Note on Frame Distributions A Note on Frame Distributions Abstract   PDF
Anders Kock, Gonzalo E. Reyes
 
No 19 (2000): RS-19 A Note on NP intersection coNP/poly A Note on NP intersection coNP/poly Abstract   PDF
Vinodchandran N. Variyam
 
No 20 (1999): RS-20 A Note on Spector’s Quantifier-Free Rule of Extensionality A Note on Spector’s Quantifier-Free Rule of Extensionality Abstract   PDF
Ulrich Kohlenbach
 
No 39 (2003): RS-39 Applying pi-Calculus to Practice: An Example of a Unified Security Mechanism Applying pi-Calculus to Practice: An Example of a Unified Security Mechanism Abstract   PDF
Jörg Abendroth
 
No 44 (1996): RS-44 A Presheaf Semantics of Value-Passing Processes A Presheaf Semantics of Value-Passing Processes Abstract   PDF
Glynn Winskel
 
No 9 (1997): RS-09 A Product Version of Dynamic Linear Time Temporal Logic A Product Version of Dynamic Linear Time Temporal Logic Abstract   PDF
Jesper G. Henriksen, P. S. Thiagarajan
 
No 32 (2004): RS-32 A Quantitative Version of Kirk's Fixed Point Theorem for Asymptotic Contractions A Quantitative Version of Kirk's Fixed Point Theorem for Asymptotic Contractions Abstract   PDF
Philipp Gerhardy
 
No 17 (2005): RS-17 A Quantum Cipher with Near Optimal Key-Recycling A Quantum Cipher with Near Optimal Key-Recycling Abstract   PDF
Ivan B. Damgård, Thomas B. Pedersen, Louis Salvail
 
No 4 (2006): RS-4 A Rational Deconstruction of Landin's J Operator A Rational Deconstruction of Landin's J Operator Abstract   PDF
Olivier Danvy, Kevin Millikin
 
No 17 (2006): RS-17 A Rational Deconstruction of Landin's J Operator A Rational Deconstruction of Landin's J Operator Abstract   PDF
Olivier Danvy, Kevin Millikin
 
No 33 (2003): RS-33 A Rational Deconstruction of Landin's SECD Machine A Rational Deconstruction of Landin's SECD Machine Abstract   PDF
Olivier Danvy
 
No 41 (1997): RS-41 A Relational Account of Call-by-Value Sequentiality A Relational Account of Call-by-Value Sequentiality Abstract   PDF
Jon G. Riecke, Anders B. Sandholm
 
No 10 (1999): RS-10 A Relational Account of Call-by-Value Sequentiality A Relational Account of Call-by-Value Sequentiality Abstract   PDF
Jon G. Riecke, Anders B. Sandholm
 
No 21 (1998): RS-21 A Representation Result for Free Cocompletions A Representation Result for Free Cocompletions Abstract   PDF
John Power, Gian Luca Cattani, Glynn Winskel
 
No 9 (1999): RS-9 A Runtime System for Interactive Web Services A Runtime System for Interactive Web Services Abstract   PDF
Claus Brabrand, Anders Møller, Anders B. Sandholm, Michael I. Schwartzbach
 
No 29 (2003): RS-29 A Runtime System for XML Transformations in Java A Runtime System for XML Transformations in Java Abstract   PDF
Aske Simon Christensen, Christian Kirkegaard, Anders Møller
 
No 33 (2004): RS-33 A Runtime System for XML Transformations in Java A Runtime System for XML Transformations in Java Abstract   PDF
Aske Simon Christensen, Christian Kirkegaard, Anders Møller
 
No 30 (2001): RS-30 A Selective CPS Transformation A Selective CPS Transformation Abstract   PDF
Lasse R. Nielsen
 
No 17 (1999): RS-17 A Semantic Account of Type-Directed Partial Evaluation A Semantic Account of Type-Directed Partial Evaluation Abstract   PDF
Andrzej Filinski
 
No 15 (2003): RS-15 A Semantic Theory for Value-Passing Processes Based on the Late Approach A Semantic Theory for Value-Passing Processes Based on the Late Approach Abstract   PDF
Anna Ingólfsdóttir
 
No 3 (1995): RS-03 A Semantic Theory for Value–Passing Processes Late Approach Part I: A DenotationalModel and Its Complete Axiomatiz A Semantic Theory for Value–Passing Processes Late Approach Part I: A Denotational Model and Its Complete Axiomatization Abstract   PDF
Anna Ingólfsdóttir
 
No 22 (1995): RS-22 A Semantic Theory for Value–Passing Processes Late Approach Part II: A Behavioural Semantics and Full Abstractness A Semantic Theory for Value–Passing Processes Late Approach Part II: A Behavioural Semantics and Full Abstractness Abstract   PDF
Anna Ingólfsdóttir
 
No 8 (2007): RS-8 A Simple Application of Lightweight Fusion to Proving the Equivalence of Abstract Machines A Simple Application of Lightweight Fusion to Proving the Equivalence of Abstract Machines Abstract   PDF
Olivier Danvy, Kevin Millikin
 
No 2 (2002): RS-2 A Simple Correctness Proof of the Direct-Style Transformation A Simple Correctness Proof of the Direct-Style Transformation Abstract   PDF
Lasse R. Nielsen
 
No 55 (2001): RS-55 A Simple CPS Transformation of Control-Flow Information A Simple CPS Transformation of Control-Flow Information Abstract   PDF
Daniel Damian, Olivier Danvy
 
No 25 (2005): RS-25 A Simple Proof of a Folklore Theorem about Delimited Control A Simple Proof of a Folklore Theorem about Delimited Control Abstract   PDF
Dariusz Biernacki, Olivier Danvy
 
No 10 (2005): RS-10 A Simple Proof of a Folklore Theorem about Delimited Control A Simple Proof of a Folklore Theorem about Delimited Control Abstract   PDF
Dariusz Biernacki, Olivier Danvy
 
No 1 (1998): RS-01 A Simple Solution to Type Specialization A Simple Solution to Type Specialization Abstract   PDF
Olivier Danvy
 
No 34 (2000): RS-34 A Simple Take on Typed Abstract Syntax in Haskell-like Languages A Simple Take on Typed Abstract Syntax in Haskell-like Languages Abstract   PDF
Olivier Danvy, Morten Rhiger
 
No 15 (1998): RS-15 Assessing the Overhead of ML Exceptions by Selective CPS Transformation Assessing the Overhead of ML Exceptions by Selective CPS Transformation Abstract   PDF
Jung-taek Kim, Kwangkeun Yi, Olivier Danvy
 
No 3 (2008): RS-3 A Study of Syntactic and Semantic Artifacts and its Application to Lambda Definability, Strong Normalization... A Study of Syntactic and Semantic Artifacts and its Application to Lambda Definability, Strong Normalization, and Weak Normalization in the Presence of... Abstract   PDF
Johan Munk
 
No 37 (2002): RS-37 A Symmetric Approach to Compilation and Decompilation A Symmetric Approach to Compilation and Decompilation Abstract   PDF
Mads Sig Ager, Olivier Danvy, Mayer Goldberg
 
No 38 (2005): RS-38 A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines Abstract   PDF
Malgorzata Biernacka, Olivier Danvy
 
No 22 (2005): RS-22 A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines Abstract   PDF
Malgorzata Biernacka, Olivier Danvy
 
No 18 (2006): RS-18 Not published A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines Abstract
Malgorzata Biernacka, Olivier Danvy
 
No 20 (2001): RS-20 A Temporal Concurrent Constraint Programming Calculus A Temporal Concurrent Constraint Programming Calculus Abstract   PDF
Catuscia Palamidessi, Frank D. Valencia
 
No 51 (1995): RS-51 A Temporal-Logic Approach to Binding-Time Analysis A Temporal-Logic Approach to Binding-Time Analysis Abstract   PDF
Rowan Davies
 
No 35 (1997): RS-35 A Theory of Recursive Domains with Applications to Concurrency A Theory of Recursive Domains with Applications to Concurrency Abstract   PDF
Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel
 
No 10 (2000): RS-10 A Tough Nut for Tree Resolution A Tough Nut for Tree Resolution Abstract   PDF
Stefan Dantchev, Søren Riis
 
No 50 (2003): RS-50 A Two-Layer Approach to the Computability and Complexity of Real Numbers A Two-Layer Approach to the Computability and Complexity of Real Numbers Abstract   PDF
Branimir Lambov
 
No 29 (2001): RS-29 A Unifying Approach to Goal-Directed Evaluation A Unifying Approach to Goal-Directed Evaluation Abstract   PDF
Olivier Danvy, Bernd Grobauer, Morten Rhiger
 
No 27 (1995): RS-27 Automata for the mu-calculus and Related Results Automata for the mu-calculus and Related Results Abstract   PDF
David Janin, Igor Walukiewicz
 
No 24 (2001): RS-24 Automata on Series-Parallel Biposets Automata on Series-Parallel Biposets Abstract   PDF
Zoltán Ésik, Zoltán L. Németh
 
No 53 (1995): RS-53 Automated Logical Verification based on Trace Abstractions Automated Logical Verification based on Trace Abstractions Abstract   PDF
Nils Klarlund, Mogens Nielsen, Kim Sunesen
 
No 51 (1998): RS-51 Automated Modeling of Real-Time Implementation Automated Modeling of Real-Time Implementation Abstract   PDF
Peter Krogsgaard Jensen
 
No 45 (1994): RS-45 Automatic Synthesis of Real Time Systems Automatic Synthesis of Real Time Systems Abstract   PDF
Jørgen H. Andersen
 
No 19 (1994): RS-19 Automatic Verification of Real-Timed Systems Using EPSILON Automatic Verification of Real-Timed Systems Using EPSILON Abstract   PDF
Jens Chr. Godskesen, Kim G. Larsen, Arne Skou
 
No 41 (2002): RS-41 Axiomatizing Omega and Omega-op Powers of Words Axiomatizing Omega and Omega-op Powers of Words Abstract   PDF
Stephen L. Bloom, Zoltán Ésik
 
No 56 (1995): RS-56 Axiomatizing Prefix Iteration with Silent Steps Axiomatizing Prefix Iteration with Silent Steps Abstract   PDF
Luca Aceto, Willem Jan Fokkink, Rob J. van Glabbeek, Anna Ingólfsdóttir
 
No 20 (1996): RS-20 Back to Direct Style II: First-Class Continuations Back to Direct Style II: First-Class Continuations Abstract   PDF
Olivier Danvy, Julia L. Lawall
 
No 25 (1996): RS-25 Balls and Bins: A Study in Negative Dependence Balls and Bins: A Study in Negative Dependence Abstract   PDF
Devdatt P. Dubhashi, Desh Ranjan
 
No 25 (1995): RS-25 Basic Action Theory Basic Action Theory Abstract   PDF
Søren B. Lassen
 
No 26 (1996): RS-26 BDD Algortihms and Cache Misses BDD Algortihms and Cache Misses Abstract   PDF
Nils Klarlund, Theis Rauhe
 
No 55 (1995): RS-55 Behavioural Equivalence for Infinite Systems—Partially Decidable! Behavioural Equivalence for Infinite Systems—Partially Decidable! Abstract   PDF
Mogens Nielsen, Kim Sunesen
 
No 33 (2005): RS-33 Bisimilarity is not Finitely Based over BPA with Interrupt Bisimilarity is not Finitely Based over BPA with Interrupt Abstract   PDF
Luca Aceto, Willem Jan Fokkink, Anna Ingólfsdóttir, Sumit Nain
 
No 24 (2004): RS-24 Bisimilarity is not Finitely Based over BPA with Interrupt Bisimilarity is not Finitely Based over BPA with Interrupt Abstract   PDF
Luca Aceto, Willem Jan Fokkink, Anna Ingólfsdóttir, Sumit Nain
 
No 4 (1997): RS-04 Bisimulation for Labelled Markov Processes Bisimulation for Labelled Markov Processes Abstract   PDF
Richard Blute, Josée Desharnais, Abbas Edalat, Prakash Panangaden
 
No 7 (1994): RS-7 Bisimulation from Open Maps Bisimulation from Open Maps Abstract   PDF
André Joyal, Mogens Nielsen, Glynn Winskel
 
No 8 (1996): RS-8 Bisimulations for Asynchronous Mobile Processes Bisimulations for Asynchronous Mobile Processes Abstract   PDF
Martin Hansen, Hans Hüttel, Josva Kleist
 
No 6 (1994): RS-6 Bisimulations, Games, and Logic Bisimulations, Games, and Logic Abstract   PDF
Mogens Nielsen, Christian Clausen
 
No 9 (1994): RS-9 Bistructures, Bidomains and Linear Logic Bistructures, Bidomains and Linear Logic Abstract   PDF
Gordon Plotkin, Glynn Winskel
 
No 15 (1997): RS-15 Bistructures, Bidomains and Linear Logic Bistructures, Bidomains and Linear Logic Abstract   PDF
Pierre-Louis Curien, Gordon Plotkin, Glynn Winskel
 
No 25 (1994): RS-25 Bootstrapping the Primitive Recursive Functions by 47 Colors Bootstrapping the Primitive Recursive Functions by 47 Colors Abstract   PDF
Søren Riis
 
No 38 (2004): RS-38 Bottom-Up beta-Substitution: Uplinks and lambda-DAGs Bottom-Up beta-Substitution: Uplinks and lambda-DAGs Abstract   PDF
Olin Shivers, Mitchell Wand
 
No 51 (2003): RS-51 Bounds on Iterations of Asymptotically Quasi-Nonexpansive Mappings Bounds on Iterations of Asymptotically Quasi-Nonexpansive Mappings Abstract   PDF
Ulrich Kohlenbach, Branimir Lambov
 
No 2 (2004): RS-2 Cache-Oblivious Data Structures and Algorithms for Undirected Breadth-First Search and Shortest Paths Cache-Oblivious Data Structures and Algorithms for Undirected Breadth-First Search and Shortest Paths Abstract   PDF
Gerth Stølting Brodal, Rolf Fagerberg, Ulrich Meyer, Norbert Zeh
 
No 18 (2002): RS-18 Cache Oblivious Distribution Sweeping Cache Oblivious Distribution Sweeping Abstract
Gerth Stølting Brodal, Rolf Fagerberg
 
No 36 (2001): RS-36 Cache Oblivious Search Trees via Binary Trees of Small Height Cache Oblivious Search Trees via Binary Trees of Small Height Abstract   PDF
Gerth Stølting Brodal, Rolf Fagerberg, Riko Jacob
 
No 24 (1995): RS-24 Can you Trust your Data? Can you Trust your Data? Abstract   PDF
Peter Ørbæk
 
No 43 (1998): RS-43 CASL: A Guided Tour of its Design CASL: A Guided Tour of its Design Abstract   PDF
Peter D. Mosses
 
No 49 (1997): RS-49 CASL for ASF+SDF Users CASL for ASF+SDF Users Abstract   PDF
Peter D. Mosses
 
No 51 (2000): RS-51 CASL for CafeOBJ Users CASL for CafeOBJ Users Abstract   PDF
Peter D. Mosses
 
No 34 (2003): RS-34 CCS with Hennessy's Merge has no Finite Equational Axiomatization CCS with Hennessy's Merge has no Finite Equational Axiomatization Abstract   PDF
Luca Aceto, Willem Jan Fokkink, Anna Ingólfsdóttir, Bas Luttik
 
No 23 (2000): RS-23 Characteristic Formulae for Timed Automata Characteristic Formulae for Timed Automata Abstract   PDF
Luca Aceto, Anna Ingólfsdóttir, Mikkel Lykke Pedersen, Jan Poulsen
 
No 2 (2007): RS-2 Characteristic Formulae: From Automata to Logic Characteristic Formulae: From Automata to Logic Abstract   PDF
Luca Aceto, Anna Ingólfsdóttir
 
No 42 (2002): RS-42 Checking Consistency of Pedigree Information is NP-complete (Preliminary Report) Checking Consistency of Pedigree Information is NP-complete (Preliminary Report) Abstract   PDF
Luca Aceto, Jens Alsted Hansen, Anna Ingólfsdóttir, Jacob Johnsen, John Knudsen
 
No 8 (2001): RS-8 Checking for Open Bisimilarity in the pi-Calculus Checking for Open Bisimilarity in the pi-Calculus Abstract   PDF
Ulrik Frendrup, Jesper Nyholm Jensen
 
No 45 (2002): RS-45 Chromatic Number in Time O(2.4023^n) Using Maximal Independent Sets Chromatic Number in Time O(2.4023^n) Using Maximal Independent Sets Abstract   PDF
Jesper Makholm Byskov
 
No 50 (2002): RS-50 Circuits on Cylinders Circuits on Cylinders Abstract   PDF
Kristoffer Arnsfelt Hansen, Peter Bro Miltersen, V. Vinay
 
No 20 (1997): RS-20 Classifying Toposes for First Order Theories Classifying Toposes for First Order Theories Abstract   PDF
Carsten Butz, Peter T. Johnstone
 
No 46 (1998): RS-46 Clock Difference Diagrams Clock Difference Diagrams Abstract   PDF
Kim G. Larsen, Carsten Weise, Wang Yi, Justin Pearson
 
No 48 (1997): RS-48 CoFI: The Common Framework Initiative for Algebraic Specification and Development CoFI: The Common Framework Initiative for Algebraic Specification and Development Abstract   PDF
Peter D. Mosses
 
No 52 (1996): RS-52 Combining Algebraic and Set-Theoretic Specifications (Extended Version) Combining Algebraic and Set-Theoretic Specifications (Extended Version) Abstract   PDF
Claus Hintermeier, Hélene Kirchner, Peter D. Mosses
 
No 23 (2002): RS-23 Compact Representations of BL-Algebras Compact Representations of BL-Algebras Abstract   PDF
Antonio Di Nola, Laurentiu Leustean
 
No 29 (2002): RS-29 Comparative Methods for Gene Structure Prediction in Homologous Sequences Comparative Methods for Gene Structure Prediction in Homologous Sequences Abstract   PDF
Christian N. S. Pedersen, Tejs Scharling
 
No 18 (1996): RS-18 Comparing Transition Systems with Independence and Asynchronous Transition Systems Comparing Transition Systems with Independence and Asynchronous Transition Systems Abstract   PDF
Thomas Troels Hildebrandt, Vladimiro Sassone
 
No 3 (1998): RS-03 Comparison of Coding DNA Comparison of Coding DNA Abstract   PDF
Christian N. S. Pedersen, Rune B. Lyngsø, Jotun Hein
 
No 19 (1997): RS-19 Compilation and Equivalence of Imperative Objects Compilation and Equivalence of Imperative Objects Abstract   PDF
Andrew D. Gordon, Paul D. Hankin, Søren B. Lassen
 
No 55 (1998): RS-55 Compilation and Equivalence of Imperative Objects (Revised Report) Compilation and Equivalence of Imperative Objects (Revised Report) Abstract   PDF
Andrew D. Gordon, Paul D. Hankin, Søren B. Lassen
 
No 13 (1998): RS-13 Compiling Actions by Partial Evaluation, Revisited Compiling Actions by Partial Evaluation, Revisited Abstract   PDF
Olivier Danvy, Morten Rhiger
 
No 2 (1994): RS-2 Complexity of Nondeterministic Functions Complexity of Nondeterministic Functions Abstract   PDF
Alexander E. Andreev
 
No 16 (2000): RS-16 Complexity of Weak Bisimilarity and Regularity for BPA and BPP Complexity of Weak Bisimilarity and Regularity for BPA and BPP Abstract   PDF
Jirí Srba
 
No 18 (1995): RS-18 Complexity Results for Model Checking Complexity Results for Model Checking Abstract   PDF
Allan Cheng
 
No 53 (2003): RS-53 Composing Programming Languages by Combining Action-Semantics Modules Composing Programming Languages by Combining Action-Semantics Modules Abstract   PDF
Kyung-Goo Doh, Peter D. Mosses
 
No 5 (2002): RS-5 Composing Strand Spaces Composing Strand Spaces Abstract   PDF
Federico Crazzolara, Glynn Winskel
 
No 59 (1996): RS-59 Compositional and Symbolic Model-Checking of Real-Time Systems Compositional and Symbolic Model-Checking of Real-Time Systems Abstract   PDF
Kim G. Larsen, Paul Pettersson, Wang Yi
 
No 19 (1995): RS-19 Compositional Model Checking of Real Time Systems Compositional Model Checking of Real Time Systems Abstract   PDF
Francois Laroussinie, Kim G. Larsen
 
No 13 (1997): RS-13 Compositional Safety Logics Compositional Safety Logics Abstract   PDF
Jørgen H. Andersen, Kim G. Larsen
 
No 37 (2003): RS-37 Computational Collapse of Quantum State with Application to Oblivious Transfer Computational Collapse of Quantum State with Application to Oblivious Transfer Abstract   PDF
Claude Crépeau, Paul Dumais, Dominic Mayers, Louis Salvail
 
No 17 (2004): RS-17 Computing Logarithms Digit-by-Digit Computing Logarithms Digit-by-Digit Abstract   PDF
Mayer Goldberg
 
No 51 (2002): RS-51 Computing Refined Buneman Trees in Cubic Time Computing Refined Buneman Trees in Cubic Time Abstract   PDF
Gerth Stølting Brodal, Rolf Fagerberg, Anna Östlin, Christian N. S. Pedersen, S. Srinivasa Rao
 
No 11 (2004): RS-11 Congruences for Contextual Graph-Rewriting Congruences for Contextual Graph-Rewriting Abstract   PDF
Vladimiro Sassone, Pawel Sobocinski
 
No 24 (1999): RS-24 Conservative Extension in Structural Operational Semantics Conservative Extension in Structural Operational Semantics Abstract   PDF
Luca Aceto, Willem Jan Fokkink, Chris Verhoef
 
No 37 (1999): RS-37 Constrained Edge-Splitting Problems Constrained Edge-Splitting Problems Abstract   PDF
Tibor Jordán
 
No 35 (1995): RS-35 Constructing Fixed-Point Combinators Using Application Survival Constructing Fixed-Point Combinators Using Application Survival Abstract   PDF
Mayer Goldberg
 
No 37 (2004): RS-37 Constructive Action Semantics for Core ML Constructive Action Semantics for Core ML Abstract   PDF
Jørgen Iversen, Peter D. Mosses
 
No 25 (2000): RS-25 Continuous Additive Algebras and Injective Simulations of Synchronization Trees Continuous Additive Algebras and Injective Simulations of Synchronization Trees Abstract   PDF
Zoltán Ésik
 
No 38 (2003): RS-38 Contracts for Cooperation between Web Service Programmers and HTML Designers Contracts for Cooperation between Web Service Programmers and HTML Designers Abstract   PDF
Henning Böttger, Anders Møller, Michael I. Schwartzbach
 
No 18 (2007): RS-18 Control-Flow Analysis of Functional Programs Control-Flow Analysis of Functional Programs Abstract   PDF
Jan Midtgaard
 
No 25 (2001): RS-25 Cost Recurrences for DML Programs Cost Recurrences for DML Programs Abstract   PDF
Bernd Grobauer
 
No 21 (1994): RS-21 Count(q) does not imply Count(p) Count(q) does not imply Count(p) Abstract   PDF
Søren Riis
 
No 26 (1994): RS-26 Count(q) versus the Pigeon-Hole Principle Count(q) versus the Pigeon-Hole Principle Abstract   PDF
Søren Riis
 
No 40 (1994): RS-40 CPO Models for GSOS Languages - Part I: Compact GSOS Languages CPO Models for GSOS Languages - Part I: Compact GSOS Languages Abstract   PDF
Luca Aceto
 
No 35 (2000): RS-35 CPS Transformation of Beta-Redexes CPS Transformation of Beta-Redexes Abstract   PDF
Olivier Danvy, Lasse R. Nielsen
 
No 39 (2004): RS-39 CPS Transformation of Beta-Redexes CPS Transformation of Beta-Redexes Abstract   PDF
Olivier Danvy, Lasse R. Nielsen
 
No 36 (2002): RS-36 CPS Transformation of Flow Information, Part II: Administrative Reductions CPS Transformation of Flow Information, Part II: Administrative Reductions Abstract   PDF
Daniel Damian, Olivier Danvy
 
No 40 (2001): RS-40 CPS Transformation of Flow Information, Part II: Administrative Reductions CPS Transformation of Flow Information, Part II: Administrative Reductions Abstract   PDF
Daniel Damian, Olivier Danvy
 
No 20 (2005): RS-20 Cryptography in the Bounded Quantum Storage Model Cryptography in the Bounded Quantum Storage Model Abstract   PDF
Ivan B. Damgård, Serge Fehr, Louis Salvail, Christian Schaffner
 
No 32 (2001): RS-32 Cuckoo Hashing Cuckoo Hashing Abstract   PDF
Rasmus Pagh, Flemming Friche Rodler
 
No 10 (1996): RS-10 Cut-Elimination for Full Intuitionistic Linear Logic Cut-Elimination for Full Intuitionistic Linear Logic Abstract   PDF
Torben Braüner, Valeria de Paiva
 
No 48 (2003): RS-48 Danfoss EKC Trial Project Deliverables Danfoss EKC Trial Project Deliverables Abstract   PDF
Kim G. Larsen, Ulrik Larsen, Brian Nielsen, Arne Skou, Andrzej Wasowski
 
No 8 (1994): RS-8 Decidability Issues for Petri Nets Decidability Issues for Petri Nets Abstract   PDF
Javier Esparza, Mogens Nielsen
 
No 32 (1994): RS-32 Decidability of Systems of Set Constraints with Negative Constraints Decidability of Systems of Set Constraints with Negative Constraints Abstract   PDF
Alexander Aiken, Dexter Kozen, Ed Wimmers
 
No 25 (2002): RS-25 Deciding Framed Bisimilarity Deciding Framed Bisimilarity Abstract   PDF
Hans Hüttel
 
No 52 (1995): RS-52 Deciding Regularity in Process Algebras Deciding Regularity in Process Algebras Abstract   PDF
Antonin Kucera
 
No 42 (1999): RS-42 Decoding Choice Encodings Decoding Choice Encodings Abstract   PDF
Uwe Nestmann, Benjamin C. Pierce
 
No 23 (2001): RS-23 Defunctionalization at Work Defunctionalization at Work Abstract   PDF
Olivier Danvy, Lasse R. Nielsen
 
No 8 (2000): RS-8 Democratic Consensus and the Local Majority Rule Democratic Consensus and the Local Majority Rule Abstract   PDF
Nabil H. Mustafa, Aleksandar Pekec
 
No 4 (2005): RS-4 Denotational Aspects of Untyped Normalization by Evaluation Denotational Aspects of Untyped Normalization by Evaluation Abstract   PDF
Andrzej Filinski, Henning Korsholm Rohde
 
No 47 (1999): RS-47 Derandomizing Arthur-Merlin Games using Hitting Sets Derandomizing Arthur-Merlin Games using Hitting Sets Abstract   PDF
Peter Bro Miltersen, Vinodchandran N. Variyam
 
No 1 (2003): RS-1 Deriving Bisimulation Congruences: 2-Categories vs. Precategories Deriving Bisimulation Congruences: 2-Categories vs. Precategories Abstract   PDF
Vladimiro Sassone, Pawel Sobocinski
 
No 17 (1995): RS-17 Design Architectures through Category Constraints Design Architectures through Category Constraints Abstract   PDF
Jari Koistinen, Nils Klarlund, Michael I. Schwartzbach
 
No 35 (1999): RS-35 Detachments Preserving Local Edge-Connectivity of Graphs Detachments Preserving Local Edge-Connectivity of Graphs Abstract   PDF
Tibor Jordán, Zoltán Szigeti
 
No 16 (1996): RS-16 Detecting Deadlocks in Concurrent Systems Detecting Deadlocks in Concurrent Systems Abstract   PDF
Lisbeth Fajstrup, Martin Raussen
 
No 58 (1995): RS-58 Determinizing Asynchronous Automata on Infinite Inputs Determinizing Asynchronous Automata on Infinite Inputs Abstract   PDF
Nils Klarlund, Madhavan Mukund, Milind Sohoni
 
No 57 (1996): RS-57 Diagnostic Model-Checking for Real-Time Systems Diagnostic Model Checking for Real-Time Systems Abstract   PDF
Kim G. Larsen, Paul Pettersson, Wang Yi
 
No 14 (1997): RS-14 Dictionaries on AC^0 RAMs: Query Time Theta(√log n/log log n) is Necessary and Sufficient Dictionaries on AC^0 RAMs: Query Time Theta(√log n/log log n) is Necessary and Sufficient Abstract   PDF
Arne Andersson, Peter Bro Miltersen, Søren Riis, Mikkel Thorup
 
No 36 (2000): RS-36 Dispersing Hash Functions Dispersing Hash Functions Abstract   PDF
Rasmus Pagh
 
No 16 (2004): RS-16 Distributed Approximation of Fixed-Points in Trust Structures Distributed Approximation of Fixed-Points in Trust Structures Abstract   PDF
Karl Krukow, Andrew Twigg
 
No 6 (2005): RS-6 Distributed Approximation of Fixed-Points in Trust Structures Distributed Approximation of Fixed-Points in Trust Structures Abstract   PDF
Karl Krukow, Andrew Twigg
 
No 47 (1997): RS-47 Distributed Safety Controllers for Web Services Distributed Safety Controllers for Web Services Abstract   PDF
Anders B. Sandholm, Michael I. Schwartzbach
 
No 8 (1998): RS-08 Distributed Versions of Linear Time Temporal Logic: A Trace Perspective Distributed Versions of Linear Time Temporal Logic: A Trace Perspective Abstract   PDF
P. S. Thiagarajan, Jesper G. Henriksen
 
No 43 (2003): RS-43 Domain Theory for Concurrency Domain Theory for Concurrency Abstract   PDF
Mikkel Nygaard, Glynn Winskel
 
No 10 (2001): RS-10 Do we Need Dependent Types? Do we Need Dependent Types? Abstract   PDF
Daniel Fridlender, Mia Indrika
 
No 1 (1995): RS-01 Dynamic Algorithms for the Dyck Languages Dynamic Algorithms for the Dyck Languages Abstract   PDF
Gudmund Skovbjerg Frandsen, Thore Husfeldt, Peter Bro Miltersen, Theis Rauhe, Søren Skyum
 
No 8 (1997): RS-08 Dynamic Linear Time Temporal Logic Dynamic Linear Time Temporal Logic Abstract   PDF
Jesper G. Henriksen, P. S. Thiagarajan
 
No 45 (1995): RS-45 Dynamic Maintenance of Majority Information in Constant Time per Update Dynamic Maintenance of Majority Information in Constant Time per Update Abstract   PDF
Gudmund Skovbjerg Frandsen, Sven Skyum
 
No 2 (2008): RS-2 Dynamic Normal Forms and Dynamic Characteristic Polynomial Dynamic Normal Forms and Dynamic Characteristic Polynomial Abstract   PDF
Gudmund Skovbjerg Frandsen, Piotr Sankowski
 
No 38 (2000): RS-38 Dynamic Partitioning in Linear Relation Analysis. Application to the Verification of Synchronous Programs Dynamic Partitioning in Linear Relation Analysis. Application to the Verification of Synchronous Programs Abstract   PDF
Bertrand Jeannet
 
No 14 (2001): RS-14 Effective Bounds on Strong Unicity in L1-Approximation Effective Bounds on Strong Unicity in L1-Approximation Abstract   PDF
Ulrich Kohlenbach, Paulo B. Oliva
 
No 9 (2000): RS-9 Effective Uniform Bounds on the Krasnoselski-Mann Iteration Effective Uniform Bounds on the Krasnoselski-Mann Iteration Abstract   PDF
Ulrich Kohlenbach
 
No 8 (2003): RS-8 Efficient Algorithms for gcd and Cubic Residuosity in the Ring of Eisenstein Integers Efficient Algorithms for gcd and Cubic Residuosity in the Ring of Eisenstein Integers Abstract   PDF
Ivan B. Damgård, Gudmund Skovbjerg Frandsen
 
No 4 (2001): RS-4 Efficient Guiding Towards Cost-Optimality in UPPAAL Efficient Guiding Towards Cost-Optimality in UPPAAL Abstract   PDF
Gerd Behrmann, Ansgar Fehnker, Thomas S. Hune, Kim G. Larsen, Paul Pettersson, Judi Romijn
 
No 32 (1995): RS-32 Efficient Inference of Object Types Efficient Inference of Object Types Abstract   PDF
Jens Palsberg
 
No 36 (1998): RS-36 Efficient Multiparty Computations with Dishonest Minority Efficient Multiparty Computations with Dishonest Minority Abstract   PDF
Ronald Cramer, Ivan B. Damgård, Stefan Dziembowski, Martin Hirt, Tal Rabin
 
No 5 (2000): RS-5 Efficient Protocols based on Probabilistic Encryption using Composite Degree Residue Classes Efficient Protocols based on Probabilistic Encryption using Composite Degree Residue Classes Abstract   PDF
Ivan B. Damgård, Mads J. Jurik
 
No 42 (1994): RS-42 Efficient String Matching on Coded Texts Efficient String Matching on Coded Texts Abstract   PDF
Dany Breslauer
 
No 47 (1998): RS-47 Efficient Timed Reachability Analysis using Clock Difference Diagrams Efficient Timed Reachability Analysis using Clock Difference Diagrams Abstract   PDF
Gerd Behrmann, Kim G. Larsen, Justin Pearson, Carsten Weise, Wang Yi
 
No 9 (1998): RS-09 Encoding Types in ML-like Languages (Preliminary Version) Encoding Types in ML-like Languages (Preliminary Version) Abstract   PDF
Zhe Yang
 
No 38 (1994): RS-38 Enhancing the Strength of Conventional Cryptosystems Enhancing the Strength of Conventional Cryptosystems Abstract   PDF
Ivan B. Damgård, Lars Ramkilde Knudsen
 
No 6 (2002): RS-6 Equational Axioms for Probabilistic Bisimilarity (Preliminary Report) Equational Axioms for Probabilistic Bisimilarity (Preliminary Report) Abstract   PDF
Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir
 
No 21 (2001): RS-21 Equational Theories of Tropical Semirings Equational Theories of Tropical Semirings Abstract   PDF
Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir
 
No 17 (1997): RS-17 Error Correcting Codes, Perfect Hashing Circuits, and Deterministic Dynamic Dictionaries Error Correcting Codes, Perfect Hashing Circuits, and Deterministic Dynamic Dictionaries Abstract   PDF
Peter Bro Miltersen
 
No 41 (1995): RS-41 Eta-Expansion Does The Trick Eta-Expansion Does The Trick Abstract   PDF
Olivier Danvy, Karoline Malmkjær, Jens Palsberg
 
No 17 (1996): RS-17 Eta-Expansion Does The Trick (Revised Version) Eta-Expansion Does The Trick (Revised Version) Abstract   PDF
Olivier Danvy, Karoline Malmkjær, Jens Palsberg
 
No 13 (2001): RS-13 Events in Security Protocols Events in Security Protocols Abstract   PDF
Federico Crazzolara, Glynn Winskel
 
No 7 (1999): RS-7 Event Structures as Presheaves —Two Representation Theorems Event Structures as Presheaves —Two Representation Theorems Abstract   PDF
Glynn Winskel
 
No 37 (1995): RS-37 Experiments with ZF Set Theory in HOL and Isabelle Experiments with ZF Set Theory in HOL and Isabelle Abstract   PDF
Sten Agerholm, Mike Gordon
 
No 8 (2005): RS-8 Exploiting Labels in Structural Operational Semantics Exploiting Labels in Structural Operational Semantics Abstract   PDF
Peter D. Mosses
 
No 47 (2002): RS-47 Extended Temporal Logic on Finite Words and Wreath Product of Monoids with Distinguished Generators Extended Temporal Logic on Finite Words and Wreath Product of Monoids with Distinguished Generators Abstract   PDF
Zoltán Ésik
 
No 11 (2002): RS-11 Extending Java for High-Level Web Service Construction Extending Java for High-Level Web Service Construction Abstract   PDF
Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach
 
No 5 (2006): RS-5 Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative Abstract   PDF
Kristian Støvring
 
No 35 (2005): RS-35 Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative Abstract   PDF
Kristian Støvring
 
No 12 (1996): RS-12 External-Memory Algorithms for Processing Line Segments in Geographic Information Systems External-Memory Algorithms for Processing Line Segments in Geographic Information Systems Abstract   PDF
Lars Arge, Darren E. Vengroff, Jeffery S. Vitter
 
No 16 (1994): RS-16 External-Storage Data Structures for Plane-Sweep Algorithms External-Storage Data Structures for Plane-Sweep Algorithms Abstract   PDF
Lars Arge
 
No 32 (2003): RS-32 Extracting Herbrand Disjunctions by Functional Interpretation Extracting Herbrand Disjunctions by Functional Interpretation Abstract   PDF
Philipp Gerhardy, Ulrich Kohlenbach
 
No 52 (2001): RS-52 Extracting Witnesses from Proofs of Knowledge in the Random Oracle Model Extracting Witnesses from Proofs of Knowledge in the Random Oracle Model Abstract   PDF
Jens Groth
 
No 37 (1997): RS-37 Fast Distributed Algorithms for Brooks-Vizing Colourings (Extended Abstract) Fast Distributed Algorithms for Brooks-Vizing Colourings (Extended Abstract) Abstract   PDF
David A. Grable, Alessandro Panconesi
 
No 37 (2005): RS-37 Faster Algorithms for Computing Longest Common Increasing Subsequences Faster Algorithms for Computing Longest Common Increasing Subsequences Abstract   PDF
Gerth Stølting Brodal, Kanela Kaligosi, Irit Katriel, Martin Kutz
 
No 48 (1999): RS-48 Faster Deterministic Dictionaries Faster Deterministic Dictionaries Abstract   PDF
Rasmus Pagh
 
No 12 (1995): RS-12 Fast Meldable Priority Queues Fast Meldable Priority Queues Abstract   PDF
Gerth Stølting Brodal
 
No 11 (2003): RS-11 Fast Partial Evaluation of Pattern Matching in Strings Fast Partial Evaluation of Pattern Matching in Strings Abstract   PDF
Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde
 
No 20 (2003): RS-20 Fast Partial Evaluation of Pattern Matching in Strings Fast Partial Evaluation of Pattern Matching in Strings Abstract   PDF
Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde
 
No 40 (2004): RS-40 Fast Partial Evaluation of Pattern Matching in Strings Fast Partial Evaluation of Pattern Matching in Strings Abstract   PDF
Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde
 
No 34 (2001): RS-34 Fast Random Access to Wavelet Compressed Volumetric Data Using Hashing Fast Random Access to Wavelet Compressed Volumetric Data Using Hashing Abstract   PDF
Flemming Friche Rodler, Rasmus Pagh
 
No 37 (1994): RS-37 Fibrations and Calculi of Fractions Fibrations and Calculi of Fractions Abstract   PDF
Jaap van Oosten
 
No 12 (1999): RS-12 Finding Maximal Pairs with Bounded Gap Finding Maximal Pairs with Bounded Gap Abstract   PDF
Gerth Stølting Brodal, Rune B. Lyngsø, Christian N. S. Pedersen, Jens Stoye
 
No 25 (1999): RS-25 Finding Maximal Quasiperiodicities in Strings Finding Maximal Quasiperiodicities in Strings Abstract   PDF
Gerth Stølting Brodal, Christian N. S. Pedersen
 
No 19 (2005): RS-19 Finite Equational Bases in Process Algebra: Results and Open Questions Finite Equational Bases in Process Algebra: Results and Open Questions Abstract   PDF
Luca Aceto, Willem Jan Fokkink, Anna Ingólfsdóttir, Bas Luttik
 
No 30 (1998): RS-30 Finitely Presented Heyting Algebras Finitely Presented Heyting Algebras Abstract   PDF
Carsten Butz
 
No 23 (1994): RS-23 Finitisation in Bounded Arithmetic Finitisation in Bounded Arithmetic Abstract   PDF
Søren Riis
 
No 5 (1997): RS-05 First-Order Logic with Two Variables and Unary Temporal Logic First-Order Logic with Two Variables and Unary Temporal Logic Abstract   PDF
Kousha Etessami, Moshe Y. Vardi, Thomas Wilke
 
No 26 (2002): RS-26 Fixed Points on Abstract Structures without the Equality Test Fixed Points on Abstract Structures without the Equality Test Abstract   PDF
Margarita Korovina
 
No 53 (1998): RS-53 Fixpoint Alternation: Arithmetic, Transition Systems, and the Binary Tree Fixpoint Alternation: Arithmetic, Transition Systems, and the Binary Tree Abstract   PDF
Julian C. Bradfield
 
No 34 (2005): RS-34 Formal Aspects of Polyvariant Specialization Formal Aspects of Polyvariant Specialization Abstract   PDF
Henning Korsholm Rohde
 
No 51 (1999): RS-51 Formalizing Implementation Strategies for First-Class Continuations Formalizing Implementation Strategies for First-Class Continuations Abstract   PDF
Olivier Danvy
 
No 31 (1997): RS-31 Formal Modeling and Analysis of an Audio/Video Protocol: An Industrial Case Study Using UPPAAL Formal Modeling and Analysis of an Audio/Video Protocol: An Industrial Case Study Using UPPAAL Abstract   PDF
Klaus Havelund, Arne Skou, Kim G. Larsen, Kristian Lund
 
No 21 (2002): RS-21 Formal Tree Series Formal Tree Series Abstract   PDF
Zoltán Ésik, Werner Kuich
 
1 - 300 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