( en | de | ru )

 

Disambiguierung von "Lazic, Ranko"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
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)

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)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)Safety alternating automata on data words.. ACM Trans. Comput. Log., 12 (2): 10:1-10:24 (2011)Contextual Approximation and Higher-Order Procedures., und . FoSSaCS, Volume 9634 von Lecture Notes in Computer Science, Seite 162-179. Springer, (2016)Model Checking Freeze LTL over One-Counter Automata., , und . FoSSaCS, Volume 4962 von Lecture Notes in Computer Science, Seite 490-504. Springer, (2008)LTL with the freeze quantifier and register automata., und . ACM Trans. Comput. Log., 10 (3): 16:1-16:30 (2009)Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption., , und . IFM, Volume 2999 von Lecture Notes in Computer Science, Seite 247-266. Springer, (2004)Safely Freezing LTL.. FSTTCS, Volume 4337 von Lecture Notes in Computer Science, Seite 381-392. Springer, (2006)On a Semantic Definition of Data Independence ., und . TLCA, Volume 2701 von Lecture Notes in Computer Science, Seite 226-240. Springer, (2003)A Unifying Approach to Data-Independence., und . CONCUR, Volume 1877 von Lecture Notes in Computer Science, Seite 581-595. Springer, (2000)