( en | de | ru )

 

Disambiguierung von "Lazic, Ranko"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Polynomial-Time Algorithm for Reachability in Branching VASS in Dimension One.

, , , und . ICALP, Volume 55 von LIPIcs, Seite 105:1-105:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Vladan Rankovic

Modulation of Ca_1hn2_1hn+ dependent inactivation of Ca_1hn2_1hn+ channels by intracellular signalling. Uni Magdeburg, (2009)

Ranko Pavlovi

Boja Lazic

Ranko Sredojevic

Ranko Stiglmayer

 

Weitere Publikationen von Autoren mit dem selben Namen

The ideal view on Rackoff's coverability technique., und . Inf. Comput., (2021)Safety alternating automata on data words.. ACM Trans. Comput. Log., 12 (2): 10:1-10:24 (2011)Model Checking Freeze LTL over One-Counter Automata., , und . FoSSaCS, Volume 4962 von Lecture Notes in Computer Science, Seite 490-504. Springer, (2008)Contextual Approximation and Higher-Order Procedures., und . FoSSaCS, Volume 9634 von Lecture Notes in Computer Science, Seite 162-179. Springer, (2016)When is Containment Decidable for Probabilistic Automata?., , , , , und . ICALP, Volume 107 von LIPIcs, Seite 121:1-121:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Verification column.. ACM SIGLOG News, 7 (3): 28 (2020)Verification column.. ACM SIGLOG News, 6 (4): 3 (2019)Verification column.. ACM SIGLOG News, 8 (4): 3 (2021)Binary Reachability of Timed-register Pushdown Automata and Branching Vector Addition Systems., , , und . ACM Trans. Comput. Log., 20 (3): 14:1-14:31 (2019)When are emptiness and containment decidable for probabilistic automata?, , , , , und . J. Comput. Syst. Sci., (2021)