Archives

Notifications

Language

Journal Content
Browse

Font Size

Information

Current Issue

User

Archives

2008

No 7 (2008): RS-7 Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: ...

No 6 (2008): RS-6 An Investigation of Abadi and Cardelli's Untyped Calculus of Objects

No 5 (2008): RS-5 Inter-Deriving Semantic Artifacts for Object-Oriented Programming

No 4 (2008): RS-4 Refunctionalization at Work

No 3 (2008): RS-3 A Study of Syntactic and Semantic Artifacts and its Application to Lambda Definability, Strong Normalization...

No 2 (2008): RS-2 Dynamic Normal Forms and Dynamic Characteristic Polynomial

No 1 (2008): RS-1 Not published

2007

No 18 (2007): RS-18 Control-Flow Analysis of Functional Programs

No 17 (2007): RS-17 Not published

No 16 (2007): RS-16 On the Equivalence between Small-Step and Big-Step Abstract Machines: A Simple Application of Lightweight Fusion

No 15 (2007): RS-15 Not published

No 14 (2007): RS-14 On Barron and Strachey's Cartesian Product Function

No 13 (2007): RS-13 Not published

No 12 (2007): RS-12 Optimal Resilient Dynamic Dictionaries

No 11 (2007): RS-11 The Saga of the Axiomatization of Parallel Composition

No 10 (2007): RS-10 Analyzing Ambiguity of Context-Free Grammars

No 9 (2007): RS-9 Not published

No 8 (2007): RS-8 A Simple Application of Lightweight Fusion to Proving the Equivalence of Abstract Machines

No 7 (2007): RS-7 Refunctionalization at Work

No 6 (2007): RS-6 On One-Pass CPS Transformations

No 5 (2007): RS-5 On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt

No 4 (2007): RS-4 A Complete, Co-Inductive Syntactic Theory of Sequential Control and State

No 3 (2007): RS-3 Ready To Preorder: Get Your BCCSP Axiomatization for Free!

No 2 (2007): RS-2 Characteristic Formulae: From Automata to Logic

No 1 (2007): RS-1 HIROIMONO is NP-complete

2006

No 19 (2006): RS-19 Logics for The Applied pi Calculus

No 18 (2006): RS-18 Not published

No 17 (2006): RS-17 A Rational Deconstruction of Landin's J Operator

No 16 (2006): RS-16 Static Analysis for Event-Based XML Processing

No 15 (2006): RS-15 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations

No 14 (2006): RS-14 Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols

No 13 (2006): RS-13 Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation

No 12 (2006): RS-12 Higher-Order Beta Matching with Solutions in Long Beta-Eta Normal Form

No 11 (2006): RS-11 An Interface Theory for Input/Output Automata

No 10 (2006): RS-10 Static Analysis for Java Servlets and JSP

No 9 (2006): RS-9 Analyzing Ambiguity of Context-Free Grammars

No 8 (2006): RS-8 Static Analysis for Java Servlets and JSP

No 7 (2006): RS-7 Undecidability Results for Bisimilarity on Prefix Rewrite Systems

No 6 (2006): RS-6 A Finite Equational Base for CCS with Left Merge and Communication Merge

No 5 (2006): RS-5 Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative

No 4 (2006): RS-4 A Rational Deconstruction of Landin's J Operator

No 3 (2006): RS-3 A Concrete Framework for Environment Machines

No 2 (2006): RS-2 A Formal Model for Context-Awareness

No 1 (2006): RS-1 On the Axiomatizability of Priority

2005

No 38 (2005): RS-38 A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines

No 37 (2005): RS-37 Faster Algorithms for Computing Longest Common Increasing Subsequences

No 36 (2005): RS-36 On the Static and Dynamic Extents of Delimited Continuations

No 35 (2005): RS-35 Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative

No 34 (2005): RS-34 Formal Aspects of Polyvariant Specialization

No 33 (2005): RS-33 Bisimilarity is not Finitely Based over BPA with Interrupt

No 32 (2005): RS-32 Static Validation of XSL Transformations

No 31 (2005): RS-31 Type Checking with XML Schema in XACT

No 30 (2005): RS-30 An Operational Semantics for Trust Policies.

No 29 (2005): RS-29 On Obtaining the Boyer-Moore String-Matching Algorithm by Partial Evaluation

