Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Conference
    Name: Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday 2015
    URL: http://dx.doi.org/10.1007/978-3-319-25527-9
    DBLP: db/conf/birthday/degano2015.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 23  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino.
    Compliance in Behavioural Contracts: A Brief Survey.
    Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday 2015 (0) 2015
    Conference paper
    Roberto Zunino, Durica Nikolic, Corrado Priami, Ozan Kahramanogullari, Tommaso Schiavinotto.
    ??: An Imperative DSL to Stochastically Simulate Biological Systems.
    Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday 2015 (0) 2015
    Conference paper
    Victor E. Malyshkin.
    Active Knowledge, LuNA and Literacy for Oncoming Centuries.
    Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday 2015 (0) 2015
    Conference paper
    Marco Maria Massai.
    Pierpaolo, a Great Friend.
    Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday 2015 (0) 2015
    Conference paper
    Martín Abadi, Mike Burrows, Himabindu Pucha, Adam Sadovsky, Asim Shankar, Ankur Taly.
    Distributed Authorization with Distributed Grammars.
    Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday 2015 (0) 2015
    Conference paper
    Bent Thomsen, Kasper Søe Luckow, Lone Leth, Thomas Bøgholm.
    From Safety Critical Java Programs to Timed Process Models.
    Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday 2015 (0) 2015
    Conference paper
    Giancarlo Bigi, Andrea Bracciali, Giovanni Meacci, Emilio Tuosto.
    Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods.
    Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday 2015 (0) 2015
    Conference paper
    Fabrizio Luccio, Linda Pagli.
    Soulmate Algorithms.
    Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday 2015 (0) 2015
    Conference paper
    Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi.
    A Declarative View of Signaling Pathways.
    Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday 2015 (0) 2015
    Conference paper
    Joshua D. Guttman.
    Limited Disclosure and Locality in Graphs.
    Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday 2015 (0) 2015
    Show item 1 to 10 of 23  

    Your query returned 23 matches in the database.