External Links

    Journal: Electronic Notes in Theoretical Computer Science

    Volume 70, Issue 6

    1 -- 20. Approximations for Strategies and Termination
    21 -- 61Vincent van Oostrom, Roel C. de Vrijer. Four equivalent equivalences of reductions
    62 -- 83Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal. An Operational Semantics for Declarative Multi-Paradigm Languages
    84 -- 99Mauricio Ayala-Rincón, Rinaldi Maya Neto, Ricardo P. Jacobi, Carlos H. Llanos, Reiner W. Hartenstein. Applying ELAN Strategies in Simulating Processors over Simple Architectures
    100 -- 117Mark G. J. van den Brand, Paul Klint, Jurgen J. Vinju. Term Rewriting with Type-safe Traversal Functions
    118 -- 134John R. W. Glauert, Zurab Khasidashvili. An Abstract Böhm-normalization
    135 -- 155Ralf Lämmel. The Sketch of a Polymorphic Symphony
    156 -- 175Karina Olmos, Eelco Visser. Strategies for Source-to-Source Constant Progagation
    176 -- 195Pierre Réty, Julie Vuotto. Regular Sets of Descendants by Leftmost Strategy
    196 -- 197Bernhard Gramlich, Salvador Lucas. Preface

    Volume 70, Issue 5

    1 -- 19Michael Schroeder, Ralf Schweimeier. Arguments and Misunderstandings: Fuzzy Unification for Negotiating Agents
    20 -- 38João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski. A Language for Multi-dimensional Updates
    39 -- 53Antonis C. Kakas, Pavlos Moraitis. Argumentative Agent Deliberation, Roles and Context
    54 -- 71Katsuhiko Toyama, Takahiro Kojima, Yasuyoshi Inagaki. Translating Multi-Agent Autoepistemic Logic into Logic Program
    72 -- 88Pierangelo Dell Acqua, Ulf Nilsson, Luís Moniz Pereira. A Logic Based Asynchronous Multi-Agent System
    89 -- 107James Harland, Michael Winikoff. Language Design Issues for Agents based on Linear Logic (Extended Abstract)
    108 -- 125Rafael H. Bordini, Álvaro F. Moreira. Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language
    126 -- 139Tadashi Araragi, Shiro Takata, Naoyuki Nide. A Verification Method for a Commitment Strategy of the BDI Architecture
    140 -- 152Naoyuki Nide, Shiro Takata, Tadashi Araragi. Deduction Systems for BDI Logics with Mental State Consistency
    153 -- 166Hisashi Hayashi, Kenta Cho, Akihiko Ohsuga. Speculative Computation and Action Execution in Multi-Agent Systems
    167 -- 182Koji Iwanuma, Katsumi Inoue. Conditional Answer Computation in SOL as Speculative Computation in Multi-Agent Environments
    183 -- 198Thomas Bolander. Maximal Introspection of Agents
    199 -- 203Paolo Torroni. Logics and Multi-agents: towards a new symbolic model of cognition
    204 -- 206Jürgen Dix, João Alexandre Leite, Ken Satoh. Preface

    Volume 70, Issue 4

    1 -- 20Karthikeyan Bhargavan, Carl A. Gunter. Requirements for a Practical Network Event Recognition Language
    21 -- 35Mark Brörkens, Michael Möller. Dynamic Event Generation for Runtime Checking using the JDI
    36 -- 54Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma. Collecting Statistics over Runtime Executions
    55 -- 79Parker Abercrombie, Murat Karaorman. jContractor: Bytecode Instrumentation Techniques for Implementing Design by Contract in Java
    80 -- 94Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan. Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC
    95 -- 111Moonjoo Kim, Insup Lee, Usa Sammapun, Jangwoo Shin, Oleg Sokolsky. Monitoring, Checking, and Steering of Real-Time Systems
    112 -- 127Joshua Levy, Hassen Saïdi, Tomás E. Uribe. Combining Monitors for Runtime System Verification
    128 -- 141Elsa L. Gunter, Doron Peled. Tracing the executions of concurrent programs
    142 -- 157Scott D. Stoller. Testing Concurrent Java Programs using Randomized Scheduling
    158 -- 178Suan Hsi Yong, Susan Horwitz. Reducing the Overhead of Dynamic Analysis
    179 -- 200. Translation and Run-Time Validation of Optimized Code
    201 -- 202Klaus Havelund, Grigore Rosu. Preface

    Volume 70, Issue 3

    1 -- 2John Derrick, Eerke Boiten, Jim Woodcock, Joakim von Wright. Preface
    3 -- 0Ralph-Johan Back, Joakim von Wright. Compositional Action System Refinement
    4 -- 20Steve Dunne. Junctive Compositions of specifications in total, general correctness
    21 -- 36Luke Wildman, Colin J. Fidge. The variety of variables in computer-aided real-time programming
    37 -- 49Adrian J. Hilton, Jon G. Hall. Refining specifications to programmable logic
    50 -- 69Susan Stepney, Fiona A. C. Polack, Ian Toyn. Refactoring in maintenance and development of Z specifications
    70 -- 93Lindsay Groves. Refinement and the Z schema calculus
    94 -- 131Eerke Boiten, John Derrick. Unifying concurrent and relational refinement
    132 -- 162Ana Cavalcanti, Augusto Sampaio, Jim Woodcock. Refinement of actions in Circus
    163 -- 177Matthias Anlauff, Asuman Sünbül. Towards component based systems: refining connectors
    178 -- 0Kai Engelhardt. Towards a refinement theory that supports reasoning about knowledge and time for multiple agents
    179 -- 198Emil Sekerinski. Tabular verification and refinement
    199 -- 216Yngve Lamo, Michal Walicki. Composition and refinement of specifications and parameterised data types
    217 -- 243Jim Davies, Charles Crichton. Concurrency and refinement in the UML
    244 -- 259Harald Fecher, Mila E. Majster-Cederbaum. Taking decisions late: end-based choice combined with action refinement
    260 -- 280Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu. Refinement of actions in a real-time process algebra with a true concurrency model
    281 -- 0Bernhard K. Aichernig. Contract-based mutation testing in the refinement calculus
    282 -- 296Antónia Lopes, José Luiz Fiadeiro. Superposition: Composition vs refinement of non-deterministic action-based systems
    297 -- 310Christie Bolton, Jim Davies. A comparison of refinement orderings and their associated simulation rules
    311 -- 330Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio. Refactoring by Transformation

    Volume 70, Issue 2

    1 -- 10Pablo López, Ernesto Pimentel, Joshua S. Hodas, Jeffrey Polakow, Lubomira Stoilova. Isolating Resource Consumption in Linear Logic Proof Search
    11 -- 28Joseph Vanderwaart, Karl Crary. A Simplified Account of the Metatheory of Linear LF
    29 -- 41Aaron Stump, Clark W. Barrett, David L. Dill. Producing Proofs from an Arithmetic Decision Procedure in Elliptical LF
    42 -- 59Femke van Raamsdonk, Paula Severi. Eliminating Proofs from Programs
    60 -- 75Alberto Momigliano, Simon Ambler, Roy L. Crole. A Hybrid Encoding of Howe s Method for Establishing Congruence of Bisimilarity
    76 -- 95Ivan Scagnetto, Marino Miculan. Ambient Calculus and its Logic in the Calculus of Inductive Constructions
    96 -- 109David Delahaye. A Proof Dedicated Meta-Language
    110 -- 123Brigitte Pientka. Memoization-Based Proof Search in LF - an Experimental Evaluation of a Prototype
    124 -- 145Carsten Schürmann, Serge Autexier. Towards Proof Planning for M-omega-plus
    146 -- 0Frank Pfenning. Preface

    Volume 70, Issue 1

    0 -- 0Frank Pfenning. Invited talk: Tri-Directional Type Checking
    1 -- 18Fabio Alessi, Stefania Lusin. Simple Easy Terms
    19 -- 36Steffen van Bakel. Strongly Normalising Cut-Elimination with Strict Intersection Types
    37 -- 52Sébastien Carlier. Polar Type Inference with Intersection Types and omega
    53 -- 71Judicaël Courant. Strong Normalization with Singleton Types
    72 -- 87Ugo de Liguoro. Subtyping in Logical Form
    88 -- 105Mariangiola Dezani-Ciancaglini, Alain Frisch, Elio Giovannetti, Yoko Motohama. The Relevance of Semantic Subtyping
    106 -- 123Silvia Ghilezan, Silvia Likavec. Reducibility: A Ubiquitous Method in Lambda Calculus with Intersection Types
    124 -- 148Assaf J. Kfoury, Geoffrey Washburn, Joe Wells. Implementing Compositional Analysis Using Intersection Types With Expansion Variables
    149 -- 162Daniel Leivant. Feasible functionals and intersection of ramified types
    163 -- 181Simona Ronchi Della Rocca. Intersection Typed lambda-calculus
    182 -- 183Steffen van Bakel. Preface
    runs on