External Links

    Journal: Fundamenta Informaticae

    Volume 89, Issue 4

    369 -- 392Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim. Slicing Abstractions
    393 -- 417Muhammad Torabi Dashti, Srijith Krishnan Nair, Hugo L. Jonker. Nuovo DRM Paradiso: Designing a Secure, Verified, Fair Exchange DRM Scheme
    419 -- 450Parosh Aziz Abdulla, Johann Deneux, Joël Ouaknine, Karin Quaas, James Worrell. Universality Analysis for One-Clock Timed Automata
    451 -- 478Mario Bravetti, Gianluigi Zavattaro. A Foundational Theory of Contracts for Multi-party Service Composition
    479 -- 510Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci. On the Use of Behavioural Equivalences for Web Services Development
    511 -- 538Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini. Logic-based Conflict Detection for Distributed Policies
    539 -- 577Seyyed Vahid Hashemian, Farhad Mavaddat. A Logical Reasoning Approach to Automatic Composition of Stateless Components

    Volume 89, Issue 2-3

    161 -- 187Chien-Fu Cheng, Shu-Ching Wang, Tyne Liang. Byzantine Agreement & Fault Diagnosis Agreement in Dynamic Ad-Hoc Environment
    189 -- 206Krzysztof Dembczynski, Wojciech Kotlowski, Marcin Sydow. Effective Prediction of Web User Behaviour with User-Level Models
    207 -- 257Zoltán Fülöp, Lorand Muzamel. Pebble Macro Tree Transducers with Strong Pebble Handling
    259 -- 288Gösta Grahne, Alex Thomo, William W. Wadge. Preferential Regular Path Queries
    289 -- 305Tomasz Jurdzinski. The Boolean Closure of Growing Context-Sensitive Languages
    307 -- 312Daniel Leivant. Logical Undecidabilities Made Easy
    313 -- 329Anna Nepomniaschaya. Efficient Implementation of the Italiano Algorithms for Updating the Transitive Closure on Associative Parallel Processors
    331 -- 344Indranil Saha, Bhargab B. Bhattacharya, Sheng Zhang, Sharad C. Seth. Planar Straight-Line Embedding of Double-Tree Scan Architecture on a Rectangular Grid
    345 -- 368Filip Svrcek. On the Axiomatic System of SBLnotalgebras

    Volume 89, Issue 1

    1 -- 22Jeroen De Knijf, Ad Feelders. An Experimental Comparison of Different Inclusion Relations in Frequent Tree Mining
    23 -- 43Floriana Esposito, Nicola Di Mauro, Teresa Maria Altomare Basile, Stefano Ferilli. Multi-Dimensional Relational Sequence Mining
    45 -- 67Nuno A. Fonseca, Rui Camacho, Ricardo Rocha, Vítor Santos Costa. Compile the Hypothesis Space: Do it Once, Use it Often
    69 -- 94Hongyu Guo, Herna L. Viktor. Learning from Skewed Class Multi-relational Databases
    95 -- 109Ondrej Kuzelka, Filip Zelezný. A Restarted Strategy for Efficient Subsumption Testing
    111 -- 129Niels Landwehr, Bernd Gutmann, Ingo Thon, Luc De Raedt, Matthai Philipose. Relational Transformation-based Tagging for Activity Recognition
    131 -- 160Wannes Meert, Jan Struyf, Hendrik Blockeel. Learning Ground CP-Logic Theories by Leveraging Bayesian Network Learning Techniques
    runs on