HTML Export for Gabbrielli's Festschrift

Copy to Clipboard Download

<h2>OASIcs, Volume 86, Gabbrielli's Festschrift</h2>
<ul>
<li>
    <span class="authors">Frank S. de Boer and Jacopo Mauro</span>
    <span class="title">OASIcs, Volume 86, Gabbrielli&#039;s Festschrift, Complete Volume</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.Gabbrielli">10.4230/OASIcs.Gabbrielli</a>
</li>
<li>
    <span class="authors">Frank S. de Boer and Jacopo Mauro</span>
    <span class="title">Front Matter, Table of Contents, Preface</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.Gabbrielli.0">10.4230/OASIcs.Gabbrielli.0</a>
</li>
<li>
    <span class="authors">Reiner Hähnle, Anton W. Haubner, and Eduard Kamburjan</span>
    <span class="title">Locally Static, Globally Dynamic Session Types for Active Objects</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.Gabbrielli.1">10.4230/OASIcs.Gabbrielli.1</a>
</li>
<li>
    <span class="authors">Cosimo Laneve and Adele Veschetti</span>
    <span class="title">A Formal Analysis of the Bitcoin Protocol</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.Gabbrielli.2">10.4230/OASIcs.Gabbrielli.2</a>
</li>
<li>
    <span class="authors">Mariangiola Dezani-Ciancaglini, Paola Giannini, and Betti Venneri</span>
    <span class="title">Deconfined Intersection Types in Java</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.Gabbrielli.3">10.4230/OASIcs.Gabbrielli.3</a>
</li>
<li>
    <span class="authors">Mila Dalla Preda</span>
    <span class="title">Towards a Unifying Framework for Tuning Analysis Precision by Program Transformation</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.Gabbrielli.4">10.4230/OASIcs.Gabbrielli.4</a>
</li>
<li>
    <span class="authors">Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Davide Sangiorgi, and Stefano Pio Zingaro</span>
    <span class="title">The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.Gabbrielli.5">10.4230/OASIcs.Gabbrielli.5</a>
</li>
<li>
    <span class="authors">Moreno Falaschi and Giulia Palma</span>
    <span class="title">A Logic Programming Approach to Reaction Systems</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.Gabbrielli.6">10.4230/OASIcs.Gabbrielli.6</a>
</li>
<li>
    <span class="authors">Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, and Peter J. Stuckey</span>
    <span class="title">Abstract Interpretation, Symbolic Execution and Constraints</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.Gabbrielli.7">10.4230/OASIcs.Gabbrielli.7</a>
</li>
<li>
    <span class="authors">Simone Martini</span>
    <span class="title">The Standard Model for Programming Languages: The Birth of a Mathematical Theory of Computation</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.Gabbrielli.8">10.4230/OASIcs.Gabbrielli.8</a>
</li>
<li>
    <span class="authors">Stefano Bistarelli and Carlo Taticchi</span>
    <span class="title">A Concurrent Language for Argumentation: Preliminary Notes</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.Gabbrielli.9">10.4230/OASIcs.Gabbrielli.9</a>
</li>
<li>
    <span class="authors">Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, and Lars Tveito</span>
    <span class="title">Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.Gabbrielli.10">10.4230/OASIcs.Gabbrielli.10</a>
</li>
<li>
    <span class="authors">Moreno Falaschi, Catuscia Palamidessi, and Marco Romanelli</span>
    <span class="title">Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.Gabbrielli.11">10.4230/OASIcs.Gabbrielli.11</a>
</li>
<li>
    <span class="authors">Luca Bixio, Giorgio Delzanno, Stefano Rebora, and Matteo Rulli</span>
    <span class="title">Adaptive Real Time IoT Stream Processing in Microservices Architecture</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.Gabbrielli.12">10.4230/OASIcs.Gabbrielli.12</a>
</li>
</ul>

The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.

Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode