-
BRICS Report Series No. 4 (1996): RS-4 A Machine Verified Distributed Sorting Algorithm - Articles
A Machine Verified Distributed Sorting Algorithm
Abstract PDF -
BRICS Report Series No. 62 (1996): RS-62: An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces - Articles
An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces
Abstract PDF -
BRICS Report Series No. 56 (1996): RS-56 Modeling, Sharing, and Recursion for Weak Reduction Strategies using Explicit Substitution - Articles
Modeling, Sharing, and Recursion for Weak Reduction Strategies using Explicit Substitution
Abstract PDF -
BRICS Report Series No. 57 (1996): RS-57 Diagnostic Model-Checking for Real-Time Systems - Articles
Diagnostic Model Checking for Real-Time Systems
Abstract PDF -
BRICS Report Series No. 58 (1996): RS-58 UPPAAL—a Tool Suite for Automatic Verification of Real–Time Systems - Articles
UPPAAL—a Tool Suite for Automatic Verification of Real–Time Systems
Abstract PDF -
BRICS Report Series No. 59 (1996): RS-59 Compositional and Symbolic Model-Checking of Real-Time Systems - Articles
Compositional and Symbolic Model-Checking of Real-Time Systems
Abstract PDF -
BRICS Report Series No. 60 (1996): RS-60 UPPAAL in 1995 - Articles
UPPAAL in 1995
Abstract PDF -
BRICS Report Series No. 61 (1996): RS-61 Proof of a Conjecture of S. Mac Lane - Articles
Proof of a Conjecture of S. Mac Lane
Abstract PDF -
BRICS Report Series No. 1 (1997): RS-01 Partial Evaluation of the Euclidian Algorithm (Extended Version) - Articles
Partial Evaluation of the Euclidian Algorithm (Extended Version)
Abstract PDF -
BRICS Report Series No. 2 (1997): RS-02 Abstract Interpretation in the Operational Semantics Hierarchy - Articles
Abstract Interpretation in the Operational Semantics Hierarchy
Abstract PDF -
BRICS Report Series No. 3 (1997): RS-03 A Definability Theorem for First Order Logic - Articles
A Definability Theorem for First Order Logic
Abstract PDF -
BRICS Report Series No. 4 (1997): RS-04 Bisimulation for Labelled Markov Processes - Articles
Bisimulation for Labelled Markov Processes
Abstract PDF -
BRICS Report Series No. 5 (1997): RS-05 First-Order Logic with Two Variables and Unary Temporal Logic - Articles
First-Order Logic with Two Variables and Unary Temporal Logic
Abstract PDF -
BRICS Report Series No. 6 (1997): RS-06 Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure - Articles
Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure
Abstract PDF -
BRICS Report Series No. 7 (1997): RS-07 Thunks and the lambda-Calculus (Extended Version) - Articles
Thunks and the lambda-Calculus (Extended Version)
Abstract PDF -
BRICS Report Series No. 8 (1997): RS-08 Dynamic Linear Time Temporal Logic - Articles
Dynamic Linear Time Temporal Logic
Abstract PDF -
BRICS Report Series No. 9 (1997): RS-09 A Product Version of Dynamic Linear Time Temporal Logic - Articles
A Product Version of Dynamic Linear Time Temporal Logic
Abstract PDF -
BRICS Report Series No. 10 (1997): RS-10 Transition Systems with Independence and Multi-Arcs - Articles
Transition Systems with Independence and Multi-Arcs
Abstract PDF -
BRICS Report Series No. 11 (1997): RS-11 Timed Modal Specification —Theory and Tools - Articles
Timed Modal Specification —Theory and Tools
Abstract PDF -
BRICS Report Series No. 12 (1997): RS-12 Trans-Dichotomous Algorithms without Multiplication —some Upper and Lower Bounds - Articles
Trans-Dichotomous Algorithms without Multiplication —some Upper and Lower Bounds
Abstract PDF -
BRICS Report Series No. 13 (1997): RS-13 Compositional Safety Logics - Articles
Compositional Safety Logics
Abstract PDF -
BRICS Report Series No. 15 (1997): RS-15 Bistructures, Bidomains and Linear Logic - Articles
Bistructures, Bidomains and Linear Logic
Abstract PDF -
BRICS Report Series No. 16 (1997): RS-16 Linear Hashing - Articles
Linear Hashing
Abstract PDF -
BRICS Report Series No. 17 (1997): RS-17 Error Correcting Codes, Perfect Hashing Circuits, and Deterministic Dynamic Dictionaries - Articles
Error Correcting Codes, Perfect Hashing Circuits, and Deterministic Dynamic Dictionaries
Abstract PDF -
BRICS Report Series No. 18 (1997): RS-18 How to Believe a Machine-Checked Proof - Articles
How to Believe a Machine-Checked Proof
Abstract PDF -
BRICS Report Series No. 20 (1997): RS-20 Classifying Toposes for First Order Theories - Articles
Classifying Toposes for First Order Theories
Abstract PDF -
BRICS Report Series No. 21 (1997): RS-21 Topological Completeness for Higher-Order Logic - Articles
Topological Completeness for Higher-Order Logic
Abstract PDF -
BRICS Report Series No. 22 (1997): RS-22 Syntax and Semantics of the logic L_omega omega^lambda - Articles
Syntax and Semantics of the logic L_omega omega^lambda
Abstract PDF -
BRICS Report Series No. 23 (1997): RS-23 On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness - Articles
On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness
Abstract PDF -
BRICS Report Series No. 24 (1997): RS-24 Relational Reasoning about Contexts - Articles
Relational Reasoning about Contexts
Abstract PDF -
BRICS Report Series No. 25 (1997): RS-25 Searching ConstantWidth Mazes Captures the AC0 Hierarchy - Articles
Searching Constant Width Mazes Captures the AC0 Hierarchy
Abstract PDF -
BRICS Report Series No. 26 (1997): RS-26 A Characterization of Finitary Bisimulation - Articles
A Characterization of Finitary Bisimulation
Abstract PDF -
BRICS Report Series No. 27 (1997): RS-27 Zero-Knowledge Proofs for Finite Field Arithmetic or: Can Zero-Knowledge be for Free? - Articles
Zero-Knowledge Proofs for Finite Field Arithmetic or: Can Zero-Knowledge be for Free?
Abstract PDF -
BRICS Report Series No. 28 (1997): RS-28 Span Programs and General Secure Multi-Party Computation - Articles
Span Programs and General Secure Multi-Party Computation
Abstract PDF -
BRICS Report Series No. 29 (1997): RS-29 Model Checking via Reachability Testing for Timed Automata - Articles
Model Checking via Reachability Testing for Timed Automata
Abstract PDF -
BRICS Report Series No. 30 (1997): RS-30 Proof Theory and Computational Analysis - Articles
Proof Theory and Computational Analysis
Abstract PDF -
BRICS Report Series No. 31 (1997): RS-31 Formal Modeling and Analysis of an Audio/Video Protocol: An Industrial Case Study Using UPPAAL - Articles
Formal Modeling and Analysis of an Audio/Video Protocol: An Industrial Case Study Using UPPAAL
Abstract PDF -
BRICS Report Series No. 32 (1997): RS-32 Hardness Results for Dynamic Problems by Extensions of Fredman and Saks’ Chronogram Method - Articles
Hardness Results for Dynamic Problems by Extensions of Fredman and Saks’ Chronogram Method
Abstract PDF -
BRICS Report Series No. 33 (1997): RS-33 A Note on Frame Distributions - Articles
A Note on Frame Distributions
Abstract PDF -
BRICS Report Series No. 34 (1997): RS-34 Presheaf Models for the pi-Calculus - Articles
Presheaf Models for the pi-Calculus
Abstract PDF -
BRICS Report Series No. 35 (1997): RS-35 A Theory of Recursive Domains with Applications to Concurrency - Articles
A Theory of Recursive Domains with Applications to Concurrency
Abstract PDF -
BRICS Report Series No. 36 (1997): RS-36 Relational Semantics of Non-Deterministic Dataflow - Articles
Relational Semantics of Non-Deterministic Dataflow
Abstract PDF -
BRICS Report Series No. 37 (1997): RS-37 Fast Distributed Algorithms for Brooks-Vizing Colourings (Extended Abstract) - Articles
Fast Distributed Algorithms for Brooks-Vizing Colourings (Extended Abstract)
Abstract PDF -
BRICS Report Series No. 38 (1997): RS-38 On the Distributed Complexity of Computing Maximal Matchings - Articles
On the Distributed Complexity of Computing Maximal Matchings
Abstract PDF -
BRICS Report Series No. 39 (1997): RS-39 Names, Equations, Relations: Practical Ways to Reason about new - Articles
Names, Equations, Relations: Practical Ways to Reason about new
Abstract PDF -
BRICS Report Series No. 40 (1997): RS-40 Quantum Entanglement and Communication Complexity - Articles
Quantum Entanglement and Communication Complexity
Abstract PDF -
BRICS Report Series No. 41 (1997): RS-41 A Relational Account of Call-by-Value Sequentiality - Articles
A Relational Account of Call-by-Value Sequentiality
Abstract PDF -
BRICS Report Series No. 42 (1997): RS-42 On the No-Counterexample Interpretation - Articles
On the No-Counterexample Interpretation
Abstract PDF -
BRICS Report Series No. 43 (1997): RS-43 Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation (Preliminary Version) - Articles
Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation (Preliminary Version)
Abstract PDF -
BRICS Report Series No. 44 (1997): RS-44 On the Density of Normal Bases in Finite Fields - Articles
On the Density of Normal Bases in Finite Fields
Abstract PDF -
BRICS Report Series No. 45 (1997): RS-45 What Is a ‘Good’ Encoding of Guarded Choice? - Articles
What Is a ‘Good’ Encoding of Guarded Choice?
Abstract PDF -
BRICS Report Series No. 46 (1997): RS-46 Higher-Order Rewriting and Partial Evaluation - Articles
Higher-Order Rewriting and Partial Evaluation
Abstract PDF -
BRICS Report Series No. 47 (1997): RS-47 Distributed Safety Controllers for Web Services - Articles
Distributed Safety Controllers for Web Services
Abstract PDF -
BRICS Report Series No. 48 (1997): RS-48 CoFI: The Common Framework Initiative for Algebraic Specification and Development - Articles
CoFI: The Common Framework Initiative for Algebraic Specification and Development
Abstract PDF -
BRICS Report Series No. 49 (1997): RS-49 CASL for ASF+SDF Users - Articles
CASL for ASF+SDF Users
Abstract PDF -
BRICS Report Series No. 50 (1997): RS-50 Sequential Iteration of Interactive Arguments and an Efficient Zero-Knowledge Argument for NP - Articles
Sequential Iteration of Interactive Arguments and an Efficient Zero-Knowledge Argument for NP
Abstract PDF -
BRICS Report Series No. 51 (1997): RS-51 Some Lambda Calculus and Type Theory Formalized - Articles
Some Lambda Calculus and Type Theory Formalized
Abstract PDF -
BRICS Report Series No. 52 (1997): RS-52 On the Finitary Characterization of pi-Congruences - Articles
On the Finitary Characterization of pi-Congruences
Abstract PDF -
BRICS Report Series No. 53 (1997): RS-53 Online Type-Directed Partial Evaluation - Articles
Online Type-Directed Partial Evaluation
Abstract PDF -
BRICS Report Series No. 1 (1998): RS-01 A Simple Solution to Type Specialization - Articles
A Simple Solution to Type Specialization
Abstract PDF -
BRICS Report Series No. 3 (1998): RS-03 Comparison of Coding DNA - Articles
Comparison of Coding DNA
Abstract PDF -
BRICS Report Series No. 4 (1998): RS-04 Timed Bisimulation and Open Maps - Articles
Timed Bisimulation and Open Maps
Abstract PDF -
BRICS Report Series No. 6 (1998): RS-06 Further Results on Partial Order Equivalences on Infinite Systems - Articles
Further Results on Partial Order Equivalences on Infinite Systems
Abstract PDF -
BRICS Report Series No. 7 (1998): RS-07 Marked Ancestor Problems (Preliminary Version) - Articles
Marked Ancestor Problems (Preliminary Version)
Abstract PDF -
BRICS Report Series No. 8 (1998): RS-08 Distributed Versions of Linear Time Temporal Logic: A Trace Perspective - Articles
Distributed Versions of Linear Time Temporal Logic: A Trace Perspective
Abstract PDF -
BRICS Report Series No. 9 (1998): RS-09 Encoding Types in ML-like Languages (Preliminary Version) - Articles
Encoding Types in ML-like Languages (Preliminary Version)
Abstract PDF -
BRICS Report Series No. 10 (1998): RS-10 Optimal Time-Space Trade-Offs for Sorting - Articles
Optimal Time-Space Trade-Offs for Sorting
Abstract PDF -
BRICS Report Series No. 11 (1998): RS-11 Lower Bounds for Dynamic Algebraic Problems - Articles
Lower Bounds for Dynamic Algebraic Problems
Abstract PDF -
BRICS Report Series No. 12 (1998): RS-12 Functional Unparsing - Articles
Functional Unparsing
Abstract PDF -
BRICS Report Series No. 13 (1998): RS-13 Compiling Actions by Partial Evaluation, Revisited - Articles
Compiling Actions by Partial Evaluation, Revisited
Abstract PDF -
BRICS Report Series No. 14 (1998): RS-14 The Hardness of Speeding-up Knapsack - Articles
The Hardness of Speeding-up Knapsack
Abstract PDF -
BRICS Report Series No. 15 (1998): RS-15 Assessing the Overhead of ML Exceptions by Selective CPS Transformation - Articles
Assessing the Overhead of ML Exceptions by Selective CPS Transformation
Abstract PDF -
BRICS Report Series No. 17 (1998): RS-17 A Comparison of Petri Net Semantics under the Collective Token Philosophy - Articles
A Comparison of Petri Net Semantics under the Collective Token Philosophy
Abstract PDF -
BRICS Report Series No. 18 (1998): RS-18 Things that can and things that can’t be done in PRA - Articles
Things that can and things that can’t be done in PRA
Abstract PDF -
BRICS Report Series No. 19 (1998): RS-19 Generating Hard Tautologies Using Predicate Logic and the Symmetric Group - Articles
Generating Hard Tautologies Using Predicate Logic and the Symmetric Group
Abstract PDF -
BRICS Report Series No. 20 (1998): RS-20 Uniformly Generated Submodules of Permutation Modules - Articles
Uniformly Generated Submodules of Permutation Modules
Abstract PDF -
BRICS Report Series No. 21 (1998): RS-21 A Representation Result for Free Cocompletions - Articles
A Representation Result for Free Cocompletions
Abstract PDF -
BRICS Report Series No. 22 (1998): RS-22 A Categorical Axiomatics for Bisimulation - Articles
A Categorical Axiomatics for Bisimulation
Abstract PDF -
BRICS Report Series No. 23 (1998): RS-23 Martingales and Locality in Distributed Computing - Articles
Martingales and Locality in Distributed Computing
Abstract PDF -
BRICS Report Series No. 24 (1998): RS-24 Talagrand’s Inequality and Locality in Distributed Computing - Articles
Talagrand’s Inequality and Locality in Distributed Computing
Abstract PDF -
BRICS Report Series No. 25 (1998): RS-25 Talagrand’s Inequality in Hereditary Settings - Articles
Talagrand’s Inequality in Hereditary Settings
Abstract PDF -
BRICS Report Series No. 26 (1998): RS-26 On Encoding p pi in m pi - Articles
On Encoding p pi in m pi
Abstract PDF -
BRICS Report Series No. 27 (1998): RS-27 A Group Signature Scheme Based on an RSA-Variant - Articles
A Group Signature Scheme Based on an RSA-Variant
Abstract PDF -
BRICS Report Series No. 28 (1998): RS-28 Low Redundancy in Dictionaries with O(1) Worst Case Lookup Time - Articles
Low Redundancy in Dictionaries with O(1) Worst Case Lookup Time
Abstract PDF -
BRICS Report Series No. 29 (1998): RS-29 Proving in Zero-Knowledge that a Number is the Product of Two Safe Primes - Articles
Proving in Zero-Knowledge that a Number is the Product of Two Safe Primes
Abstract PDF -
BRICS Report Series No. 30 (1998): RS-30 Finitely Presented Heyting Algebras - Articles
Finitely Presented Heyting Algebras
Abstract PDF -
BRICS Report Series No. 31 (1998): RS-31 A Linear Metalanguage for Concurrency - Articles
A Linear Metalanguage for Concurrency
Abstract PDF -
BRICS Report Series No. 32 (1998): RS-32 Verifiable Encryption and Applications to Group Signatures and Signature Sharing - Articles
Verifiable Encryption and Applications to Group Signatures and Signature Sharing
Abstract PDF -
BRICS Report Series No. 33 (1998): RS-33 Migration = Cloning ; Aliasing (Preliminary Version) - Articles
Migration = Cloning ; Aliasing (Preliminary Version)
Abstract PDF -
BRICS Report Series No. 34 (1998): RS-34 The Complexity of Identifying Large Equivalence Classes - Articles
The Complexity of Identifying Large Equivalence Classes
Abstract PDF -
BRICS Report Series No. 36 (1998): RS-36 Efficient Multiparty Computations with Dishonest Minority - Articles
Efficient Multiparty Computations with Dishonest Minority
Abstract PDF -
BRICS Report Series No. 37 (1998): RS-37 On the (Im)possibility of Basing Oblivious Transfer and Bit Commitment on Weakened Security Assumptions - Articles
On the (Im)possibility of Basing Oblivious Transfer and Bit Commitment on Weakened Security Assumptions
Abstract PDF -
BRICS Report Series No. 38 (1998): RS-38 An n-ary zipWith in Haskell - Articles
An n-ary zipWith in Haskell
Abstract PDF -
BRICS Report Series No. 39 (1998): RS-39 An Interpretation of the Fan Theorem in Type Theory - Articles
An Interpretation of the Fan Theorem in Type Theory
Abstract PDF -
BRICS Report Series No. 40 (1998): RS-40 A Compositional Proof System for the Modal mu-Calculus - Articles
A Compositional Proof System for the Modal mu-Calculus
Abstract PDF -
BRICS Report Series No. 41 (1998): RS-41 The Computational Strength of Extensions of Weak König’s Lemma - Articles
The Computational Strength of Extensions of Weak König’s Lemma
Abstract PDF -
BRICS Report Series No. 42 (1998): RS-42 Semantics, Modularity, and Rewriting Logic - Articles
Semantics, Modularity, and Rewriting Logic
Abstract PDF -
BRICS Report Series No. 43 (1998): RS-43 CASL: A Guided Tour of its Design - Articles
CASL: A Guided Tour of its Design
Abstract PDF -
BRICS Report Series No. 44 (1998): RS-44 Towards Re-usable Real-Time Objects - Articles
Towards Re-usable Real-Time Objects
Abstract PDF -
BRICS Report Series No. 45 (1998): RS-45 Real-Time Layered Video Compression using SIMD Computation - Articles
Real-Time Layered Video Compression using SIMD Computation
Abstract PDF -
BRICS Report Series No. 46 (1998): RS-46 Clock Difference Diagrams - Articles
Clock Difference Diagrams
Abstract PDF -
BRICS Report Series No. 47 (1998): RS-47 Efficient Timed Reachability Analysis using Clock Difference Diagrams - Articles
Efficient Timed Reachability Analysis using Clock Difference Diagrams
Abstract PDF -
BRICS Report Series No. 48 (1998): RS-48 The Power of Reachability Testing for Timed Automata - Articles
The Power of Reachability Testing for Timed Automata
Abstract PDF -
BRICS Report Series No. 49 (1998): RS-49 A Cook’s Tour of Equational Axiomatizations for Prefix Iteration - Articles
A Cook’s Tour of Equational Axiomatizations for Prefix Iteration
Abstract PDF -
BRICS Report Series No. 50 (1998): RS-50 Testing Hennessy-Milner Logic with Recursion - Articles
Testing Hennessy-Milner Logic with Recursion
Abstract PDF -
BRICS Report Series No. 51 (1998): RS-51 Automated Modeling of Real-Time Implementation - Articles
Automated Modeling of Real-Time Implementation
Abstract PDF -
BRICS Report Series No. 52 (1998): RS-52 Imperative Objects and Mobile Processes - Articles
Imperative Objects and Mobile Processes
Abstract PDF -
BRICS Report Series No. 53 (1998): RS-53 Fixpoint Alternation: Arithmetic, Transition Systems, and the Binary Tree - Articles
Fixpoint Alternation: Arithmetic, Transition Systems, and the Binary Tree
Abstract PDF -
BRICS Report Series No. 55 (1998): RS-55 Compilation and Equivalence of Imperative Objects (Revised Report) - Articles
Compilation and Equivalence of Imperative Objects (Revised Report)
Abstract PDF -
BRICS Report Series No. 1 (1999): RS-1 Hereditary History Preserving Simulation is Undecidable - Articles
Hereditary History Preserving Simulation is Undecidable
Abstract PDF -
BRICS Report Series No. 1 (1996): RS-1 A Communication Complexity Proof that Symmetric Functions have Logarithmic Depth - Articles
A Communication Complexity Proof that Symmetric Functions have Logarithmic Depth
Abstract PDF -
BRICS Report Series No. 1 (1995): RS-01 Dynamic Algorithms for the Dyck Languages - Articles
Dynamic Algorithms for the Dyck Languages
Abstract PDF -
BRICS Report Series No. 2 (1995): RS-02 From Timed Automata to Logic and Back - Articles
From Timed Automata to Logic - and Back
Abstract PDF -
BRICS Report Series No. 3 (1995): RS-03 A Semantic Theory for Value–Passing Processes Late Approach Part I: A DenotationalModel and Its Complete Axiomatiz - Articles
A Semantic Theory for Value–Passing Processes Late Approach Part I: A Denotational Model and Its Complete Axiomatization
Abstract PDF -
BRICS Report Series No. 4 (1995): RS-04 Petri Nets and Bisimulations - Articles
Petri Nets and Bisimulations
Abstract PDF -
BRICS Report Series No. 5 (1995): RS-05 A Complete Equational Axiomatization for Prefix Iteration with Silent Steps - Articles
A Complete Equational Axiomatization for Prefix Iteration with Silent Steps
Abstract PDF -
BRICS Report Series No. 6 (1995): RS-06 A Complete Deductive System for the mu-Calculus - Articles
A Complete Deductive System for the mu-Calculus
Abstract PDF -
BRICS Report Series No. 7 (1995): RS-07 Hardware Verification using Monadic Second-Order Logic - Articles
Hardware Verification using Monadic Second-Order Logic
Abstract PDF -
BRICS Report Series No. 8 (1995): RS-08 Type Inference of Turbo Pascal - Articles
Type Inference of Turbo Pascal
Abstract PDF -
BRICS Report Series No. 9 (1995): RS-09 Partial and Higher Order Differentials and Applications to the DES - Articles
Partial and Higher Order Differentials and Applications to the DES
Abstract PDF -
BRICS Report Series No. 10 (1995): RS-10 Transforming Comparison Model Lower Bounds to the PRAM - Articles
Transforming Comparison Model Lower Bounds to the PRAM
Abstract PDF -
BRICS Report Series No. 11 (1995): RS-11 An Optimal O(log log n) Time Parallel Algorithm for Detecting all Squares in a String - Articles
An Optimal O(log log n) Time Parallel Algorithm for Detecting all Squares in a String
Abstract PDF -
BRICS Report Series No. 12 (1995): RS-12 Fast Meldable Priority Queues - Articles
Fast Meldable Priority Queues
Abstract PDF -
BRICS Report Series No. 13 (1995): RS-13 The Girard Translation Extended with Recursion - Articles
The Girard Translation Extended with Recursion
Abstract PDF -
BRICS Report Series No. 15 (1995): RS-15 The Fourth Moment in Luby's Distribution - Articles
The Fourth Moment in Luby's Distribution
Abstract PDF -
BRICS Report Series No. 16 (1995): RS-16 Optimal Parallel Construction of Minimal Suffix and Factor Automata - Articles
Optimal Parallel Construction of Minimal Suffix and Factor Automata
Abstract PDF -
BRICS Report Series No. 17 (1995): RS-17 Design Architectures through Category Constraints - Articles
Design Architectures through Category Constraints
Abstract PDF -
BRICS Report Series No. 18 (1995): RS-18 Complexity Results for Model Checking - Articles
Complexity Results for Model Checking
Abstract PDF -
BRICS Report Series No. 19 (1995): RS-19 Compositional Model Checking of Real Time Systems - Articles
Compositional Model Checking of Real Time Systems
Abstract PDF -
BRICS Report Series No. 20 (1995): RS-20 The Constructive Lift Monad - Articles
The Constructive Lift Monad
Abstract PDF -
BRICS Report Series No. 21 (1995): RS-21 MONA: Monadic Second-Order Logic in Practice - Articles
MONA: Monadic Second-Order Logic in Practice
Abstract PDF -
BRICS Report Series No. 22 (1995): RS-22 A Semantic Theory for Value–Passing Processes Late Approach Part II: A Behavioural Semantics and Full Abstractness - Articles
A Semantic Theory for Value–Passing Processes Late Approach Part II: A Behavioural Semantics and Full Abstractness
Abstract PDF -
BRICS Report Series No. 23 (1995): RS-23 Open Maps (at) Work - Articles
Open Maps (at) Work
Abstract PDF -
BRICS Report Series No. 24 (1995): RS-24 Can you Trust your Data? - Articles
Can you Trust your Data?
Abstract PDF -
BRICS Report Series No. 25 (1995): RS-25 Basic Action Theory - Articles
Basic Action Theory
Abstract PDF -
BRICS Report Series No. 26 (1995): RS-26 Tables should be sorted (on random access machines) - Articles
Tables should be sorted (on random access machines)
Abstract PDF -
BRICS Report Series No. 27 (1995): RS-27 Automata for the mu-calculus and Related Results - Articles
Automata for the mu-calculus and Related Results
Abstract PDF -
BRICS Report Series No. 28 (1995): RS-28 A Complete Equational Axiomatization for MPA with String Iteration - Articles
A Complete Equational Axiomatization for MPA with String Iteration
Abstract PDF -
BRICS Report Series No. 29 (1995): RS-29 An n log n Algorithm for Online BDD Refinement - Articles
An n log n Algorithm for Online BDD Refinement
Abstract PDF -
BRICS Report Series No. 30 (1995): RS-30 From Branching to Linear Metric Domains (and back) - Articles
From Branching to Linear Metric Domains (and back)
Abstract PDF -
BRICS Report Series No. 31 (1995): RS-31 Trust in the lambda-calculus - Articles
Trust in the lambda-calculus
Abstract PDF -
BRICS Report Series No. 32 (1995): RS-32 Efficient Inference of Object Types - Articles
Efficient Inference of Object Types
Abstract PDF -
BRICS Report Series No. 33 (1995): RS-33 Type Inference with Nonstructural Subtyping - Articles
Type Inference with Nonstructural Subtyping
Abstract PDF -
BRICS Report Series No. 34 (1995): RS-34 Type Inference with Selftype - Articles
Type Inference with Selftype
Abstract PDF -
BRICS Report Series No. 35 (1995): RS-35 Constructing Fixed-Point Combinators Using Application Survival - Articles
Constructing Fixed-Point Combinators Using Application Survival
Abstract PDF -
BRICS Report Series No. 36 (1995): RS-36 Nonprimitive Recursive Function Definitions - Articles
Non-primitive Recursive Function Definitions
Abstract PDF -
BRICS Report Series No. 37 (1995): RS-37 Experiments with ZF Set Theory in HOL and Isabelle - Articles
Experiments with ZF Set Theory in HOL and Isabelle
Abstract PDF -
BRICS Report Series No. 39 (1995): RS-39 Petri Nets, Traces, and Local Model Checking - Articles
Petri Nets, Traces, and Local Model Checking
Abstract PDF -
BRICS Report Series No. 40 (1995): RS-40 A Fully Abstract Denotational Model for Observational Congruence - Articles
A Fully Abstract Denotational Model for Observational Congruence
Abstract PDF -
BRICS Report Series No. 42 (1995): RS-42 An Adequate Left-Associated Binary Numeral System in the lambda-Calculus - Articles
An Adequate Left-Associated Binary Numeral System in the lambda-Calculus
Abstract PDF -
BRICS Report Series No. 43 (1995): RS-43 Lower Bounds on Arithmetic Circuits via Partial Derivatives (Preliminary Version) - Articles
Lower Bounds on Arithmetic Circuits via Partial Derivatives (Preliminary Version)
Abstract PDF -
BRICS Report Series No. 44 (1995): RS-44 Monadic Second-Order Logic, Graphs and Unfoldings of Transition Systems - Articles
Monadic Second-Order Logic, Graphs and Unfoldings of Transition Systems
Abstract PDF -
BRICS Report Series No. 45 (1995): RS-45 Dynamic Maintenance of Majority Information in Constant Time per Update - Articles
Dynamic Maintenance of Majority Information in Constant Time per Update
Abstract PDF -
BRICS Report Series No. 46 (1995): RS-46 On the Comparison Complexity of the String Prefix-Matching Problem - Articles
On the Comparison Complexity of the String Prefix-Matching Problem
Abstract PDF -
BRICS Report Series No. 47 (1995): RS-47 The Suffix Tree of a Tree and Minimizing Sequential Transducers - Articles
The Suffix Tree of a Tree and Minimizing Sequential Transducers
Abstract PDF -
BRICS Report Series No. 48 (1995): RS-48 Simple Proofs of Occupancy Tail Bounds - Articles
Simple Proofs of Occupancy Tail Bounds
Abstract PDF -
BRICS Report Series No. 49 (1995): RS-49 Solving Equations in the lambda-Calculus using Syntactic Encapsulation - Articles
Solving Equations in the lambda-Calculus using Syntactic Encapsulation
Abstract PDF -
BRICS Report Series No. 50 (1995): RS-50 On Competitive On-Line Paging with Lookahead - Articles
On Competitive On-Line Paging with Lookahead
Abstract PDF -
BRICS Report Series No. 51 (1995): RS-51 A Temporal-Logic Approach to Binding-Time Analysis - Articles
A Temporal-Logic Approach to Binding-Time Analysis
Abstract PDF -
BRICS Report Series No. 52 (1995): RS-52 Deciding Regularity in Process Algebras - Articles
Deciding Regularity in Process Algebras
Abstract PDF -
BRICS Report Series No. 53 (1995): RS-53 Automated Logical Verification based on Trace Abstractions - Articles
Automated Logical Verification based on Trace Abstractions
Abstract PDF -
BRICS Report Series No. 54 (1995): RS-54 A Case Study in Automated Verification Based on Trace Abstractions - Articles
A Case Study in Automated Verification Based on Trace Abstractions
Abstract PDF -
BRICS Report Series No. 55 (1995): RS-55 Behavioural Equivalence for Infinite Systems—Partially Decidable! - Articles
Behavioural Equivalence for Infinite Systems—Partially Decidable!
Abstract PDF -
BRICS Report Series No. 56 (1995): RS-56 Axiomatizing Prefix Iteration with Silent Steps - Articles
Axiomatizing Prefix Iteration with Silent Steps
Abstract PDF -
BRICS Report Series No. 57 (1995): RS-57 Topological Aspects of Traces - Articles
Topological Aspects of Traces
Abstract PDF -
BRICS Report Series No. 58 (1995): RS-58 Determinizing Asynchronous Automata on Infinite Inputs - Articles
Determinizing Asynchronous Automata on Infinite Inputs
Abstract PDF -
BRICS Report Series No. 59 (1995): RS-59 On the Finitary Bisimulation - Articles
On the Finitary Bisimulation
Abstract PDF -
BRICS Report Series No. 60 (1995): RS-60 Specification and Automated Verification of Real-Time Behaviour —A Case Study - Articles
Specification and Automated Verification of Real-Time Behaviour —A Case Study
Abstract PDF -
BRICS Report Series No. 2 (1996): RS-2 Open Maps, Behavioural Equivalences, and Congruences - Articles
Open Maps, Behavioural Equivalences, and Congruences
Abstract PDF -
BRICS Report Series No. 3 (1996): RS-3 The Modified Realizability Topos - Articles
The Modified Realizability Topos
Abstract PDF -
BRICS Report Series No. 5 (1996): RS-5 Gödelisation in the lambda-Calculus (Extended Version) - Articles
Gödelisation in the lambda-Calculus (Extended Version)
Abstract PDF -
BRICS Report Series No. 6 (1996): RS-6 An Adequate Left-Associated Binary Numeral System in the lambda-Calculus (Revised Version) - Articles
An Adequate Left-Associated Binary Numeral System in the lambda-Calculus (Revised Version)
Abstract PDF -
BRICS Report Series No. 7 (1996): RS-7 Linear Zero-Knowledgde - A Note on Efficient Zero-Knowledge Proofs and Arguments - Articles
Linear Zero-Knowledgde. A Note on Efficient Zero-Knowledge Proofs and Arguments
Abstract PDF -
BRICS Report Series No. 8 (1996): RS-8 Bisimulations for Asynchronous Mobile Processes - Articles
Bisimulations for Asynchronous Mobile Processes
Abstract PDF -
BRICS Report Series No. 9 (1996): RS-9 Lower Bounds for Dynamic Transitive Closure, Planar Point Location, and Parentheses Matching - Articles
Lower Bounds for Dynamic Transitive Closure, Planar Point Location, and Parentheses Matching
Abstract PDF -
BRICS Report Series No. 10 (1996): RS-10 Cut-Elimination for Full Intuitionistic Linear Logic - Articles
Cut-Elimination for Full Intuitionistic Linear Logic
Abstract PDF -
BRICS Report Series No. 11 (1996): RS-11 Near-Optimal, Distributed Edge Colouring via the Nibble Method - Articles
Near-Optimal, Distributed Edge Colouring via the Nibble Method
Abstract PDF -
BRICS Report Series No. 12 (1996): RS-12 External-Memory Algorithms for Processing Line Segments in Geographic Information Systems - Articles
External-Memory Algorithms for Processing Line Segments in Geographic Information Systems
Abstract PDF -
BRICS Report Series No. 13 (1996): RS-13 Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation - Articles
Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation
Abstract PDF -
BRICS Report Series No. 15 (1996): RS-15 Pragmatic Aspects of Type-Directed Partial Evaluation - Articles
Pragmatic Aspects of Type-Directed Partial Evaluation
Abstract PDF -
BRICS Report Series No. 16 (1996): RS-16 Detecting Deadlocks in Concurrent Systems - Articles
Detecting Deadlocks in Concurrent Systems
Abstract PDF -
BRICS Report Series No. 17 (1996): RS-17 Eta-Expansion Does The Trick (Revised Version) - Articles
Eta-Expansion Does The Trick (Revised Version)
Abstract PDF -
BRICS Report Series No. 18 (1996): RS-18 Comparing Transition Systems with Independence and Asynchronous Transition Systems - Articles
Comparing Transition Systems with Independence and Asynchronous Transition Systems
Abstract PDF -
BRICS Report Series No. 19 (1996): RS-19 Thunks and the lambda-Calculus - Articles
Thunks and the lambda-Calculus
Abstract PDF -
BRICS Report Series No. 20 (1996): RS-20 Back to Direct Style II: First-Class Continuations - Articles
Back to Direct Style II: First-Class Continuations
Abstract PDF -
BRICS Report Series No. 21 (1996): RS-21 Rotation of Periodic Strings and Short Superstrings - Articles
Rotation of Periodic Strings and Short Superstrings
Abstract PDF -
BRICS Report Series No. 22 (1996): RS-22 An Equational Axiomatization for Multi-Exit Iteration - Articles
An Equational Axiomatization for Multi-Exit Iteration
Abstract PDF -
BRICS Report Series No. 23 (1996): RS-23 A Menagerie of Non-Finitely Based Process Semantics over BPA*: From Ready Simulation Semantics to Completed Traces - Articles
A Menagerie of Non-Finitely Based Process Semantics over BPA*: From Ready Simulation Semantics to Completed Traces
Abstract PDF -
BRICS Report Series No. 24 (1996): RS-24 Modelling and Analysis of a Collision Avoidance Protocol using SPIN and UPPAAL - Articles
Modelling and Analysis of a Collision Avoidance Protocol using SPIN and UPPAAL
Abstract PDF -
BRICS Report Series No. 25 (1996): RS-25 Balls and Bins: A Study in Negative Dependence - Articles
Balls and Bins: A Study in Negative Dependence
Abstract PDF -
BRICS Report Series No. 26 (1996): RS-26 BDD Algortihms and Cache Misses - Articles
BDD Algortihms and Cache Misses
Abstract PDF -
BRICS Report Series No. 27 (1996): RS-27 Negative Dependence Through the FKG Inequality - Articles
Negative Dependence Through the FKG Inequality
Abstract PDF -
BRICS Report Series No. 28 (1996): RS-28 The Buffer Tree: A New Technique for Optimal I/O Algorithms - Articles
The Buffer Tree: A New Technique for Optimal I/O Algorithms
Abstract PDF -
BRICS Report Series No. 29 (1996): RS-29 The I/O-Complexity of Ordered Binary-Decision Diagram Manipulation - Articles
The I/O-Complexity of Ordered Binary-Decision Diagram Manipulation
Abstract PDF -
BRICS Report Series No. 30 (1996): RS-30 Fusion Trees can be Implemented with AC0 Instructions only - Articles
Fusion Trees can be Implemented with AC0 Instructions only
Abstract PDF -
BRICS Report Series No. 32 (1996): RS-32 Regular Trace Event Structures - Articles
Regular Trace Event Structures
Abstract PDF -
BRICS Report Series No. 33 (1996): RS-33 The Computational Complexity of Some Problems of Linear Algebra - Articles
The Computational Complexity of Some Problems of Linear Algebra
Abstract PDF -
BRICS Report Series No. 34 (1996): RS-34 A Computational Formalization for Partial Evaluation (Extended Version) - Articles
A Computational Formalization for Partial Evaluation (Extended Version)
Abstract PDF -
BRICS Report Series No. 35 (1996): RS-35 Presheaf Models for Concurrency - Articles
Presheaf Models for Concurrency
Abstract PDF -
BRICS Report Series No. 36 (1996): RS-36 On a Question of A. Salomaa: The Equational Theory of Regular Expressions over a Singleton Alphabet is not Finitel - Articles
On a Question of Arto Salomaa: The Equational Theory of Regular Expressions over a Singleton Alphabet is not Finitely Based
Abstract PDF -
BRICS Report Series No. 37 (1996): RS-37 Optimal Purely Functional Priority Queues - Articles
Optimal Purely Functional Priority Queues
Abstract PDF -
BRICS Report Series No. 38 (1996): RS-38 Objects as Mobile Processes - Articles
Objects as Mobile Processes
Abstract PDF -
BRICS Report Series No. 39 (1996): RS-39 On the Complexity of Deciding Behavioural Equivalences and Preorders. A Survey - Articles
On the Complexity of Deciding Behavioural Equivalences and Preorders. A Survey
Abstract PDF -
BRICS Report Series No. 40 (1996): RS-40 The Randomized Complexity of Maintaining the Minimum - Articles
The Randomized Complexity of Maintaining the Minimum
Abstract PDF -
BRICS Report Series No. 41 (1996): RS-41 The Fixpoint Bounded-Variable Queries are PSPACE-Complete - Articles
The Fixpoint Bounded-Variable Queries are PSPACE-Complete
Abstract PDF -
BRICS Report Series No. 42 (1996): RS-42 The Complexity of Computing the k-ary Composition of a Binary Associative Operator - Articles
The Complexity of Computing the k-ary Composition of a Binary Associative Operator
Abstract PDF -
BRICS Report Series No. 43 (1996): RS-43 Weak Semantics Based on Lighted Button Pressing Experiments. An Alternative Characterization of the Readiness Sem - Articles
Weak Semantics Based on Lighted Button Pressing Experiments. An Alternative Characterization of the Readiness Semantics
Abstract PDF -
BRICS Report Series No. 44 (1996): RS-44 A Presheaf Semantics of Value-Passing Processes - Articles
A Presheaf Semantics of Value-Passing Processes
Abstract PDF -
BRICS Report Series No. 45 (1996): RS-45 Statistical Secrecy and MultiBit Commitments - Articles
Statistical Secrecy and Multi-Bit Commitments
Abstract PDF -
BRICS Report Series No. 46 (1996): RS-46 A Decision Algorithm for Linear Isomorphism of Types with Complexity Cn(log2(n)) - Articles
A Decision Algorithm for Linear Isomorphism of Types with Complexity Cn(log2(n))
Abstract PDF -
BRICS Report Series No. 47 (1996): RS-47 Meaningful and Meaningless Solutions for Cooperative N-person Games - Articles
Meaningful and Meaningless Solutions for Cooperative N-person Games
Abstract PDF -
BRICS Report Series No. 48 (1996): RS-48 Scalings in Linear Programming: Necessary and Sufficient Conditions for Invariance - Articles
Scalings in Linear Programming: Necessary and Sufficient Conditions for Invariance
Abstract PDF -
BRICS Report Series No. 49 (1996): RS-49 Objects, Types and Modal Logics - Articles
Objects, Types and Modal Logics
Abstract PDF -
BRICS Report Series No. 50 (1996): RS-50 Hypergraph Optimization Problems: Why is the Objective Function Linear? - Articles
Hypergraph Optimization Problems: Why is the Objective Function Linear?
Abstract PDF -
BRICS Report Series No. 51 (1996): RS-51 Rn and Gn Logics - Articles
Rn and Gn Logics
Abstract PDF -
BRICS Report Series No. 52 (1996): RS-52 Combining Algebraic and Set-Theoretic Specifications (Extended Version) - Articles
Combining Algebraic and Set-Theoretic Specifications (Extended Version)
Abstract PDF -
BRICS Report Series No. 53 (1996): RS-53 Theory and Practice of Action Semantics - Articles
Theory and Practice of Action Semantics
Abstract PDF -
BRICS Report Series No. 54 (1996): RS-54 Pushdown Processes: Games and Model Checking - Articles
Pushdown Processes: Games and Model Checking
Abstract PDF -
BRICS Report Series No. 55 (1996): RS-55 A Compositional Proof of a Real-Time Mutual Exclusion Protocol - Articles
A Compositional Proof of a Real-Time Mutual Exclusion Protocol
Abstract PDF -
BRICS Report Series No. 2 (1999): RS-2 An Error in the Mixed Adversary Protocol by Fitzi, Hirt and Maurer - Articles
An Error in the Mixed Adversary Protocol by Fitzi, Hirt and Maurer
Abstract PDF -
BRICS Report Series No. 3 (1999): RS-3 Two Notes on the Computational Complexity of One-Dimensional Sandpiles - Articles
Two Notes on the Computational Complexity of One-Dimensional Sandpiles
Abstract PDF -
BRICS Report Series No. 4 (1999): RS-4 On Plain and Hereditary History-Preserving Bisimulation - Articles
On Plain and Hereditary History-Preserving Bisimulation
Abstract PDF -
BRICS Report Series No. 5 (1999): RS-5 Observational Mu-Calculus - Articles
Observational Mu-Calculus
Abstract PDF -
BRICS Report Series No. 6 (1999): RS-6 Measures on Hidden Markov Models - Articles
Measures on Hidden Markov Models
Abstract PDF -
BRICS Report Series No. 7 (1999): RS-7 Event Structures as Presheaves —Two Representation Theorems - Articles
Event Structures as Presheaves —Two Representation Theorems
Abstract PDF -
BRICS Report Series No. 8 (1999): RS-8 Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL - Articles
Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL
Abstract PDF -
BRICS Report Series No. 9 (1999): RS-9 A Runtime System for Interactive Web Services - Articles
A Runtime System for Interactive Web Services
Abstract PDF -
BRICS Report Series No. 10 (1999): RS-10 A Relational Account of Call-by-Value Sequentiality - Articles
A Relational Account of Call-by-Value Sequentiality
Abstract PDF -
BRICS Report Series No. 11 (1999): RS-11 On the Uniform Weak König’s Lemma - Articles
On the Uniform Weak König’s Lemma
Abstract PDF -
BRICS Report Series No. 12 (1999): RS-12 Finding Maximal Pairs with Bounded Gap - Articles
Finding Maximal Pairs with Bounded Gap
Abstract PDF -
BRICS Report Series No. 13 (1999): RS-13 Hash and Displace: Efficient Evaluation of Minimal Perfect Hash Functions - Articles
Hash and Displace: Efficient Evaluation of Minimal Perfect Hash Functions
Abstract PDF -
BRICS Report Series No. 14 (1999): RS-14 Weak Bisimulation and Open Maps - Articles
Weak Bisimulation and Open Maps
Abstract PDF -
BRICS Report Series No. 15 (1999): RS-15 An Improved Algorithm for RNA Secondary Structure Prediction - Articles
An Improved Algorithm for RNA Secondary Structure Prediction
Abstract PDF -
BRICS Report Series No. 16 (1999): RS-16 Protein Folding in the 2D HP Model - Articles
Protein Folding in the 2D HP Model
Abstract PDF -
BRICS Report Series No. 17 (1999): RS-17 A Semantic Account of Type-Directed Partial Evaluation - Articles
A Semantic Account of Type-Directed Partial Evaluation
Abstract PDF -
BRICS Report Series No. 18 (1999): RS-18 Solving Bit-Vector Equations of Fixed and Non-Fixed Size - Articles
Solving Bit-Vector Equations of Fixed and Non-Fixed Size
Abstract PDF -
BRICS Report Series No. 19 (1999): RS-19 Hereditary History Preserving Bisimilarity is Undecidable - Articles
Hereditary History Preserving Bisimilarity is Undecidable
Abstract PDF -
BRICS Report Series No. 20 (1999): RS-20 A Note on Spector’s Quantifier-Free Rule of Extensionality - Articles
A Note on Spector’s Quantifier-Free Rule of Extensionality
Abstract PDF -
BRICS Report Series No. 21 (1999): RS-21 An Extensional Characterization of Lambda-Lifting and Lambda-Dropping - Articles
An Extensional Characterization of Lambda-Lifting and Lambda-Dropping
Abstract PDF -
BRICS Report Series No. 22 (1999): RS-22 On the Two-Variable Fragment of the Equational Theory of the Max-Sum Algebra of the Natural Numbers - Articles
On the Two-Variable Fragment of the Equational Theory of the Max-Sum Algebra of the Natural Numbers
Abstract PDF -
BRICS Report Series No. 23 (1999): RS-23 On proving syntactic properties of CPS programs - Articles
On proving syntactic properties of CPS programs
Abstract PDF -
BRICS Report Series No. 24 (1999): RS-24 Conservative Extension in Structural Operational Semantics - Articles
Conservative Extension in Structural Operational Semantics
Abstract PDF -
BRICS Report Series No. 25 (1999): RS-25 Finding Maximal Quasiperiodicities in Strings - Articles
Finding Maximal Quasiperiodicities in Strings
Abstract PDF -
BRICS Report Series No. 26 (1999): RS-26 An Expressive Extension of TLC - Articles
An Expressive Extension of TLC
Abstract PDF -
BRICS Report Series No. 27 (1999): RS-27 Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure - Articles
Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure
Abstract PDF -
BRICS Report Series No. 28 (1999): RS-28 A Fully Abstract Presheaf Semantics of SCCS with Finite Delay - Articles
A Fully Abstract Presheaf Semantics of SCCS with Finite Delay
Abstract PDF -
BRICS Report Series No. 29 (1999): RS-29 A Complexity Gap for Tree-Resolution - Articles
A Complexity Gap for Tree-Resolution
Abstract PDF -
BRICS Report Series No. 30 (1999): RS-30 Structural Operational Semantics - Articles
Structural Operational Semantics
Abstract PDF -
BRICS Report Series No. 31 (1999): RS-31 Foundational and Mathematical Uses of Higher Types - Articles
Foundational and Mathematical Uses of Higher Types
Abstract PDF -
BRICS Report Series No. 32 (1999): RS-32 Is your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics - Articles
Is your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics
Abstract PDF -
BRICS Report Series No. 33 (1999): RS-33 The Max-Plus Algebra of the Natural Numbers has no Finite Equational Basis - Articles
The Max-Plus Algebra of the Natural Numbers has no Finite Equational Basis
Abstract PDF -
BRICS Report Series No. 34 (1999): RS-34 Wavelet Based 3D Compression for Very Large Volume Data Supporting Fast Random Access - Articles
Wavelet Based 3D Compression for Very Large Volume Data Supporting Fast Random Access
Abstract PDF -
BRICS Report Series No. 35 (1999): RS-35 Detachments Preserving Local Edge-Connectivity of Graphs - Articles
Detachments Preserving Local Edge-Connectivity of Graphs
Abstract PDF -
BRICS Report Series No. 36 (1999): RS-36 Presheaf Models for CCS-like Languages - Articles
Presheaf Models for CCS-like Languages
Abstract PDF -
BRICS Report Series No. 37 (1999): RS-37 Constrained Edge-Splitting Problems - Articles
Constrained Edge-Splitting Problems
Abstract PDF -
BRICS Report Series No. 38 (1999): RS-38 Linear Time Recognition of P4-Indifferent Graphs - Articles
Linear Time Recognition of P4-Indifferent Graphs
Abstract PDF -
BRICS Report Series No. 39 (1999): RS-39 On the Steiner Tree 3/2-Approximation for Quasi-Bipartite Graphs - Articles
On the Steiner Tree 3/2-Approximation for Quasi-Bipartite Graphs
Abstract PDF -
BRICS Report Series No. 40 (1999): RS-40 The Second Futamura Projection for Type-Directed Partial Evaluation - Articles
The Second Futamura Projection for Type-Directed Partial Evaluation
Abstract PDF -
BRICS Report Series No. 41 (1999): RS-41 Verification of State/Event Systems by Quotienting - Articles
Verification of State/Event Systems by Quotienting
Abstract PDF -
BRICS Report Series No. 42 (1999): RS-42 Decoding Choice Encodings - Articles
Decoding Choice Encodings
Abstract PDF -
BRICS Report Series No. 43 (1999): RS-43 What is a ‘Good’ Encoding of Guarded Choice? - Articles
What is a ‘Good’ Encoding of Guarded Choice?
Abstract PDF -
BRICS Report Series No. 44 (1999): RS-44 Aliasing Models for Mobile Objects - Articles
Aliasing Models for Mobile Objects
Abstract PDF -
BRICS Report Series No. 45 (1999): RS-45 Partial Evaluation for Constraint-Based Program Analyses - Articles
Partial Evaluation for Constraint-Based Program Analyses
Abstract PDF -
BRICS Report Series No. 46 (1999): RS-46 Super-Polynomial Versus Half-Exponential Circuit Size in the Exponential Hierarchy - Articles
Super-Polynomial Versus Half-Exponential Circuit Size in the Exponential Hierarchy
Abstract PDF -
BRICS Report Series No. 47 (1999): RS-47 Derandomizing Arthur-Merlin Games using Hitting Sets - Articles
Derandomizing Arthur-Merlin Games using Hitting Sets
Abstract PDF -
BRICS Report Series No. 48 (1999): RS-48 Faster Deterministic Dictionaries - Articles
Faster Deterministic Dictionaries
Abstract PDF -
BRICS Report Series No. 49 (1999): RS-49 An Approximation Algorithm for Hypergraph Max k-Cut with Given Sizes of Parts - Articles
An Approximation Algorithm for Hypergraph Max k-Cut with Given Sizes of Parts
Abstract PDF -
BRICS Report Series No. 50 (1999): RS-50 Improved Bounds for Dictionary Look-up with One Error - Articles
Improved Bounds for Dictionary Look-up with One Error
Abstract PDF -
BRICS Report Series No. 51 (1999): RS-51 Formalizing Implementation Strategies for First-Class Continuations - Articles
Formalizing Implementation Strategies for First-Class Continuations
Abstract PDF -
BRICS Report Series No. 52 (1999): RS-52 Towards a Theory of Regular MSC Languages - Articles
Towards a Theory of Regular MSC Languages
Abstract PDF -
BRICS Report Series No. 53 (1999): RS-53 Model-Checking Real-Time Control Programs. Verifying LEGO Mindstorms Systems Using UPPAAL - Articles
Model-Checking Real-Time Control Programs. Verifying LEGO Mindstorms Systems Using UPPAAL
Abstract PDF -
BRICS Report Series No. 54 (1999): RS-54 Foundations of Modular SOS - Articles
Foundations of Modular SOS
Abstract PDF -
BRICS Report Series No. 55 (1999): RS-55 Logical Specification of Operational Semantics - Articles
Logical Specification of Operational Semantics
Abstract PDF -
BRICS Report Series No. 56 (1999): RS-56 A Modular SOS for Action Notation - Articles
A Modular SOS for Action Notation
Abstract PDF -
BRICS Report Series No. 57 (1999): RS-57 A Modular SOS for ML Concurrency Primitives - Articles
A Modular SOS for ML Concurrency Primitives
Abstract PDF -
BRICS Report Series No. 1 (2000): RS-1 Pseudoknots in RNA Secondary Structures - Articles
Pseudoknots in RNA Secondary Structures
Abstract PDF -
BRICS Report Series No. 2 (2000): RS-2 Local Logics for Traces - Articles
Local Logics for Traces
Abstract PDF -
BRICS Report Series No. 3 (2000): RS-3 On Memory-Block Traversal Problems in Model Checking Timed Systems - Articles
On Memory-Block Traversal Problems in Model Checking Timed Systems
Abstract PDF -
BRICS Report Series No. 4 (2000): RS-4 A New Trade-off for Deterministic Dictionaries - Articles
A New Trade-off for Deterministic Dictionaries
Abstract PDF -
BRICS Report Series No. 5 (2000): RS-5 Efficient Protocols based on Probabilistic Encryption using Composite Degree Residue Classes - Articles
Efficient Protocols based on Probabilistic Encryption using Composite Degree Residue Classes
Abstract PDF -
BRICS Report Series No. 6 (2000): RS-6 Improved Non-Committing Encryption Schemes based on a General Complexity Assumption - Articles
Improved Non-Committing Encryption Schemes based on a General Complexity Assumption
Abstract PDF -
BRICS Report Series No. 8 (2000): RS-8 Democratic Consensus and the Local Majority Rule - Articles
Democratic Consensus and the Local Majority Rule
Abstract PDF -
BRICS Report Series No. 9 (2000): RS-9 Effective Uniform Bounds on the Krasnoselski-Mann Iteration - Articles
Effective Uniform Bounds on the Krasnoselski-Mann Iteration
Abstract PDF -
BRICS Report Series No. 10 (2000): RS-10 A Tough Nut for Tree Resolution - Articles
A Tough Nut for Tree Resolution
Abstract PDF -
BRICS Report Series No. 11 (2000): RS-11 On Ajtai’s Lower Bound Technique for R-way Branching Programs and the Hamming Distance Problem - Articles
On Ajtai’s Lower Bound Technique for R-way Branching Programs and the Hamming Distance Problem
Abstract PDF -
BRICS Report Series No. 12 (2000): RS-12 Intuitionistic Choice and Restricted Classical Logic - Articles
Intuitionistic Choice and Restricted Classical Logic
Abstract PDF -
BRICS Report Series No. 13 (2000): RS-13 Matching Modulo Associativity and Idempotency is NP-Complete - Articles
Matching Modulo Associativity and Idempotency is NP-Complete
Abstract PDF -
BRICS Report Series No. 14 (2000): RS-14 Multiparty Computation from Threshold Homomorphic Encryption - Articles
Multiparty Computation from Threshold Homomorphic Encryption
Abstract PDF -
BRICS Report Series No. 15 (2000): RS-15 Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation - Articles
Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation
Abstract PDF -
BRICS Report Series No. 16 (2000): RS-16 Complexity of Weak Bisimilarity and Regularity for BPA and BPP - Articles
Complexity of Weak Bisimilarity and Regularity for BPA and BPP
Abstract PDF -
BRICS Report Series No. 17 (2000): RS-17 Modeling a Language for Embedded Systems in Timed Automata - Articles
Modeling a Language for Embedded Systems in Timed Automata
Abstract PDF -
BRICS Report Series No. 18 (2000): RS-18 Language, Semantics, and Methods for Cryptographic Protocols - Articles
Language, Semantics, and Methods for Cryptographic Protocols
Abstract PDF -
BRICS Report Series No. 19 (2000): RS-19 A Note on NP intersection coNP/poly - Articles
A Note on NP intersection coNP/poly
Abstract PDF -
BRICS Report Series No. 20 (2000): RS-20 2-Nested Simulation is not Finitely Equationally Axiomatizable - Articles
2-Nested Simulation is not Finitely Equationally Axiomatizable
Abstract PDF -
BRICS Report Series No. 21 (2000): RS-21 Heuristics for Hierarchical Partitioning with Application to Model Checking - Articles
Heuristics for Hierarchical Partitioning with Application to Model Checking
Abstract PDF -
BRICS Report Series No. 22 (2000): RS-22 Using Automata in Control Synthesis. A Case Study - Articles
Using Automata in Control Synthesis. A Case Study
Abstract PDF -
BRICS Report Series No. 23 (2000): RS-23 Characteristic Formulae for Timed Automata - Articles
Characteristic Formulae for Timed Automata
Abstract PDF -
BRICS Report Series No. 24 (2000): RS-24 Growing Languages with Metamorphic Syntax Macros - Articles
Growing Languages with Metamorphic Syntax Macros
Abstract PDF -
BRICS Report Series No. 25 (2000): RS-25 Continuous Additive Algebras and Injective Simulations of Synchronization Trees - Articles
Continuous Additive Algebras and Injective Simulations of Synchronization Trees
Abstract PDF -
BRICS Report Series No. 26 (2000): RS-26 Modelling and Control of Discrete Event Dynamic Systems - Articles
Modelling and Control of Discrete Event Dynamic Systems
Abstract PDF -
BRICS Report Series No. 27 (2000): RS-27 Inductive * -Semirings - Articles
Inductive * -Semirings
Abstract PDF -
BRICS Report Series No. 28 (2000): RS-28 Free mu-lattices - Articles
Free mu-lattices
Abstract PDF -
BRICS Report Series No. 29 (2000): RS-29 The Alternation Hierarchy for the Theory of u-lattices - Articles
The Alternation Hierarchy for the Theory of mu-lattices
Abstract PDF -
BRICS Report Series No. 30 (2000): RS-30 Practical Threshold RSA Signatures Without a Trusted Dealer - Articles
Practical Threshold RSA Signatures Without a Trusted Dealer
Abstract PDF -
BRICS Report Series No. 31 (2000): RS-31 Partial Evaluation of Pattern Matching in Strings, revisited - Articles
Partial Evaluation of Pattern Matching in Strings, revisited
Abstract PDF -
BRICS Report Series No. 32 (2000): RS-32 The Meaning of Types From Intrinsic to Extrinsic Semantics - Articles
The Meaning of Types From Intrinsic to Extrinsic Semantics
Abstract PDF -
BRICS Report Series No. 33 (2000): RS-33 A Higher-Order Colon Translation - Articles
A Higher-Order Colon Translation
Abstract PDF -
BRICS Report Series No. 34 (2000): RS-34 A Simple Take on Typed Abstract Syntax in Haskell-like Languages - Articles
A Simple Take on Typed Abstract Syntax in Haskell-like Languages
Abstract PDF -
BRICS Report Series No. 35 (2000): RS-35 CPS Transformation of Beta-Redexes - Articles
CPS Transformation of Beta-Redexes
Abstract PDF -
BRICS Report Series No. 36 (2000): RS-36 Dispersing Hash Functions - Articles
Dispersing Hash Functions
Abstract PDF -
BRICS Report Series No. 37 (2000): RS-37 Guided Synthesis of Control Programs for a Batch Plant using UPPAAL - Articles
Guided Synthesis of Control Programs for a Batch Plant using UPPAAL
Abstract PDF -
BRICS Report Series No. 38 (2000): RS-38 Dynamic Partitioning in Linear Relation Analysis. Application to the Verification of Synchronous Programs - Articles
Dynamic Partitioning in Linear Relation Analysis. Application to the Verification of Synchronous Programs
Abstract PDF -
BRICS Report Series No. 39 (2000): RS-39 The Pointer Assertion Logic Engine - Articles
The Pointer Assertion Logic Engine
Abstract PDF -
BRICS Report Series No. 40 (2000): RS-40 MONA Implementation Secrets - Articles
MONA Implementation Secrets
Abstract PDF -
BRICS Report Series No. 41 (2000): RS-41 The DSD Schema Language and its Applications - Articles
The DSD Schema Language and its Applications
Abstract PDF -
BRICS Report Series No. 42 (2000): RS-42 The bigwig Project - Articles
The bigwig Project
Abstract PDF -
BRICS Report Series No. 43 (2000): RS-43 PowerForms: Declarative Client-Side Form Field Validation - Articles
PowerForms: Declarative Client-Side Form Field Validation
Abstract PDF -
BRICS Report Series No. 44 (2000): RS-44 The Second Futamura Projection for Type-Directed Partial Evaluation - Articles
The Second Futamura Projection for Type-Directed Partial Evaluation
Abstract PDF -
BRICS Report Series No. 45 (2000): RS-45 A Generalisation, a Simplification and some Applications of Paillier’s Probabilistic Public-Key System - Articles
A Generalisation, a Simplification and some Applications of Paillier’s Probabilistic Public-Key System
Abstract PDF -
BRICS Report Series No. 46 (2000): RS-46 Reasoning About Code-Generation in Two-Level Languages - Articles
Reasoning About Code-Generation in Two-Level Languages
Abstract PDF -
BRICS Report Series No. 47 (2000): RS-47 A Denotational Investigation of Defunctionalization - Articles
A Denotational Investigation of Defunctionalization
Abstract PDF -
BRICS Report Series No. 48 (2000): RS-48 A Discrete Stratety Improvement Algorithm for Solving Parity Games - Articles
A Discrete Stratety Improvement Algorithm for Solving Parity Games
Abstract PDF -
BRICS Report Series No. 49 (2000): RS-49 Higher Order Reverse Mathematics - Articles
Higher Order Reverse Mathematics
Abstract PDF -
BRICS Report Series No. 50 (2000): RS-50 Modularity in Meta-Languages - Articles
Modularity in Meta-Languages
Abstract PDF -
BRICS Report Series No. 51 (2000): RS-51 CASL for CafeOBJ Users - Articles
CASL for CafeOBJ Users
Abstract PDF -
BRICS Report Series No. 52 (2000): RS-52 How to Convert a Flavor of Quantum Bit Commitment - Articles
How to Convert a Flavor of Quantum Bit Commitment
Abstract PDF -
BRICS Report Series No. 1 (2001): RS-1 The Complexity of Constructing Evolutionary Trees Using Experiments - Articles
The Complexity of Constructing Evolutionary Trees Using Experiments
Abstract PDF -
BRICS Report Series No. 2 (2001): RS-2 Optimal Time-Space Trade-Offs for Non-Comparison-Based Sorting - Articles
Optimal Time-Space Trade-Offs for Non-Comparison-Based Sorting
Abstract PDF -
BRICS Report Series No. 3 (2001): RS-3 Minimum-Cost Reachability for Priced Timed Automata - Articles
Minimum-Cost Reachability for Priced Timed Automata
Abstract PDF -
BRICS Report Series No. 4 (2001): RS-4 Efficient Guiding Towards Cost-Optimality in UPPAAL - Articles
Efficient Guiding Towards Cost-Optimality in UPPAAL
Abstract PDF -
BRICS Report Series No. 5 (2001): RS-5 Linear Parametric Model Checking of Timed Automata - Articles
Linear Parametric Model Checking of Timed Automata
Abstract PDF -
BRICS Report Series No. 6 (2001): RS-6 Traveling Salesman Should not be Greedy: Domination Analysis of Greedy-Type Heuristics for the TSP - Articles
Traveling Salesman Should not be Greedy: Domination Analysis of Greedy-Type Heuristics for the TSP
Abstract PDF -
BRICS Report Series No. 7 (2001): RS-7 On the Number of Quasi-Kernels in Digraphs - Articles
On the Number of Quasi-Kernels in Digraphs
Abstract PDF -
BRICS Report Series No. 8 (2001): RS-8 Checking for Open Bisimilarity in the pi-Calculus - Articles
Checking for Open Bisimilarity in the pi-Calculus
Abstract PDF -
BRICS Report Series No. 9 (2001): RS-9 Static Validation of Dynamically Generated HTML - Articles
Static Validation of Dynamically Generated HTML
Abstract PDF -
BRICS Report Series No. 10 (2001): RS-10 Do we Need Dependent Types? - Articles
Do we Need Dependent Types?
Abstract PDF -
BRICS Report Series No. 11 (2001): RS-11 From HUPPAAL to UPPAAL - A Translation from Hierarchical Timed Automata to Flat Timed Automata - Articles
From HUPPAAL to UPPAAL - A Translation from Hierarchical Timed Automata to Flat Timed Automata
Abstract -
BRICS Report Series No. 12 (2001): RS-12 The Abstraction and Instantiation of String-Matching Programs - Articles
The Abstraction and Instantiation of String-Matching Programs
Abstract PDF -
BRICS Report Series No. 13 (2001): RS-13 Events in Security Protocols - Articles
Events in Security Protocols
Abstract PDF -
BRICS Report Series No. 14 (2001): RS-14 Effective Bounds on Strong Unicity in L1-Approximation - Articles
Effective Bounds on Strong Unicity in L1-Approximation
Abstract PDF -
BRICS Report Series No. 15 (2001): RS-15 A Calculus of Circular Proofs and its Categorical Semantics - Articles
A Calculus of Circular Proofs and its Categorical Semantics
Abstract PDF -
BRICS Report Series No. 16 (2001): RS-16 Normalization by Evaluation with Typed Abstract Syntax - Articles
Normalization by Evaluation with Typed Abstract Syntax
Abstract PDF -
BRICS Report Series No. 17 (2001): RS-17 Language-Based Caching of Dynamically Generated HTML - Articles
Language-Based Caching of Dynamically Generated HTML
Abstract PDF -
BRICS Report Series No. 18 (2001): RS-18 Some Complexity Problems on Single Input Double Output Controllers - Articles
Some Complexity Problems on Single Input Double Output Controllers
Abstract PDF -
BRICS Report Series No. 48 (1994): RS-48 Synthesizing Distinguishing Formulae for Real Time Systems - Articles
Synthesizing Distinguishing Formulae for Real Time Systems
Abstract PDF -
BRICS Report Series No. 47 (1994): RS-47 A Constraint Oriented Proof Methodology based on Modal Transition Systems - Articles
A Constraint Oriented Proof Methodology based on Modal Transition Systems
Abstract PDF -
BRICS Report Series No. 46 (1994): RS-46 Lower Bounds for Monotone Span Programs - Articles
Lower Bounds for Monotone Span Programs
Abstract PDF -
BRICS Report Series No. 45 (1994): RS-45 Automatic Synthesis of Real Time Systems - Articles
Automatic Synthesis of Real Time Systems
Abstract PDF -
BRICS Report Series No. 44 (1994): RS-44 A HOL Basis for Reasoning about Functional Programs - Articles
A HOL Basis for Reasoning about Functional Programs
Abstract PDF -
BRICS Report Series No. 43 (1994): RS-43 A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours (Revised Version) - Articles
A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours (Revised Version)
Abstract PDF -
BRICS Report Series No. 42 (1994): RS-42 Efficient String Matching on Coded Texts - Articles
Efficient String Matching on Coded Texts
Abstract PDF -
BRICS Report Series No. 41 (1994): RS-41 On Data Structures and Asymmetric Communication Complexity - Articles
On Data Structures and Asymmetric Communication Complexity
Abstract PDF -
BRICS Report Series No. 40 (1994): RS-40 CPO Models for GSOS Languages - Part I: Compact GSOS Languages - Articles
CPO Models for GSOS Languages - Part I: Compact GSOS Languages
Abstract PDF -
BRICS Report Series No. 39 (1994): 94-39 Hashing Functions can Simplify Zero-Knowledge Protocol Design (too) - Articles
Hashing Functions can Simplify Zero-Knowledge Protocol Design (too)
Abstract PDF -
BRICS Report Series No. 38 (1994): RS-38 Enhancing the Strength of Conventional Cryptosystems - Articles
Enhancing the Strength of Conventional Cryptosystems
Abstract PDF -
BRICS Report Series No. 37 (1994): RS-37 Fibrations and Calculi of Fractions - Articles
Fibrations and Calculi of Fractions
Abstract PDF -
BRICS Report Series No. 36 (1994): RS-36 On provably disjoint NP-pairs - Articles
On provably disjoint NP-pairs
Abstract PDF -
BRICS Report Series No. 35 (1994): RS-35 Partially Persistent Data Structures of Bounded Degree with Constant Update Time - Articles
Partially Persistent Data Structures of Bounded Degree with Constant Update Time
Abstract PDF -
BRICS Report Series No. 34 (1994): RS-34 A Compositional Proof System for the Modal mu-Calculus - Articles
A Compositional Proof System for the Modal mu-Calculus
Abstract PDF -
BRICS Report Series No. 33 (1994): RS-33 Strong Concatenable Processes: An Approach to the Category of Petri Net Computations - Articles
Strong Concatenable Processes: An Approach to the Category of Petri Net Computations
Abstract PDF -
BRICS Report Series No. 32 (1994): RS-32 Decidability of Systems of Set Constraints with Negative Constraints - Articles
Decidability of Systems of Set Constraints with Negative Constraints
Abstract PDF -
BRICS Report Series No. 31 (1994): RS-31 Symmetric Logspace is Closed Under Complement - Articles
Symmetric Logspace is Closed Under Complement
Abstract PDF -
BRICS Report Series No. 30 (1994): RS-30 Fully Dynamic Transitive Closure in Plane Dags with one Source and one Sink - Articles
Fully Dynamic Transitive Closure in Plane Dags with one Source and one Sink
Abstract PDF -
BRICS Report Series No. 29 (1994): RS-29 Secure Signature Schemes Based on Interactive Protocols - Articles
Secure Signature Schemes Based on Interactive Protocols
Abstract PDF -
BRICS Report Series No. 27 (1994): RS-27 A Model of Intuitionistic Affine Logic from Stable Domain Theory (Revised and Expanded Version) - Articles
A Model of Intuitionistic Affine Logic from Stable Domain Theory (Revised and Expanded Version)
Abstract PDF -
BRICS Report Series No. 26 (1994): RS-26 Count(q) versus the Pigeon-Hole Principle - Articles
Count(q) versus the Pigeon-Hole Principle
Abstract PDF -
BRICS Report Series No. 25 (1994): RS-25 Bootstrapping the Primitive Recursive Functions by 47 Colors - Articles
Bootstrapping the Primitive Recursive Functions by 47 Colors
Abstract PDF -
BRICS Report Series No. 24 (1994): RS-24 A Fractal which violates the Axiom of Determinacy - Articles
A Fractal which violates the Axiom of Determinacy
Abstract PDF -
BRICS Report Series No. 28 (1994): RS-28 Probabilistic Proof Systems - Articles
Probabilistic Proof Systems
Abstract PDF -
BRICS Report Series No. 23 (1994): RS-23 Finitisation in Bounded Arithmetic - Articles
Finitisation in Bounded Arithmetic
Abstract PDF -
BRICS Report Series No. 22 (1994): RS-22 A General Adequacy Result for a Linear Functional Language - Articles
A General Adequacy Result for a Linear Functional Language
Abstract PDF -
BRICS Report Series No. 21 (1994): RS-21 Count(q) does not imply Count(p) - Articles
Count(q) does not imply Count(p)
Abstract PDF -
BRICS Report Series No. 20 (1994): RS-20 An Action Semantics for ML Concurrency Primitives - Articles
An Action Semantics for ML Concurrency Primitives
Abstract PDF -
BRICS Report Series No. 19 (1994): RS-19 Automatic Verification of Real-Timed Systems Using EPSILON - Articles
Automatic Verification of Real-Timed Systems Using EPSILON
Abstract PDF -
BRICS Report Series No. 18 (1994): RS-18 LCF Examples in HOL - Articles
LCF Examples in HOL
Abstract PDF -
BRICS Report Series No. 17 (1994): RS-17 Local Model Checking and Traces - Articles
Local Model Checking and Traces
Abstract PDF -
BRICS Report Series No. 16 (1994): RS-16 External-Storage Data Structures for Plane-Sweep Algorithms - Articles
External-Storage Data Structures for Plane-Sweep Algorithms
Abstract PDF -
BRICS Report Series No. 15 (1994): RS-15 Petri Nets and Bisimulations - Articles
Petri Nets and Bisimulations
Abstract PDF -
BRICS Report Series No. 14 (1994): RS-14 The Limit View of Infinite Computations - Articles
The Limit View of Infinite Computations
Abstract PDF -
BRICS Report Series No. 13 (1994): RS-13 Stable Bistructure Models of PCF - Articles
Stable Bistructure Models of PCF
Abstract PDF -
BRICS Report Series No. 12 (1994): RS-12 Models for Concurrency - Articles
Models for Concurrency
Abstract PDF -
BRICS Report Series No. 11 (1994): RS-11 A Homomorphism Concept for omega-Regularity - Articles
A Homomorphism Concept for omega-Regularity
Abstract PDF -
BRICS Report Series No. 10 (1994): RS-10 Monadic Second-order Logic for Parameterized Verification - Articles
Monadic Second-order Logic for Parameterized Verification
Abstract PDF -
BRICS Report Series No. 9 (1994): RS-9 Bistructures, Bidomains and Linear Logic - Articles
Bistructures, Bidomains and Linear Logic
Abstract PDF -
BRICS Report Series No. 8 (1994): RS-8 Decidability Issues for Petri Nets - Articles
Decidability Issues for Petri Nets
Abstract PDF -
BRICS Report Series No. 7 (1994): RS-7 Bisimulation from Open Maps - Articles
Bisimulation from Open Maps
Abstract PDF -
BRICS Report Series No. 6 (1994): RS-6 Bisimulations, Games, and Logic - Articles
Bisimulations, Games, and Logic
Abstract PDF -
BRICS Report Series No. 5 (1994): RS-5 Unified Algebras and Abstract Syntax - Articles
Unified Algebras and Abstract Syntax
Abstract PDF -
BRICS Report Series No. 4 (1994): RS-4 Graphs and Decidable Transductions based on Edge Constraints - Articles
Graphs and Decidable Transductions based on Edge Constraints
Abstract PDF -
BRICS Report Series No. 3 (1994): RS-3 Linear Logic on Petri Nets - Articles
Linear Logic on Petri Nets
Abstract PDF -
BRICS Report Series No. 2 (1994): RS-2 Complexity of Nondeterministic Functions - Articles
Complexity of Nondeterministic Functions
Abstract PDF -
BRICS Report Series No. 1 (1994): RS-1 Semantics, Algorithmics and Logic: Basic Research in Computer Science. BRICS Inaugural Talk - Articles
Semantics, Algorithmics and Logic: Basic Research in Computer Science. BRICS Inaugural Talk
Abstract PDF -
BRICS Report Series No. 14 (1995): RS-14 Inclusion-Exclusion(3) Implies Inclusion-Exclusion(n) - Articles
Inclusion-Exclusion(3) Implies Inclusion-Exclusion(n)
Abstract PDF -
BRICS Report Series No. 38 (1995): RS-38 Gödelisation in the lambda-Calculus - Articles
Gödelisation in the lambda-Calculus
Abstract PDF -
BRICS Report Series No. 41 (1995): RS-41 Eta-Expansion Does The Trick - Articles
Eta-Expansion Does The Trick
Abstract PDF -
BRICS Report Series No. 14 (1996): RS-14 On the Idempotence of the CPS Transformation - Articles
On the Idempotence of the CPS Transformation
Abstract PDF -
BRICS Report Series No. 31 (1996): RS-31 Names, Equations, Relations: Practical Ways to Reason about 'new' - Articles
Names, Equations, Relations: Practical Ways to Reason about 'new'
Abstract PDF -
BRICS Report Series No. 19 (1997): RS-19 Compilation and Equivalence of Imperative Objects - Articles
Compilation and Equivalence of Imperative Objects
Abstract PDF -
BRICS Report Series No. 14 (1997): RS-14 Dictionaries on AC^0 RAMs: Query Time Theta(√log n/log log n) is Necessary and Sufficient - Articles
Dictionaries on AC^0 RAMs: Query Time Theta(√log n/log log n) is Necessary and Sufficient
Abstract PDF -
BRICS Report Series No. 5 (1998): RS-05 Formatting Strings in ML - Articles
Formatting Strings in ML
Abstract PDF -
BRICS Report Series No. 19 (2001): RS-19 On the Power of Labels in Transition Systems - Articles
On the Power of Labels in Transition Systems
Abstract PDF -
BRICS Report Series No. 20 (2001): RS-20 A Temporal Concurrent Constraint Programming Calculus - Articles
A Temporal Concurrent Constraint Programming Calculus
Abstract PDF -
BRICS Report Series No. 21 (2001): RS-21 Equational Theories of Tropical Semirings - Articles
Equational Theories of Tropical Semirings
Abstract PDF -
BRICS Report Series No. 22 (2001): RS-22 The Equational Theory of Fixed Points with Applications to Generalized Language Theory - Articles
The Equational Theory of Fixed Points with Applications to Generalized Language Theory
Abstract PDF -
BRICS Report Series No. 23 (2001): RS-23 Defunctionalization at Work - Articles
Defunctionalization at Work
Abstract PDF -
BRICS Report Series No. 25 (2001): RS-25 Cost Recurrences for DML Programs - Articles
Cost Recurrences for DML Programs
Abstract PDF -
BRICS Report Series No. 26 (2001): RS-26 A Complete Axiomatization of Simulation for Regular CCS Expressions - Articles
A Complete Axiomatization of Simulation for Regular CCS Expressions
Abstract PDF -
BRICS Report Series No. 27 (2001): RS-27 A Higher-Order Calculus for Categories - Articles
A Higher-Order Calculus for Categories
Abstract PDF -
BRICS Report Series No. 28 (2001): RS-28 A Fully Equational Proof of Parikh's Theorem - Articles
A Fully Equational Proof of Parikh's Theorem
Abstract PDF -
BRICS Report Series No. 29 (2001): RS-29 A Unifying Approach to Goal-Directed Evaluation - Articles
A Unifying Approach to Goal-Directed Evaluation
Abstract PDF -
BRICS Report Series No. 30 (2001): RS-30 A Selective CPS Transformation - Articles
A Selective CPS Transformation
Abstract PDF -
BRICS Report Series No. 31 (2001): RS-31 Syntactic Theories in Practice - Articles
Syntactic Theories in Practice
Abstract PDF -
BRICS Report Series No. 32 (2001): RS-32 Cuckoo Hashing - Articles
Cuckoo Hashing
Abstract PDF -
BRICS Report Series No. 33 (2001): RS-33 Lossy Dictionaries - Articles
Lossy Dictionaries
Abstract PDF -
BRICS Report Series No. 34 (2001): RS-34 Fast Random Access to Wavelet Compressed Volumetric Data Using Hashing - Articles
Fast Random Access to Wavelet Compressed Volumetric Data Using Hashing
Abstract PDF -
BRICS Report Series No. 35 (2001): RS-35 A General Schema for Constructing One-Point Bases in the Lambda Calculus - Articles
A General Schema for Constructing One-Point Bases in the Lambda Calculus
Abstract PDF -
BRICS Report Series No. 36 (2001): RS-36 Cache Oblivious Search Trees via Binary Trees of Small Height - Articles
Cache Oblivious Search Trees via Binary Trees of Small Height
Abstract PDF -
BRICS Report Series No. 37 (2001): RS-37 Universal Hash Proofs and a Paradigm for Adaptive Chosen Ciphertext Secure Public-Key Encryption - Articles
Universal Hash Proofs and a Paradigm for Adaptive Chosen Ciphertext Secure Public-Key Encryption
Abstract PDF -
BRICS Report Series No. 38 (2001): RS-38 Free De Morgan Bisemigroups and Bisemilattices - Articles
Free De Morgan Bisemigroups and Bisemilattices
Abstract PDF -
BRICS Report Series No. 39 (2001): RS-39 There and Back Again - Articles
There and Back Again
Abstract PDF -
BRICS Report Series No. 40 (2001): RS-40 CPS Transformation of Flow Information, Part II: Administrative Reductions - Articles
CPS Transformation of Flow Information, Part II: Administrative Reductions
Abstract PDF -
BRICS Report Series No. 41 (2001): RS-41 Perfect Hiding and Perfect Binding Universally Composable Commitment Schemes with Constant Expansion Factor - Articles
Perfect Hiding and Perfect Binding Universally Composable Commitment Schemes with Constant Expansion Factor
Abstract PDF -
BRICS Report Series No. 42 (2001): RS-42 Rationally Additive Semirings - Articles
Rationally Additive Semirings
Abstract PDF -
BRICS Report Series No. 43 (2001): RS-43 From Known-Plaintext Security to Chosen-Plaintext Security - Articles
From Known-Plaintext Security to Chosen-Plaintext Security
Abstract PDF -
BRICS Report Series No. 44 (2001): RS-44 Predicate Abstraction for Dense Real-Time Systems - Articles
Predicate Abstraction for Dense Real-Time Systems
Abstract PDF -
BRICS Report Series No. 45 (2001): RS-45 An Extended Quadratic Frobenius Primality Test with Average Case Error Estimates - Articles
An Extended Quadratic Frobenius Primality Test with Average Case Error Estimates
Abstract PDF -
BRICS Report Series No. 46 (2001): RS-46 The Implicit Computational Complexity of Imperative Programming Languages - Articles
The Implicit Computational Complexity of Imperative Programming Languages
Abstract PDF -
BRICS Report Series No. 47 (2001): RS-47 Non-Committing Encryption is Too Easy in the Random Oracle Model - Articles
Non-Committing Encryption is Too Easy in the Random Oracle Model
Abstract PDF -
BRICS Report Series No. 48 (2001): RS-48 Temporal Concurrent Constraint Programming: Applications and Behavior - Articles
Temporal Concurrent Constraint Programming: Applications and Behavior
Abstract PDF -
BRICS Report Series No. 49 (2001): RS-49 A First-Order One-Pass CPS Transformation - Articles
A First-Order One-Pass CPS Transformation
Abstract PDF -
BRICS Report Series No. 50 (2001): RS-50 Note on the Tableau Technique for Commutative Transition Systems - Articles
Note on the Tableau Technique for Commutative Transition Systems
Abstract PDF -
BRICS Report Series No. 51 (2001): RS-51 On Weak Markov's Principle - Articles
On Weak Markov's Principle
Abstract PDF -
BRICS Report Series No. 52 (2001): RS-52 Extracting Witnesses from Proofs of Knowledge in the Random Oracle Model - Articles
Extracting Witnesses from Proofs of Knowledge in the Random Oracle Model
Abstract PDF -
BRICS Report Series No. 53 (2001): RS-53 Temporal Logic with Cyclic Counting and the Degree of Aperiodicity of Finite Automata - Articles
Temporal Logic with Cyclic Counting and the Degree of Aperiodicity of Finite Automata
Abstract PDF -
BRICS Report Series No. 54 (2001): RS-54 Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation - Articles
Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation
Abstract PDF -
BRICS Report Series No. 55 (2001): RS-55 A Simple CPS Transformation of Control-Flow Information - Articles
A Simple CPS Transformation of Control-Flow Information
Abstract PDF -
BRICS Report Series No. 1 (2002): RS-1 The bigwig Project - Articles
The bigwig Project
Abstract PDF -
BRICS Report Series No. 2 (2002): RS-2 A Simple Correctness Proof of the Direct-Style Transformation - Articles
A Simple Correctness Proof of the Direct-Style Transformation
Abstract PDF -
BRICS Report Series No. 4 (2002): RS-4 Syntactic Theories in Practice - Articles
Syntactic Theories in Practice
Abstract PDF -
BRICS Report Series No. 3 (2002): RS-3 On One-Pass CPS Transformations - Articles
On One-Pass CPS Transformations
Abstract PDF -
BRICS Report Series No. 5 (2002): RS-5 Composing Strand Spaces - Articles
Composing Strand Spaces
Abstract PDF -
BRICS Report Series No. 6 (2002): RS-6 Equational Axioms for Probabilistic Bisimilarity (Preliminary Report) - Articles
Equational Axioms for Probabilistic Bisimilarity (Preliminary Report)
Abstract PDF -
BRICS Report Series No. 7 (2002): RS-7 A Formalization of Linkage Analysis - Articles
A Formalization of Linkage Analysis
Abstract PDF -
BRICS Report Series No. 8 (2002): RS-8 Optimal Black-Box Secret Sharing over Arbitrary Abelian Groups - Articles
Optimal Black-Box Secret Sharing over Arbitrary Abelian Groups
Abstract PDF -
BRICS Report Series No. 9 (2002): RS-9 One-Probe Search - Articles
One-Probe Search
Abstract PDF -
BRICS Report Series No. 10 (2002): RS-10 Uniform Asymptotic Regularity for Mann Iterates - Articles
Uniform Asymptotic Regularity for Mann Iterates
Abstract PDF -
BRICS Report Series No. 11 (2002): RS-11 Extending Java for High-Level Web Service Construction - Articles
Extending Java for High-Level Web Service Construction
Abstract PDF -
BRICS Report Series No. 12 (2002): RS-12 There and Back Again - Articles
There and Back Again
Abstract PDF -
BRICS Report Series No. 13 (2002): RS-13 Solving the String Statistics Problem in Time O(n log n) - Articles
Solving the String Statistics Problem in Time O(n log n)
Abstract PDF -
BRICS Report Series No. 14 (2002): RS-14 Modified Bar Recursion - Articles
Modified Bar Recursion
Abstract PDF -
BRICS Report Series No. 15 (2002): RS-15 On the Number of Maximal Independent Sets in a Graph - Articles
On the Number of Maximal Independent Sets in a Graph
Abstract PDF -
BRICS Report Series No. 16 (2002): RS-16 Strong Bisimilarity of Simple Process Algebras: Complexity Lower Bounds - Articles
Strong Bisimilarity of Simple Process Algebras: Complexity Lower Bounds
Abstract PDF -
BRICS Report Series No. 17 (2002): RS-17 On the Number of Maximal Bipartite Subgraphs of a Graph - Articles
On the Number of Maximal Bipartite Subgraphs of a Graph
Abstract PDF -
BRICS Report Series No. 19 (2002): RS-19 An Extension Theorem with an Application to Formal Tree Series - Articles
An Extension Theorem with an Application to Formal Tree Series
Abstract PDF -
BRICS Report Series No. 21 (2002): RS-21 Formal Tree Series - Articles
Formal Tree Series
Abstract PDF -
BRICS Report Series No. 22 (2002): RS-22 On the Expressive Power of Concurrent Constraint Programming Languages - Articles
On the Expressive Power of Concurrent Constraint Programming Languages
Abstract PDF -
BRICS Report Series No. 23 (2002): RS-23 Compact Representations of BL-Algebras - Articles
Compact Representations of BL-Algebras
Abstract PDF -
BRICS Report Series No. 24 (2002): RS-24 Static Analysis for Dynamic XML - Articles
Static Analysis for Dynamic XML
Abstract PDF -
BRICS Report Series No. 25 (2002): RS-25 Deciding Framed Bisimilarity - Articles
Deciding Framed Bisimilarity
Abstract PDF -
BRICS Report Series No. 26 (2002): RS-26 Fixed Points on Abstract Structures without the Equality Test - Articles
Fixed Points on Abstract Structures without the Equality Test
Abstract PDF -
BRICS Report Series No. 27 (2002): RS-27 Simulating Uniform Hashing in Constant Time and Optimal Space - Articles
Simulating Uniform Hashing in Constant Time and Optimal Space
Abstract PDF -
BRICS Report Series No. 28 (2002): RS-28 Mann Iterates of Directionally Nonexpansive Mappings in Hyperbolic Spaces - Articles
Mann Iterates of Directionally Nonexpansive Mappings in Hyperbolic Spaces
Abstract PDF -
BRICS Report Series No. 29 (2002): RS-29 Comparative Methods for Gene Structure Prediction in Homologous Sequences - Articles
Comparative Methods for Gene Structure Prediction in Homologous Sequences
Abstract PDF -
BRICS Report Series No. 31 (2002): RS-31 Proof Mining: A Systematic Way of Analysing Proofs in Mathematics - Articles
Proof Mining: A Systematic Way of Analysing Proofs in Mathematics
Abstract PDF -
BRICS Report Series No. 32 (2002): RS-32 On Obtaining Knuth, Morris, and Pratt's String Matcher by Partial Evaluation - Articles
On Obtaining Knuth, Morris, and Pratt's String Matcher by Partial Evaluation
Abstract PDF -
BRICS Report Series No. 33 (2002): RS-33 Memoization in Type-Directed Partial Evaluation - Articles
Memoization in Type-Directed Partial Evaluation
Abstract PDF -
BRICS Report Series No. 34 (2002): RS-34 A Foundation for Embedded Languages - Articles
A Foundation for Embedded Languages
Abstract PDF -
BRICS Report Series No. 35 (2002): RS-35 Timed Automata May Cause Some Troubles - Articles
Timed Automata May Cause Some Troubles
Abstract PDF -
BRICS Report Series No. 36 (2002): RS-36 CPS Transformation of Flow Information, Part II: Administrative Reductions - Articles
CPS Transformation of Flow Information, Part II: Administrative Reductions
Abstract PDF -
BRICS Report Series No. 37 (2002): RS-37 A Symmetric Approach to Compilation and Decompilation - Articles
A Symmetric Approach to Compilation and Decompilation
Abstract PDF -
BRICS Report Series No. 38 (2002): RS-38 The Powerdomain of Indexed Valuations - Articles
The Powerdomain of Indexed Valuations
Abstract PDF -
BRICS Report Series No. 39 (2002): RS-39 Some Remarks on Regular Words - Articles
Some Remarks on Regular Words
Abstract PDF -
BRICS Report Series No. 40 (2002): RS-40 A Note on an Expressiveness Hierarchy for Multi-exit Iteration - Articles
A Note on an Expressiveness Hierarchy for Multi-exit Iteration
Abstract PDF -
BRICS Report Series No. 41 (2002): RS-41 Axiomatizing Omega and Omega-op Powers of Words - Articles
Axiomatizing Omega and Omega-op Powers of Words
Abstract PDF -
BRICS Report Series No. 42 (2002): RS-42 Checking Consistency of Pedigree Information is NP-complete (Preliminary Report) - Articles
Checking Consistency of Pedigree Information is NP-complete (Preliminary Report)
Abstract PDF -
BRICS Report Series No. 43 (2002): RS-43 Using IDDs for Packet Filtering - Articles
Using IDDs for Packet Filtering
Abstract PDF -
BRICS Report Series No. 44 (2002): RS-44 Higher Dimensional Automata - Articles
Higher Dimensional Automata
Abstract PDF -
BRICS Report Series No. 45 (2002): RS-45 Chromatic Number in Time O(2.4023^n) Using Maximal Independent Sets - Articles
Chromatic Number in Time O(2.4023^n) Using Maximal Independent Sets
Abstract PDF -
BRICS Report Series No. 46 (2002): RS-46 Greibach Normal Form in Algebraically Complete Semirings - Articles
Greibach Normal Form in Algebraically Complete Semirings
Abstract PDF -
BRICS Report Series No. 47 (2002): RS-47 Extended Temporal Logic on Finite Words and Wreath Product of Monoids with Distinguished Generators - Articles
Extended Temporal Logic on Finite Words and Wreath Product of Monoids with Distinguished Generators
Abstract PDF -
BRICS Report Series No. 48 (2002): RS-48 Linearity in Process Languages - Articles
Linearity in Process Languages
Abstract PDF -
BRICS Report Series No. 49 (2002): RS-49 HOPLA--A Higher-Order Process Language - Articles
HOPLA--A Higher-Order Process Language
Abstract PDF -
BRICS Report Series No. 50 (2002): RS-50 Circuits on Cylinders - Articles
Circuits on Cylinders
Abstract PDF -
BRICS Report Series No. 51 (2002): RS-51 Computing Refined Buneman Trees in Cubic Time - Articles
Computing Refined Buneman Trees in Cubic Time
Abstract PDF -
BRICS Report Series No. 52 (2002): RS-52 A New One-Pass Transformation into Monadic Normal Form - Articles
A New One-Pass Transformation into Monadic Normal Form
Abstract PDF -
BRICS Report Series No. 53 (2002): RS-53 A Lambda-Revelation of the SECD Machine - Articles
A Lambda-Revelation of the SECD Machine
Abstract PDF -
BRICS Report Series No. 1 (2003): RS-1 Deriving Bisimulation Congruences: 2-Categories vs. Precategories - Articles
Deriving Bisimulation Congruences: 2-Categories vs. Precategories
Abstract PDF -
BRICS Report Series No. 2 (2003): RS-2 Tagging, Encoding, and Jones Optimality - Articles
RS-2 Tagging, Encoding, and Jones Optimality
Abstract PDF -
BRICS Report Series No. 3 (2003): RS-3 On the Computational Collapse of Quantum Information - Articles
On the Computational Collapse of Quantum Information
Abstract PDF -
BRICS Report Series No. 4 (2003): RS-4 A Formal Model for Trust in Dynamic Networks - Articles
A Formal Model for Trust in Dynamic Networks
Abstract PDF -
BRICS Report Series No. 5 (2003): RS-5 Precise Analysis of String Expressions - Articles
Precise Analysis of String Expressions
Abstract PDF -
BRICS Report Series No. 6 (2003): RS-6 Jeeg: Temporal Constraints for the Synchronization of Concurrent Objects - Articles
Jeeg: Temporal Constraints for the Synchronization of Concurrent Objects
Abstract PDF -
BRICS Report Series No. 7 (2003): RS-7 The METAFRONT System: Extensible Parsing and Transformation - Articles
The METAFRONT System: Extensible Parsing and Transformation
Abstract PDF -
BRICS Report Series No. 8 (2003): RS-8 Efficient Algorithms for gcd and Cubic Residuosity in the Ring of Eisenstein Integers - Articles
Efficient Algorithms for gcd and Cubic Residuosity in the Ring of Eisenstein Integers
Abstract PDF -
BRICS Report Series No. 9 (2003): RS-9 An Extended Quadratic Frobenius Primality Test with Average and Worst Case Error Estimates - Articles
An Extended Quadratic Frobenius Primality Test with Average and Worst Case Error Estimates
Abstract PDF -
BRICS Report Series No. 10 (2003): RS-10 Wireless Authentication in chi-Spaces - Articles
Wireless Authentication in chi-Spaces
Abstract PDF -
BRICS Report Series No. 12 (2003): RS-12 A Complexity Analysis of Functional Interpretations. - Articles
A Complexity Analysis of Functional Interpretations
Abstract PDF -
BRICS Report Series No. 13 (2003): RS-13 A Functional Correspondence between Evaluators and Abstract Machines - Articles
A Functional Correspondence between Evaluators and Abstract Machines
Abstract PDF -
BRICS Report Series No. 14 (2003): RS-14 From Interpreter to Compiler and Virtual Machine: A Functional Derivation - Articles
From Interpreter to Compiler and Virtual Machine: A Functional Derivation
Abstract PDF -
BRICS Report Series No. 15 (2003): RS-15 A Semantic Theory for Value-Passing Processes Based on the Late Approach - Articles
A Semantic Theory for Value-Passing Processes Based on the Late Approach
Abstract PDF -
BRICS Report Series No. 16 (2003): RS-16 A Length-Flexible Threshold Cryptosystem with Applications - Articles
A Length-Flexible Threshold Cryptosystem with Applications
Abstract PDF -
BRICS Report Series No. 17 (2003): RS-17 The Complexity of Checking Consistency of Pedigree Information and Related Problems - Articles
The Complexity of Checking Consistency of Pedigree Information and Related Problems
Abstract PDF -
BRICS Report Series No. 18 (2003): RS-18 Syntactic Formats for Free: An Abstract Approach to Process Equivalence - Articles
Syntactic Formats for Free: An Abstract Approach to Process Equivalence
Abstract PDF -
BRICS Report Series No. 19 (2003): RS-19 Static Analysis of XML Transformations in Java - Articles
Static Analysis of XML Transformations in Java
Abstract PDF -
BRICS Report Series No. 20 (2003): RS-20 Fast Partial Evaluation of Pattern Matching in Strings - Articles
Fast Partial Evaluation of Pattern Matching in Strings
Abstract PDF -
BRICS Report Series No. 21 (2003): RS-21 Some Logical Metatheorems with Applications in Functional Analysis - Articles
Some Logical Metatheorems with Applications in Functional Analysis
Abstract PDF -
BRICS Report Series No. 22 (2003): RS-22 Scalable Key-Escrow - Articles
Scalable Key-Escrow
Abstract PDF -
BRICS Report Series No. 23 (2003): RS-23 Recent Advances in Sigma-definability over Continuous Data Types - Articles
Recent Advances in Σ-definability over Continuous Data Types
Abstract PDF -
BRICS Report Series No. 26 (2003): RS-26 Lambda-Lifting in Quadratic Time - Articles
Lambda-Lifting in Quadratic Time
Abstract PDF -
BRICS Report Series No. 27 (2003): RS-27 Nested Semantics over Finite Trees are Equationally Hard - Articles
Nested Semantics over Finite Trees are Equationally Hard
Abstract PDF -
BRICS Report Series No. 28 (2003): RS-28 Regular Languages Definable by Lindström Quantifiers - Articles
Regular Languages Definable by Lindström Quantifiers
Abstract PDF -
BRICS Report Series No. 29 (2003): RS-29 A Runtime System for XML Transformations in Java - Articles
A Runtime System for XML Transformations in Java
Abstract PDF -
BRICS Report Series No. 30 (2003): RS-30 New Algorithms for Exact Satisfiability - Articles
New Algorithms for Exact Satisfiability
Abstract PDF -
BRICS Report Series No. 31 (2003): RS-31 Adhesive Categories - Articles
Adhesive Categories
Abstract PDF -
BRICS Report Series No. 32 (2003): RS-32 Extracting Herbrand Disjunctions by Functional Interpretation - Articles
Extracting Herbrand Disjunctions by Functional Interpretation
Abstract PDF -
BRICS Report Series No. 33 (2003): RS-33 A Rational Deconstruction of Landin's SECD Machine - Articles
A Rational Deconstruction of Landin's SECD Machine
Abstract PDF -
BRICS Report Series No. 34 (2003): RS-34 CCS with Hennessy's Merge has no Finite Equational Axiomatization - Articles
CCS with Hennessy's Merge has no Finite Equational Axiomatization
Abstract PDF -
BRICS Report Series No. 35 (2003): RS-35 A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational... - Articles
A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects
Abstract PDF -
BRICS Report Series No. 36 (2003): RS-36 Unfair Noisy Channels and Oblivious Transfer - Articles
Unfair Noisy Channels and Oblivious Transfer
Abstract PDF -
BRICS Report Series No. 37 (2003): RS-37 Computational Collapse of Quantum State with Application to Oblivious Transfer - Articles
Computational Collapse of Quantum State with Application to Oblivious Transfer
Abstract PDF -
BRICS Report Series No. 38 (2003): RS-38 Contracts for Cooperation between Web Service Programmers and HTML Designers - Articles
Contracts for Cooperation between Web Service Programmers and HTML Designers
Abstract PDF -
BRICS Report Series No. 39 (2003): RS-39 Applying pi-Calculus to Practice: An Example of a Unified Security Mechanism - Articles
Applying pi-Calculus to Practice: An Example of a Unified Security Mechanism
Abstract PDF -
BRICS Report Series No. 40 (2003): RS-40 A Denotational Account of Untyped Normalization by Evaluation - Articles
A Denotational Account of Untyped Normalization by Evaluation
Abstract PDF -
BRICS Report Series No. 41 (2003): RS-41 An Operational Foundation for Delimited Continuations - Articles
An Operational Foundation for Delimited Continuations
Abstract PDF -
BRICS Report Series No. 42 (2003): RS-42 Full Abstraction for HOPLA - Articles
Full Abstraction for HOPLA
Abstract PDF -
BRICS Report Series No. 43 (2003): RS-43 Domain Theory for Concurrency - Articles
Domain Theory for Concurrency
Abstract PDF -
BRICS Report Series No. 44 (2003): RS-44 The Cell Probe Complexity of Succinct Data Structures - Articles
The Cell Probe Complexity of Succinct Data Structures
Abstract PDF -
BRICS Report Series No. 45 (2003): RS-45 On converting CNF to DNF - Articles
On converting CNF to DNF
Abstract PDF -
BRICS Report Series No. 46 (2003): RS-46 The Role of Quantifier Alternations in Cut Elimination - Articles
The Role of Quantifier Alternations in Cut Elimination
Abstract PDF -
BRICS Report Series No. 47 (2003): RS-47 Recursive Ping-Pong Protocols - Articles
Recursive Ping-Pong Protocols
Abstract PDF -
BRICS Report Series No. 48 (2003): RS-48 Danfoss EKC Trial Project Deliverables - Articles
Danfoss EKC Trial Project Deliverables
Abstract PDF -
BRICS Report Series No. 49 (2003): RS-49 Online On-the-Fly Testing of Real-time Systems - Articles
Online On-the-Fly Testing of Real-time Systems
Abstract PDF -
BRICS Report Series No. 50 (2003): RS-50 A Two-Layer Approach to the Computability and Complexity of Real Numbers - Articles
A Two-Layer Approach to the Computability and Complexity of Real Numbers
Abstract PDF -
BRICS Report Series No. 51 (2003): RS-51 Bounds on Iterations of Asymptotically Quasi-Nonexpansive Mappings - Articles
Bounds on Iterations of Asymptotically Quasi-Nonexpansive Mappings
Abstract PDF -
BRICS Report Series No. 52 (2003): RS-52 Pragmatics of Modular SOS - Articles
Pragmatics of Modular SOS
Abstract PDF -
BRICS Report Series No. 53 (2003): RS-53 Composing Programming Languages by Combining Action-Semantics Modules - Articles
Composing Programming Languages by Combining Action-Semantics Modules
Abstract PDF -
BRICS Report Series No. 1 (2004): RS-1 Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge - Articles
Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge
Abstract PDF -
BRICS Report Series No. 2 (2004): RS-2 Cache-Oblivious Data Structures and Algorithms for Undirected Breadth-First Search and Shortest Paths - Articles
Cache-Oblivious Data Structures and Algorithms for Undirected Breadth-First Search and Shortest Paths
Abstract PDF -
BRICS Report Series No. 3 (2004): RS-3 A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines - Articles
A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines
Abstract PDF -
BRICS Report Series No. 4 (2004): RS-4 Optimal Strategies in Priced Timed Game Automata - Articles
Optimal Strategies in Priced Timed Game Automata
Abstract PDF -
BRICS Report Series No. 5 (2004): RS-5 From Interpreter to Logic Engine by Defunctionalization - Articles
From Interpreter to Logic Engine by Defunctionalization
Abstract PDF -
BRICS Report Series No. 6 (2004): RS-6 On Reducing a System of Equations to a Single Equation - Articles
On Reducing a System of Equations to a Single Equation
Abstract PDF -
BRICS Report Series No. 7 (2004): RS-7 On the Expressive Power of Extended Process Rewrite Systems - Articles
On the Expressive Power of Extended Process Rewrite Systems
Abstract PDF -
BRICS Report Series No. 8 (2004): RS-8 Highly Undecidable Questions for Process Algebras - Articles
Highly Undecidable Questions for Process Algebras
Abstract PDF -
BRICS Report Series No. 9 (2004): RS-9 Zero-Knowledge Proofs and String Commitments Withstanding Quantum Attacks - Articles
Zero-Knowledge Proofs and String Commitments Withstanding Quantum Attacks
Abstract PDF -
BRICS Report Series No. 10 (2004): RS-10 Probabilistic Event Structures and Domains - Articles
Probabilistic Event Structures and Domains
Abstract PDF -
BRICS Report Series No. 11 (2004): RS-11 Congruences for Contextual Graph-Rewriting - Articles
Congruences for Contextual Graph-Rewriting
Abstract PDF -
BRICS Report Series No. 12 (2004): RS-12 Lambda-Lifting in Quadratic Time - Articles
Lambda-Lifting in Quadratic Time
Abstract PDF -
BRICS Report Series No. 13 (2004): RS-13 Strong Privacy Protection in Electronic Voting - Articles
Strong Privacy Protection in Electronic Voting
Abstract PDF -
BRICS Report Series No. 14 (2004): RS-14 Maker-Maker and Maker-Breaker Games are PSPACE-Complete - Articles
Maker-Maker and Maker-Breaker Games are PSPACE-Complete
Abstract PDF -
BRICS Report Series No. 15 (2004): RS-15 The Full Abstraction of the UC Framework - Articles
The Full Abstraction of the UC Framework
Abstract PDF -
BRICS Report Series No. 16 (2004): RS-16 Distributed Approximation of Fixed-Points in Trust Structures - Articles
Distributed Approximation of Fixed-Points in Trust Structures
Abstract PDF -
BRICS Report Series No. 17 (2004): RS-17 Computing Logarithms Digit-by-Digit - Articles
Computing Logarithms Digit-by-Digit
Abstract PDF -
BRICS Report Series No. 18 (2004): RS-18 An Algorithm for Exact Satisfiability Analysed with the Number of Clauses as Parameter - Articles
An Algorithm for Exact Satisfiability Analysed with the Number of Clauses as Parameter
Abstract PDF -
BRICS Report Series No. 19 (2004): RS-19 Maximum Exact Satisfiability: NP-completeness Proofs and Exact Algorithms - Articles
Maximum Exact Satisfiability: NP-completeness Proofs and Exact Algorithms
Abstract PDF -
BRICS Report Series No. 20 (2004): RS-20 From Natural Semantics to Abstract Machines - Articles
From Natural Semantics to Abstract Machines
Abstract PDF -
BRICS Report Series No. 21 (2004): RS-21 New-HOPLA--A Higher-Order Process Language with Name Generation - Articles
New-HOPLA--A Higher-Order Process Language with Name Generation
Abstract PDF -
BRICS Report Series No. 22 (2004): RS-22 Profunctors, Open Maps and Bisimulation - Articles
Profunctors, Open Maps and Bisimulation
Abstract PDF -
BRICS Report Series No. 23 (2004): RS-23 Recursion vs. Replication in Simple Cryptographic Protocols - Articles
Recursion vs. Replication in Simple Cryptographic Protocols
Abstract PDF -
BRICS Report Series No. 24 (2004): RS-24 Bisimilarity is not Finitely Based over BPA with Interrupt - Articles
Bisimilarity is not Finitely Based over BPA with Interrupt
Abstract PDF -
BRICS Report Series No. 25 (2004): RS-25 On the Recursive Enumerability of Fixed-Point Combinators - Articles
On the Recursive Enumerability of Fixed-Point Combinators
Abstract PDF -
BRICS Report Series No. 26 (2004): RS-26 Refocusing in Reduction Semantics - Articles
Refocusing in Reduction Semantics
Abstract PDF -
BRICS Report Series No. 27 (2004): RS-27 On the Adaptiveness of Quicksort - Articles
On the Adaptiveness of Quicksort
Abstract PDF -
BRICS Report Series No. 28 (2004): RS-28 A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational... - Articles
A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects
Abstract PDF -
BRICS Report Series No. 29 (2004): RS-29 An Operational Foundation for Delimited Continuations in the CPS Hierarchy - Articles
An Operational Foundation for Delimited Continuations in the CPS Hierarchy
Abstract PDF -
BRICS Report Series No. 30 (2004): RS-30 From Reduction-Based to Reduction-Free Normalization - Articles
From Reduction-Based to Reduction-Free Normalization
Abstract PDF -
BRICS Report Series No. 31 (2004): RS-31 Strongly Uniform Bounds from Semi-Constructive Proofs - Articles
Strongly Uniform Bounds from Semi-Constructive Proofs
Abstract PDF -
BRICS Report Series No. 32 (2004): RS-32 A Quantitative Version of Kirk's Fixed Point Theorem for Asymptotic Contractions - Articles
A Quantitative Version of Kirk's Fixed Point Theorem for Asymptotic Contractions
Abstract PDF -
BRICS Report Series No. 33 (2004): RS-33 A Runtime System for XML Transformations in Java - Articles
A Runtime System for XML Transformations in Java
Abstract PDF -
BRICS Report Series No. 34 (2004): RS-34 The Design Space of Type Checkers for XML Transformation Languages - Articles
The Design Space of Type Checkers for XML Transformation Languages
Abstract PDF -
BRICS Report Series No. 35 (2004): RS-35 Type Checking Semantic Functions in ASDF - Articles
Type Checking Semantic Functions in ASDF
Abstract PDF -
BRICS Report Series No. 36 (2004): RS-36 An Action Environment - Articles
An Action Environment
Abstract PDF -
BRICS Report Series No. 37 (2004): RS-37 Constructive Action Semantics for Core ML - Articles
Constructive Action Semantics for Core ML
Abstract PDF -
BRICS Report Series No. 38 (2004): RS-38 Bottom-Up beta-Substitution: Uplinks and lambda-DAGs - Articles
Bottom-Up beta-Substitution: Uplinks and lambda-DAGs
Abstract PDF -
BRICS Report Series No. 39 (2004): RS-39 CPS Transformation of Beta-Redexes - Articles
CPS Transformation of Beta-Redexes
Abstract PDF -
BRICS Report Series No. 40 (2004): RS-40 Fast Partial Evaluation of Pattern Matching in Strings - Articles
Fast Partial Evaluation of Pattern Matching in Strings
Abstract PDF -
BRICS Report Series No. 41 (2004): RS-41 Sur un Exemple de Patrick Greussay - Articles
Sur un Exemple de Patrick Greussay
Abstract PDF -
BRICS Report Series No. 1 (2005): RS-1 On the Recursive Enumerability of Fixed-Point Combinators - Articles
On the Recursive Enumerability of Fixed-Point Combinators
Abstract PDF -
BRICS Report Series No. 2 (2005): RS-2 On the Dynamic Extent of Delimited Continuations - Articles
On the Dynamic Extent of Delimited Continuations
Abstract PDF -
BRICS Report Series No. 3 (2005): RS-3 There and Back Again - Articles
There and Back Again
Abstract PDF -
BRICS Report Series No. 4 (2005): RS-4 Denotational Aspects of Untyped Normalization by Evaluation - Articles
Denotational Aspects of Untyped Normalization by Evaluation
Abstract PDF -
BRICS Report Series No. 5 (2005): RS-5 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations (Preliminary Version) - Articles
A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations (Preliminary Version)
Abstract PDF -
BRICS Report Series No. 6 (2005): RS-6 Distributed Approximation of Fixed-Points in Trust Structures - Articles
Distributed Approximation of Fixed-Points in Trust Structures
Abstract PDF -
BRICS Report Series No. 7 (2005): RS-7 Modular Structural Operational Semantics - Articles
Modular Structural Operational Semantics
Abstract PDF -
BRICS Report Series No. 8 (2005): RS-8 Exploiting Labels in Structural Operational Semantics - Articles
Exploiting Labels in Structural Operational Semantics
Abstract PDF -
BRICS Report Series No. 9 (2005): RS-9 Reviewing Bounds on the Circuit Size of the Hardest Functions - Articles
Reviewing Bounds on the Circuit Size of the Hardest Functions
Abstract PDF -
BRICS Report Series No. 10 (2005): RS-10 A Simple Proof of a Folklore Theorem about Delimited Control - Articles
A Simple Proof of a Folklore Theorem about Delimited Control
Abstract PDF -
BRICS Report Series No. 11 (2005): RS-11 An Operational Foundation for Delimited Continuations in the CPS Hierarchy - Articles
An Operational Foundation for Delimited Continuations in the CPS Hierarchy
Abstract PDF -
BRICS Report Series No. 12 (2005): RS-12 Program Extraction from Proofs of Weak Head Normalization - Articles
Program Extraction from Proofs of Weak Head Normalization
Abstract PDF -
BRICS Report Series No. 13 (2005): RS-13 On the Dynamic Extent of Delimited Continuations - Articles
On the Dynamic Extent of Delimited Continuations
Abstract PDF -
BRICS Report Series No. 14 (2005): RS-14 On Obtaining the Boyer-Moore String-Matching Algorithm by Partial Evaluation - Articles
On Obtaining the Boyer-Moore String-Matching Algorithm by Partial Evaluation
Abstract PDF -
BRICS Report Series No. 15 (2005): RS-15 A Concrete Framework for Environment Machines - Articles
A Concrete Framework for Environment Machines
Abstract PDF -
BRICS Report Series No. 16 (2005): RS-16 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations - Articles
A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations
Abstract PDF -
BRICS Report Series No. 17 (2005): RS-17 A Quantum Cipher with Near Optimal Key-Recycling - Articles
A Quantum Cipher with Near Optimal Key-Recycling
Abstract PDF -
BRICS Report Series No. 18 (2005): RS-18 Secure Computing, Economy, and Trust: A Generic Solution for Secure Auctions with Real-World Applications - Articles
Secure Computing, Economy, and Trust: A Generic Solution for Secure Auctions with Real-World Applications
Abstract PDF -
BRICS Report Series No. 19 (2005): RS-19 Finite Equational Bases in Process Algebra: Results and Open Questions - Articles
Finite Equational Bases in Process Algebra: Results and Open Questions
Abstract PDF -
BRICS Report Series No. 20 (2005): RS-20 Cryptography in the Bounded Quantum Storage Model - Articles
Cryptography in the Bounded Quantum Storage Model
Abstract PDF -
BRICS Report Series No. 21 (2005): RS-21 General Logical Metatheorems for Functional Analysis - Articles
General Logical Metatheorems for Functional Analysis
Abstract PDF -
BRICS Report Series No. 22 (2005): RS-22 A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines - Articles
A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines
Abstract PDF -
BRICS Report Series No. 23 (2005): RS-23 A Framework for Concrete Reputation-Systems - Articles
A Framework for Concrete Reputation-Systems
Abstract PDF -
BRICS Report Series No. 24 (2005): RS-24 An Operational Foundation for Delimited Continuations in the CPS Hierarchy - Articles
An Operational Foundation for Delimited Continuations in the CPS Hierarchy
Abstract PDF -
BRICS Report Series No. 25 (2005): RS-25 A Simple Proof of a Folklore Theorem about Delimited Control - Articles
A Simple Proof of a Folklore Theorem about Delimited Control
Abstract PDF -
BRICS Report Series No. 26 (2005): RS-26 Measuring the Propagation of Information in Partial Evaluation - Articles
Measuring the Propagation of Information in Partial Evaluation
Abstract PDF -
BRICS Report Series No. 27 (2005): RS-27 A Calculus for Context-Awareness - Articles
A Calculus for Context-Awareness
Abstract PDF -
BRICS Report Series No. 28 (2005): RS-28 On Counting the Number of Consistent Genotype Assignments for Pedigrees - Articles
On Counting the Number of Consistent Genotype Assignments for Pedigrees
Abstract PDF -
BRICS Report Series No. 29 (2005): RS-29 On Obtaining the Boyer-Moore String-Matching Algorithm by Partial Evaluation - Articles
On Obtaining the Boyer-Moore String-Matching Algorithm by Partial Evaluation
Abstract PDF -
BRICS Report Series No. 30 (2005): RS-30 An Operational Semantics for Trust Policies. - Articles
An Operational Semantics for Trust Policies.
Abstract PDF -
BRICS Report Series No. 31 (2005): RS-31 Type Checking with XML Schema in XACT - Articles
Type Checking with XML Schema in XACT
Abstract PDF -
BRICS Report Series No. 32 (2005): RS-32 Static Validation of XSL Transformations - Articles
Static Validation of XSL Transformations
Abstract PDF -
BRICS Report Series No. 33 (2005): RS-33 Bisimilarity is not Finitely Based over BPA with Interrupt - Articles
Bisimilarity is not Finitely Based over BPA with Interrupt
Abstract PDF -
BRICS Report Series No. 34 (2005): RS-34 Formal Aspects of Polyvariant Specialization - Articles
Formal Aspects of Polyvariant Specialization
Abstract PDF -
BRICS Report Series No. 35 (2005): RS-35 Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative - Articles
Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative
Abstract PDF -
BRICS Report Series No. 36 (2005): RS-36 On the Static and Dynamic Extents of Delimited Continuations - Articles
On the Static and Dynamic Extents of Delimited Continuations
Abstract PDF -
BRICS Report Series No. 37 (2005): RS-37 Faster Algorithms for Computing Longest Common Increasing Subsequences - Articles
Faster Algorithms for Computing Longest Common Increasing Subsequences
Abstract PDF -
BRICS Report Series No. 38 (2005): RS-38 A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines - Articles
A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines
Abstract PDF -
BRICS Report Series No. 1 (2006): RS-1 On the Axiomatizability of Priority - Articles
On the Axiomatizability of Priority
Abstract PDF -
BRICS Report Series No. 2 (2006): RS-2 A Formal Model for Context-Awareness - Articles
A Formal Model for Context-Awareness
Abstract PDF -
BRICS Report Series No. 3 (2006): RS-3 A Concrete Framework for Environment Machines - Articles
A Concrete Framework for Environment Machines
Abstract PDF -
BRICS Report Series No. 4 (2006): RS-4 A Rational Deconstruction of Landin's J Operator - Articles
A Rational Deconstruction of Landin's J Operator
Abstract PDF -
BRICS Report Series No. 5 (2006): RS-5 Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative - Articles
Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative
Abstract PDF -
BRICS Report Series No. 6 (2006): RS-6 A Finite Equational Base for CCS with Left Merge and Communication Merge - Articles
A Finite Equational Base for CCS with Left Merge and Communication Merge
Abstract PDF -
BRICS Report Series No. 7 (2006): RS-7 Undecidability Results for Bisimilarity on Prefix Rewrite Systems - Articles
Undecidability Results for Bisimilarity on Prefix Rewrite Systems
Abstract PDF -
BRICS Report Series No. 8 (2006): RS-8 Static Analysis for Java Servlets and JSP - Articles
Static Analysis for Java Servlets and JSP
Abstract PDF -
BRICS Report Series No. 10 (2006): RS-10 Static Analysis for Java Servlets and JSP - Articles
Static Analysis for Java Servlets and JSP
Abstract PDF -
BRICS Report Series No. 11 (2006): RS-11 An Interface Theory for Input/Output Automata - Articles
An Interface Theory for Input/Output Automata
Abstract PDF -
BRICS Report Series No. 12 (2006): RS-12 Higher-Order Beta Matching with Solutions in Long Beta-Eta Normal Form - Articles
Higher-Order Beta Matching with Solutions in Long Beta-Eta Normal Form
Abstract PDF -
BRICS Report Series No. 13 (2006): RS-13 Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation - Articles
Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation
Abstract PDF -
BRICS Report Series No. 14 (2006): RS-14 Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols - Articles
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols
Abstract PDF -
BRICS Report Series No. 15 (2006): RS-15 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations - Articles
A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations
Abstract PDF -
BRICS Report Series No. 16 (2006): RS-16 Static Analysis for Event-Based XML Processing - Articles
Static Analysis for Event-Based XML Processing
Abstract PDF -
BRICS Report Series No. 17 (2006): RS-17 A Rational Deconstruction of Landin's J Operator - Articles
A Rational Deconstruction of Landin's J Operator
Abstract PDF -
BRICS Report Series No. 19 (2006): RS-19 Logics for The Applied pi Calculus - Articles
Logics for The Applied pi Calculus
Abstract PDF -
BRICS Report Series No. 1 (2007): RS-1 HIROIMONO is NP-complete - Articles
HIROIMONO is NP-complete
Abstract PDF -
BRICS Report Series No. 2 (2007): RS-2 Characteristic Formulae: From Automata to Logic - Articles
Characteristic Formulae: From Automata to Logic
Abstract PDF -
BRICS Report Series No. 3 (2007): RS-3 Ready To Preorder: Get Your BCCSP Axiomatization for Free! - Articles
Ready To Preorder: Get Your BCCSP Axiomatization for Free!
Abstract PDF -
BRICS Report Series No. 4 (2007): RS-4 A Complete, Co-Inductive Syntactic Theory of Sequential Control and State - Articles
A Complete, Co-Inductive Syntactic Theory of Sequential Control and State
Abstract PDF -
BRICS Report Series No. 5 (2007): RS-5 On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt - Articles
On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt
Abstract PDF -
BRICS Report Series No. 6 (2007): RS-6 On One-Pass CPS Transformations - Articles
On One-Pass CPS Transformations
Abstract PDF -
BRICS Report Series No. 7 (2007): RS-7 Refunctionalization at Work - Articles
Refunctionalization at Work
Abstract PDF -
BRICS Report Series No. 8 (2007): RS-8 A Simple Application of Lightweight Fusion to Proving the Equivalence of Abstract Machines - Articles
A Simple Application of Lightweight Fusion to Proving the Equivalence of Abstract Machines
Abstract PDF -
BRICS Report Series No. 10 (2007): RS-10 Analyzing Ambiguity of Context-Free Grammars - Articles
Analyzing Ambiguity of Context-Free Grammars
Abstract PDF -
BRICS Report Series No. 11 (2007): RS-11 The Saga of the Axiomatization of Parallel Composition - Articles
The Saga of the Axiomatization of Parallel Composition
Abstract PDF -
BRICS Report Series No. 14 (2007): RS-14 On Barron and Strachey's Cartesian Product Function - Articles
On Barron and Strachey's Cartesian Product Function
Abstract PDF -
BRICS Report Series No. 16 (2007): RS-16 On the Equivalence between Small-Step and Big-Step Abstract Machines: A Simple Application of Lightweight Fusion - Articles
On the Equivalence between Small-Step and Big-Step Abstract Machines: A Simple Application of Lightweight Fusion
Abstract PDF -
BRICS Report Series No. 18 (2007): RS-18 Control-Flow Analysis of Functional Programs - Articles
Control-Flow Analysis of Functional Programs
Abstract PDF -
BRICS Report Series No. 2 (2008): RS-2 Dynamic Normal Forms and Dynamic Characteristic Polynomial - Articles
Dynamic Normal Forms and Dynamic Characteristic Polynomial
Abstract PDF -
BRICS Report Series No. 3 (2008): RS-3 A Study of Syntactic and Semantic Artifacts and its Application to Lambda Definability, Strong Normalization... - Articles
A Study of Syntactic and Semantic Artifacts and its Application to Lambda Definability, Strong Normalization, and Weak Normalization in the Presence of...
Abstract PDF -
BRICS Report Series No. 4 (2008): RS-4 Refunctionalization at Work - Articles
Refunctionalization at Work
Abstract PDF -
BRICS Report Series No. 5 (2008): RS-5 Inter-Deriving Semantic Artifacts for Object-Oriented Programming - Articles
Inter-Deriving Semantic Artifacts for Object-Oriented Programming
Abstract PDF -
BRICS Report Series No. 6 (2008): RS-6 An Investigation of Abadi and Cardelli's Untyped Calculus of Objects - Articles
An Investigation of Abadi and Cardelli's Untyped Calculus of Objects
Abstract PDF -
BRICS Report Series No. 7 (2008): RS-7 Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: ... - Articles
Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines
Abstract PDF -
BRICS Report Series No. 24 (2001): RS-24 Automata on Series-Parallel Biposets - Articles
Automata on Series-Parallel Biposets
Abstract PDF -
BRICS Report Series No. 20 (2002): RS-20 Regular Languages Definable by Lindström Quantifiers (Preliminary Version) - Articles
Regular Languages Definable by Lindström Quantifiers (Preliminary Version)
Abstract PDF -
BRICS Report Series No. 30 (2002): RS-30 Lambda-Lifting in Quadratic Time - Articles
Lambda-Lifting in Quadratic Time
Abstract PDF -
BRICS Report Series No. 11 (2003): RS-11 Fast Partial Evaluation of Pattern Matching in Strings - Articles
Fast Partial Evaluation of Pattern Matching in Strings
Abstract PDF -
BRICS Report Series No. 25 (2003): RS-25 From Interpreter to Logic Engine by Defunctionalization - Articles
From Interpreter to Logic Engine by Defunctionalization
Abstract PDF -
BRICS Report Series No. 24 (2003): RS-24 A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines - Articles
A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines
Abstract -
BRICS Report Series No. 16 (1998): RS-16 Marked Ancestor Problems - Articles
Marked Ancestor Problems
Abstract -
BRICS Report Series No. 35 (1998): RS-35 An operational Investigation of the CPS Hierarchy - Articles
An Operational Investigation of the CPS Hierarchy
Abstract -
BRICS Report Series No. 54 (1998): RS-54 Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure - Articles
Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure
Abstract -
BRICS Report Series No. 2 (1998): RS-02 An Extensional Characterization of Lambda-Lifting and Lambda-Dropping - Articles
An Extensional Characterization of Lambda-Lifting and Lambda-Dropping
Abstract -
BRICS Report Series No. 18 (2002): RS-18 Cache Oblivious Distribution Sweeping - Articles
Cache Oblivious Distribution Sweeping
Abstract -
BRICS Report Series No. 9 (2006): RS-9 Analyzing Ambiguity of Context-Free Grammars - Articles
Analyzing Ambiguity of Context-Free Grammars
Abstract -
BRICS Report Series No. 12 (2007): RS-12 Optimal Resilient Dynamic Dictionaries - Articles
Optimal Resilient Dynamic Dictionaries
Abstract -
BRICS Report Series No. 18 (2006): RS-18 Not published - Articles
A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines
Abstract -
BRICS Report Series No. 9 (2007): RS-9 Not published - Articles
The SMCL Language Specification
Abstract -
BRICS Report Series No. 13 (2007): RS-13 Not published - Articles
Temporal Logics Beyond Regularity
Abstract -
BRICS Report Series No. 15 (2007): RS-15 Not published - Articles
A Case for Dynamic Reverse-code Generation
Abstract -
BRICS Report Series No. 17 (2007): RS-17 Not published - Articles
A Cancellation Theorem for BCCSP
Abstract -
BRICS Report Series No. 1 (2008): RS-1 Not published - Articles
Static Analysis for Event-Based XML Processing
Abstract