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