Jirí Srba

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Isabella Kaufmann

> Home > Persons > Jirí Srba

Publications

2020
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/KaufmannLS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/KaufmannLS20
Isabella Kaufmann, Kim Guldstrand Larsen, Jirí Srba:
Synthesis for Multi-weighted Games with Branching-Time Winning Conditions. Petri Nets 2020: 46-66
2019
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/JensenKLNS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/JensenKLNS19
Lasse S. Jensen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Jirí Srba:
Model checking and synthesis for branching multi-weighted logics. J. Log. Algebraic Methods Program. 105: 28-46 (2019)
2018
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/DalsgaardEFJJJK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/DalsgaardEFJJJK18
Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Peter Fogh, Lasse S. Jensen, Peter Gjøl Jensen, Tobias Skovgaard Jepsen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Mads Chr. Olesen, Samuel Pastva, Jirí Srba:
A Distributed Fixed-Point Algorithm for Extended Dependency Graphs. Fundam. Informaticae 161(4): 351-381 (2018)
2017
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/DalsgaardEFJJKL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/DalsgaardEFJJKL17
Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Peter Fogh, Lasse S. Jensen, Tobias Skovgaard Jepsen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Mads Chr. Olesen, Samuel Pastva, Jirí Srba:
Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation. Petri Nets 2017: 139-158

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.