Publications
Search

Publications :: Search

Show author

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

    Author information
    First name: Andrey
    Last name: Rivkin
    DBLP: 163/5948
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 6 of 6  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Marco Montali, Andrey Rivkin.
    DB-Nets: On the Marriage of Colored Petri Nets and Relational Databases.
    Transactions on Petri Nets and Other Models of Concurrency XII 2017, Volume 10470 (0) 2017
    Conference paper
    Marco Montali, Andrey Rivkin.
    DB-Nets: on The Marriage of Colored Petri Nets and Relational Databases.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Marco Montali, Andrey Rivkin.
    Model checking Petri nets with names using data-centric dynamic systems.
    Formal Asp. Comput. 2016, Volume 28 (0) 2016
    Conference paper
    Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin.
    Implementing Data-Centric Dynamic Systems over a Relational DBMS.
    Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015. 2015 (0) 2015
    Conference paper
    Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin.
    Leveraging Relational Technology for Data-Centric Dynamic Systems.
    23rd Italian Symposium on Advanced Database Systems, SEBD 2015, Gaeta, Italy, June 14-17, 2015. 2015 (0) 2015
    Conference paper
    Marco Montali, Andrey Rivkin.
    Formal Verification of Petri Nets with Names.
    Web Services, Formal Methods, and Behavioral Types - 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers 2016 (0) 2015
    Show item 1 to 6 of 6  

    Your query returned 6 matches in the database.