No 28 (2005): RS-28 On Counting the Number of Consistent Genotype Assignments for Pedigrees

No 27 (2005): RS-27 A Calculus for Context-Awareness

No 26 (2005): RS-26 Measuring the Propagation of Information in Partial Evaluation

No 25 (2005): RS-25 A Simple Proof of a Folklore Theorem about Delimited Control

No 24 (2005): RS-24 An Operational Foundation for Delimited Continuations in the CPS Hierarchy

No 23 (2005): RS-23 A Framework for Concrete Reputation-Systems

No 22 (2005): RS-22 A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines

No 21 (2005): RS-21 General Logical Metatheorems for Functional Analysis

No 20 (2005): RS-20 Cryptography in the Bounded Quantum Storage Model

No 19 (2005): RS-19 Finite Equational Bases in Process Algebra: Results and Open Questions

No 18 (2005): RS-18 Secure Computing, Economy, and Trust: A Generic Solution for Secure Auctions with Real-World Applications

No 17 (2005): RS-17 A Quantum Cipher with Near Optimal Key-Recycling

No 16 (2005): RS-16 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations

No 15 (2005): RS-15 A Concrete Framework for Environment Machines

No 14 (2005): RS-14 On Obtaining the Boyer-Moore String-Matching Algorithm by Partial Evaluation

No 13 (2005): RS-13 On the Dynamic Extent of Delimited Continuations

No 12 (2005): RS-12 Program Extraction from Proofs of Weak Head Normalization

No 11 (2005): RS-11 An Operational Foundation for Delimited Continuations in the CPS Hierarchy

No 10 (2005): RS-10 A Simple Proof of a Folklore Theorem about Delimited Control

No 9 (2005): RS-9 Reviewing Bounds on the Circuit Size of the Hardest Functions

No 8 (2005): RS-8 Exploiting Labels in Structural Operational Semantics

No 7 (2005): RS-7 Modular Structural Operational Semantics

No 6 (2005): RS-6 Distributed Approximation of Fixed-Points in Trust Structures

No 5 (2005): RS-5 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations (Preliminary Version)

No 4 (2005): RS-4 Denotational Aspects of Untyped Normalization by Evaluation

No 3 (2005): RS-3 There and Back Again

No 2 (2005): RS-2 On the Dynamic Extent of Delimited Continuations

No 1 (2005): RS-1 On the Recursive Enumerability of Fixed-Point Combinators

2004

No 41 (2004): RS-41 Sur un Exemple de Patrick Greussay

No 40 (2004): RS-40 Fast Partial Evaluation of Pattern Matching in Strings

No 39 (2004): RS-39 CPS Transformation of Beta-Redexes

No 38 (2004): RS-38 Bottom-Up beta-Substitution: Uplinks and lambda-DAGs

No 37 (2004): RS-37 Constructive Action Semantics for Core ML

No 36 (2004): RS-36 An Action Environment

No 35 (2004): RS-35 Type Checking Semantic Functions in ASDF

No 34 (2004): RS-34 The Design Space of Type Checkers for XML Transformation Languages

No 33 (2004): RS-33 A Runtime System for XML Transformations in Java

No 32 (2004): RS-32 A Quantitative Version of Kirk's Fixed Point Theorem for Asymptotic Contractions

No 31 (2004): RS-31 Strongly Uniform Bounds from Semi-Constructive Proofs

No 30 (2004): RS-30 From Reduction-Based to Reduction-Free Normalization

No 29 (2004): RS-29 An Operational Foundation for Delimited Continuations in the CPS Hierarchy

No 28 (2004): RS-28 A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational...

No 27 (2004): RS-27 On the Adaptiveness of Quicksort

No 26 (2004): RS-26 Refocusing in Reduction Semantics

No 25 (2004): RS-25 On the Recursive Enumerability of Fixed-Point Combinators

No 24 (2004): RS-24 Bisimilarity is not Finitely Based over BPA with Interrupt

No 23 (2004): RS-23 Recursion vs. Replication in Simple Cryptographic Protocols

No 22 (2004): RS-22 Profunctors, Open Maps and Bisimulation

No 21 (2004): RS-21 New-HOPLA--A Higher-Order Process Language with Name Generation

No 20 (2004): RS-20 From Natural Semantics to Abstract Machines

No 19 (2004): RS-19 Maximum Exact Satisfiability: NP-completeness Proofs and Exact Algorithms

No 18 (2004): RS-18 An Algorithm for Exact Satisfiability Analysed with the Number of Clauses as Parameter

No 17 (2004): RS-17 Computing Logarithms Digit-by-Digit

No 16 (2004): RS-16 Distributed Approximation of Fixed-Points in Trust Structures

No 15 (2004): RS-15 The Full Abstraction of the UC Framework

No 14 (2004): RS-14 Maker-Maker and Maker-Breaker Games are PSPACE-Complete

No 13 (2004): RS-13 Strong Privacy Protection in Electronic Voting

No 12 (2004): RS-12 Lambda-Lifting in Quadratic Time

No 11 (2004): RS-11 Congruences for Contextual Graph-Rewriting

No 10 (2004): RS-10 Probabilistic Event Structures and Domains

No 9 (2004): RS-9 Zero-Knowledge Proofs and String Commitments Withstanding Quantum Attacks

No 8 (2004): RS-8 Highly Undecidable Questions for Process Algebras

No 7 (2004): RS-7 On the Expressive Power of Extended Process Rewrite Systems

No 6 (2004): RS-6 On Reducing a System of Equations to a Single Equation

No 5 (2004): RS-5 From Interpreter to Logic Engine by Defunctionalization

No 4 (2004): RS-4 Optimal Strategies in Priced Timed Game Automata

No 3 (2004): RS-3 A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines

No 2 (2004): RS-2 Cache-Oblivious Data Structures and Algorithms for Undirected Breadth-First Search and Shortest Paths

No 1 (2004): RS-1 Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge

2003

No 53 (2003): RS-53 Composing Programming Languages by Combining Action-Semantics Modules

No 52 (2003): RS-52 Pragmatics of Modular SOS

No 51 (2003): RS-51 Bounds on Iterations of Asymptotically Quasi-Nonexpansive Mappings

No 50 (2003): RS-50 A Two-Layer Approach to the Computability and Complexity of Real Numbers

No 49 (2003): RS-49 Online On-the-Fly Testing of Real-time Systems

No 48 (2003): RS-48 Danfoss EKC Trial Project Deliverables

No 47 (2003): RS-47 Recursive Ping-Pong Protocols

No 46 (2003): RS-46 The Role of Quantifier Alternations in Cut Elimination

No 45 (2003): RS-45 On converting CNF to DNF

No 44 (2003): RS-44 The Cell Probe Complexity of Succinct Data Structures

No 43 (2003): RS-43 Domain Theory for Concurrency

No 42 (2003): RS-42 Full Abstraction for HOPLA

No 41 (2003): RS-41 An Operational Foundation for Delimited Continuations

No 40 (2003): RS-40 A Denotational Account of Untyped Normalization by Evaluation

No 39 (2003): RS-39 Applying pi-Calculus to Practice: An Example of a Unified Security Mechanism

No 38 (2003): RS-38 Contracts for Cooperation between Web Service Programmers and HTML Designers

No 37 (2003): RS-37 Computational Collapse of Quantum State with Application to Oblivious Transfer

No 36 (2003): RS-36 Unfair Noisy Channels and Oblivious Transfer

No 35 (2003): RS-35 A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational...

No 34 (2003): RS-34 CCS with Hennessy's Merge has no Finite Equational Axiomatization

No 33 (2003): RS-33 A Rational Deconstruction of Landin's SECD Machine

No 32 (2003): RS-32 Extracting Herbrand Disjunctions by Functional Interpretation

No 31 (2003): RS-31 Adhesive Categories

No 30 (2003): RS-30 New Algorithms for Exact Satisfiability

No 29 (2003): RS-29 A Runtime System for XML Transformations in Java

No 28 (2003): RS-28 Regular Languages Definable by Lindström Quantifiers

No 27 (2003): RS-27 Nested Semantics over Finite Trees are Equationally Hard

No 26 (2003): RS-26 Lambda-Lifting in Quadratic Time

No 25 (2003): RS-25 From Interpreter to Logic Engine by Defunctionalization

No 24 (2003): RS-24 A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines

Full text not available. This report is superseded by the later report BRICS RS-04-3

No 23 (2003): RS-23 Recent Advances in Sigma-definability over Continuous Data Types

No 22 (2003): RS-22 Scalable Key-Escrow

No 21 (2003): RS-21 Some Logical Metatheorems with Applications in Functional Analysis

No 20 (2003): RS-20 Fast Partial Evaluation of Pattern Matching in Strings

No 19 (2003): RS-19 Static Analysis of XML Transformations in Java

No 18 (2003): RS-18 Syntactic Formats for Free: An Abstract Approach to Process Equivalence

No 17 (2003): RS-17 The Complexity of Checking Consistency of Pedigree Information and Related Problems

No 16 (2003): RS-16 A Length-Flexible Threshold Cryptosystem with Applications

No 15 (2003): RS-15 A Semantic Theory for Value-Passing Processes Based on the Late Approach

No 14 (2003): RS-14 From Interpreter to Compiler and Virtual Machine: A Functional Derivation

No 13 (2003): RS-13 A Functional Correspondence between Evaluators and Abstract Machines

No 12 (2003): RS-12 A Complexity Analysis of Functional Interpretations.

No 11 (2003): RS-11 Fast Partial Evaluation of Pattern Matching in Strings

No 10 (2003): RS-10 Wireless Authentication in chi-Spaces

No 9 (2003): RS-9 An Extended Quadratic Frobenius Primality Test with Average and Worst Case Error Estimates

No 8 (2003): RS-8 Efficient Algorithms for gcd and Cubic Residuosity in the Ring of Eisenstein Integers

No 7 (2003): RS-7 The METAFRONT System: Extensible Parsing and Transformation

No 6 (2003): RS-6 Jeeg: Temporal Constraints for the Synchronization of Concurrent Objects

No 5 (2003): RS-5 Precise Analysis of String Expressions

No 4 (2003): RS-4 A Formal Model for Trust in Dynamic Networks

No 3 (2003): RS-3 On the Computational Collapse of Quantum Information

No 2 (2003): RS-2 Tagging, Encoding, and Jones Optimality

No 1 (2003): RS-1 Deriving Bisimulation Congruences: 2-Categories vs. Precategories

2002

No 53 (2002): RS-53 A Lambda-Revelation of the SECD Machine

No 52 (2002): RS-52 A New One-Pass Transformation into Monadic Normal Form

No 51 (2002): RS-51 Computing Refined Buneman Trees in Cubic Time

No 50 (2002): RS-50 Circuits on Cylinders

No 49 (2002): RS-49 HOPLA--A Higher-Order Process Language

No 48 (2002): RS-48 Linearity in Process Languages

No 47 (2002): RS-47 Extended Temporal Logic on Finite Words and Wreath Product of Monoids with Distinguished Generators

No 46 (2002): RS-46 Greibach Normal Form in Algebraically Complete Semirings

No 45 (2002): RS-45 Chromatic Number in Time O(2.4023^n) Using Maximal Independent Sets

No 44 (2002): RS-44 Higher Dimensional Automata

No 43 (2002): RS-43 Using IDDs for Packet Filtering

No 42 (2002): RS-42 Checking Consistency of Pedigree Information is NP-complete (Preliminary Report)

No 41 (2002): RS-41 Axiomatizing Omega and Omega-op Powers of Words

No 40 (2002): RS-40 A Note on an Expressiveness Hierarchy for Multi-exit Iteration

No 39 (2002): RS-39 Some Remarks on Regular Words

No 38 (2002): RS-38 The Powerdomain of Indexed Valuations

No 37 (2002): RS-37 A Symmetric Approach to Compilation and Decompilation

No 36 (2002): RS-36 CPS Transformation of Flow Information, Part II: Administrative Reductions

No 35 (2002): RS-35 Timed Automata May Cause Some Troubles

No 34 (2002): RS-34 A Foundation for Embedded Languages

No 33 (2002): RS-33 Memoization in Type-Directed Partial Evaluation

No 32 (2002): RS-32 On Obtaining Knuth, Morris, and Pratt's String Matcher by Partial Evaluation

No 31 (2002): RS-31 Proof Mining: A Systematic Way of Analysing Proofs in Mathematics

No 30 (2002): RS-30 Lambda-Lifting in Quadratic Time

No 29 (2002): RS-29 Comparative Methods for Gene Structure Prediction in Homologous Sequences

No 28 (2002): RS-28 Mann Iterates of Directionally Nonexpansive Mappings in Hyperbolic Spaces

No 27 (2002): RS-27 Simulating Uniform Hashing in Constant Time and Optimal Space

No 26 (2002): RS-26 Fixed Points on Abstract Structures without the Equality Test

No 25 (2002): RS-25 Deciding Framed Bisimilarity

No 24 (2002): RS-24 Static Analysis for Dynamic XML

No 23 (2002): RS-23 Compact Representations of BL-Algebras

No 22 (2002): RS-22 On the Expressive Power of Concurrent Constraint Programming Languages

No 21 (2002): RS-21 Formal Tree Series

No 20 (2002): RS-20 Regular Languages Definable by Lindström Quantifiers (Preliminary Version)

No 19 (2002): RS-19 An Extension Theorem with an Application to Formal Tree Series

No 18 (2002): RS-18 Cache Oblivious Distribution Sweeping

No 17 (2002): RS-17 On the Number of Maximal Bipartite Subgraphs of a Graph

No 16 (2002): RS-16 Strong Bisimilarity of Simple Process Algebras: Complexity Lower Bounds

No 15 (2002): RS-15 On the Number of Maximal Independent Sets in a Graph

No 14 (2002): RS-14 Modified Bar Recursion

No 13 (2002): RS-13 Solving the String Statistics Problem in Time O(n log n)

No 12 (2002): RS-12 There and Back Again

No 11 (2002): RS-11 Extending Java for High-Level Web Service Construction

No 10 (2002): RS-10 Uniform Asymptotic Regularity for Mann Iterates

No 9 (2002): RS-9 One-Probe Search

No 8 (2002): RS-8 Optimal Black-Box Secret Sharing over Arbitrary Abelian Groups

No 7 (2002): RS-7 A Formalization of Linkage Analysis

No 6 (2002): RS-6 Equational Axioms for Probabilistic Bisimilarity (Preliminary Report)

No 5 (2002): RS-5 Composing Strand Spaces

No 4 (2002): RS-4 Syntactic Theories in Practice

No 3 (2002): RS-3 On One-Pass CPS Transformations

No 2 (2002): RS-2 A Simple Correctness Proof of the Direct-Style Transformation

No 1 (2002): RS-1 The bigwig Project

2001

No 55 (2001): RS-55 A Simple CPS Transformation of Control-Flow Information

No 54 (2001): RS-54 Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation

No 53 (2001): RS-53 Temporal Logic with Cyclic Counting and the Degree of Aperiodicity of Finite Automata

No 52 (2001): RS-52 Extracting Witnesses from Proofs of Knowledge in the Random Oracle Model

No 51 (2001): RS-51 On Weak Markov's Principle

No 50 (2001): RS-50 Note on the Tableau Technique for Commutative Transition Systems

No 49 (2001): RS-49 A First-Order One-Pass CPS Transformation

No 48 (2001): RS-48 Temporal Concurrent Constraint Programming: Applications and Behavior

No 47 (2001): RS-47 Non-Committing Encryption is Too Easy in the Random Oracle Model

No 46 (2001): RS-46 The Implicit Computational Complexity of Imperative Programming Languages

No 45 (2001): RS-45 An Extended Quadratic Frobenius Primality Test with Average Case Error Estimates

No 44 (2001): RS-44 Predicate Abstraction for Dense Real-Time Systems

No 43 (2001): RS-43 From Known-Plaintext Security to Chosen-Plaintext Security

No 42 (2001): RS-42 Rationally Additive Semirings

No 41 (2001): RS-41 Perfect Hiding and Perfect Binding Universally Composable Commitment Schemes with Constant Expansion Factor

No 40 (2001): RS-40 CPS Transformation of Flow Information, Part II: Administrative Reductions

No 39 (2001): RS-39 There and Back Again

No 38 (2001): RS-38 Free De Morgan Bisemigroups and Bisemilattices

No 37 (2001): RS-37 Universal Hash Proofs and a Paradigm for Adaptive Chosen Ciphertext Secure Public-Key Encryption

No 36 (2001): RS-36 Cache Oblivious Search Trees via Binary Trees of Small Height

No 35 (2001): RS-35 A General Schema for Constructing One-Point Bases in the Lambda Calculus

No 34 (2001): RS-34 Fast Random Access to Wavelet Compressed Volumetric Data Using Hashing

No 33 (2001): RS-33 Lossy Dictionaries

No 32 (2001): RS-32 Cuckoo Hashing

No 31 (2001): RS-31 Syntactic Theories in Practice

No 30 (2001): RS-30 A Selective CPS Transformation

No 29 (2001): RS-29 A Unifying Approach to Goal-Directed Evaluation

No 28 (2001): RS-28 A Fully Equational Proof of Parikh's Theorem

No 27 (2001): RS-27 A Higher-Order Calculus for Categories

No 26 (2001): RS-26 A Complete Axiomatization of Simulation for Regular CCS Expressions

No 25 (2001): RS-25 Cost Recurrences for DML Programs

No 24 (2001): RS-24 Automata on Series-Parallel Biposets

No 23 (2001): RS-23 Defunctionalization at Work

No 22 (2001): RS-22 The Equational Theory of Fixed Points with Applications to Generalized Language Theory

No 21 (2001): RS-21 Equational Theories of Tropical Semirings

No 20 (2001): RS-20 A Temporal Concurrent Constraint Programming Calculus

No 19 (2001): RS-19 On the Power of Labels in Transition Systems

No 18 (2001): RS-18 Some Complexity Problems on Single Input Double Output Controllers

No 17 (2001): RS-17 Language-Based Caching of Dynamically Generated HTML

No 16 (2001): RS-16 Normalization by Evaluation with Typed Abstract Syntax

No 15 (2001): RS-15 A Calculus of Circular Proofs and its Categorical Semantics

No 14 (2001): RS-14 Effective Bounds on Strong Unicity in L1-Approximation

No 13 (2001): RS-13 Events in Security Protocols

No 12 (2001): RS-12 The Abstraction and Instantiation of String-Matching Programs

No 11 (2001): RS-11 From HUPPAAL to UPPAAL - A Translation from Hierarchical Timed Automata to Flat Timed Automata

No 10 (2001): RS-10 Do we Need Dependent Types?

No 9 (2001): RS-9 Static Validation of Dynamically Generated HTML

No 8 (2001): RS-8 Checking for Open Bisimilarity in the pi-Calculus

No 7 (2001): RS-7 On the Number of Quasi-Kernels in Digraphs

No 6 (2001): RS-6 Traveling Salesman Should not be Greedy: Domination Analysis of Greedy-Type Heuristics for the TSP

No 5 (2001): RS-5 Linear Parametric Model Checking of Timed Automata

No 4 (2001): RS-4 Efficient Guiding Towards Cost-Optimality in UPPAAL

No 3 (2001): RS-3 Minimum-Cost Reachability for Priced Timed Automata

No 2 (2001): RS-2 Optimal Time-Space Trade-Offs for Non-Comparison-Based Sorting

No 1 (2001): RS-1 The Complexity of Constructing Evolutionary Trees Using Experiments

2000

No 52 (2000): RS-52 How to Convert a Flavor of Quantum Bit Commitment

No 51 (2000): RS-51 CASL for CafeOBJ Users

No 50 (2000): RS-50 Modularity in Meta-Languages

No 49 (2000): RS-49 Higher Order Reverse Mathematics

No 48 (2000): RS-48 A Discrete Stratety Improvement Algorithm for Solving Parity Games

No 47 (2000): RS-47 A Denotational Investigation of Defunctionalization

No 46 (2000): RS-46 Reasoning About Code-Generation in Two-Level Languages

No 45 (2000): RS-45 A Generalisation, a Simplification and some Applications of Paillier’s Probabilistic Public-Key System

No 44 (2000): RS-44 The Second Futamura Projection for Type-Directed Partial Evaluation

No 43 (2000): RS-43 PowerForms: Declarative Client-Side Form Field Validation

No 42 (2000): RS-42 The bigwig Project

No 41 (2000): RS-41 The DSD Schema Language and its Applications

No 40 (2000): RS-40 MONA Implementation Secrets

No 39 (2000): RS-39 The Pointer Assertion Logic Engine

No 38 (2000): RS-38 Dynamic Partitioning in Linear Relation Analysis. Application to the Verification of Synchronous Programs

No 37 (2000): RS-37 Guided Synthesis of Control Programs for a Batch Plant using UPPAAL

No 36 (2000): RS-36 Dispersing Hash Functions

No 35 (2000): RS-35 CPS Transformation of Beta-Redexes

No 34 (2000): RS-34 A Simple Take on Typed Abstract Syntax in Haskell-like Languages

No 33 (2000): RS-33 A Higher-Order Colon Translation

No 32 (2000): RS-32 The Meaning of Types From Intrinsic to Extrinsic Semantics

No 31 (2000): RS-31 Partial Evaluation of Pattern Matching in Strings, revisited

No 30 (2000): RS-30 Practical Threshold RSA Signatures Without a Trusted Dealer

No 29 (2000): RS-29 The Alternation Hierarchy for the Theory of u-lattices

No 28 (2000): RS-28 Free mu-lattices

No 27 (2000): RS-27 Inductive * -Semirings

No 26 (2000): RS-26 Modelling and Control of Discrete Event Dynamic Systems

No 25 (2000): RS-25 Continuous Additive Algebras and Injective Simulations of Synchronization Trees

No 24 (2000): RS-24 Growing Languages with Metamorphic Syntax Macros

No 23 (2000): RS-23 Characteristic Formulae for Timed Automata

No 22 (2000): RS-22 Using Automata in Control Synthesis. A Case Study

No 21 (2000): RS-21 Heuristics for Hierarchical Partitioning with Application to Model Checking

No 20 (2000): RS-20 2-Nested Simulation is not Finitely Equationally Axiomatizable

No 19 (2000): RS-19 A Note on NP intersection coNP/poly

No 18 (2000): RS-18 Language, Semantics, and Methods for Cryptographic Protocols

No 17 (2000): RS-17 Modeling a Language for Embedded Systems in Timed Automata

No 16 (2000): RS-16 Complexity of Weak Bisimilarity and Regularity for BPA and BPP

No 15 (2000): RS-15 Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation

No 14 (2000): RS-14 Multiparty Computation from Threshold Homomorphic Encryption

No 13 (2000): RS-13 Matching Modulo Associativity and Idempotency is NP-Complete

No 12 (2000): RS-12 Intuitionistic Choice and Restricted Classical Logic

No 11 (2000): RS-11 On Ajtai’s Lower Bound Technique for R-way Branching Programs and the Hamming Distance Problem

No 10 (2000): RS-10 A Tough Nut for Tree Resolution

No 9 (2000): RS-9 Effective Uniform Bounds on the Krasnoselski-Mann Iteration

No 8 (2000): RS-8 Democratic Consensus and the Local Majority Rule

No 6 (2000): RS-6 Improved Non-Committing Encryption Schemes based on a General Complexity Assumption

No 5 (2000): RS-5 Efficient Protocols based on Probabilistic Encryption using Composite Degree Residue Classes

No 4 (2000): RS-4 A New Trade-off for Deterministic Dictionaries

No 3 (2000): RS-3 On Memory-Block Traversal Problems in Model Checking Timed Systems

No 2 (2000): RS-2 Local Logics for Traces

No 1 (2000): RS-1 Pseudoknots in RNA Secondary Structures

1999

No 57 (1999): RS-57 A Modular SOS for ML Concurrency Primitives

No 56 (1999): RS-56 A Modular SOS for Action Notation

No 55 (1999): RS-55 Logical Specification of Operational Semantics

No 54 (1999): RS-54 Foundations of Modular SOS

No 53 (1999): RS-53 Model-Checking Real-Time Control Programs. Verifying LEGO Mindstorms Systems Using UPPAAL

No 52 (1999): RS-52 Towards a Theory of Regular MSC Languages

No 51 (1999): RS-51 Formalizing Implementation Strategies for First-Class Continuations

No 50 (1999): RS-50 Improved Bounds for Dictionary Look-up with One Error

No 49 (1999): RS-49 An Approximation Algorithm for Hypergraph Max k-Cut with Given Sizes of Parts

No 48 (1999): RS-48 Faster Deterministic Dictionaries

No 47 (1999): RS-47 Derandomizing Arthur-Merlin Games using Hitting Sets

No 46 (1999): RS-46 Super-Polynomial Versus Half-Exponential Circuit Size in the Exponential Hierarchy

No 45 (1999): RS-45 Partial Evaluation for Constraint-Based Program Analyses

No 44 (1999): RS-44 Aliasing Models for Mobile Objects

No 43 (1999): RS-43 What is a ‘Good’ Encoding of Guarded Choice?

1 - 350 of 670 Items 1 2 > >>

This website uses cookies to allow us to see how the site is used. The cookies cannot identify you or any content at your own computer.

OK

ISSN: 0909-0878

Hosted by the Royal Danish Library and Aarhus University Library