Treffer 1 - 20 von 25 für Suche 'Thinniyam, Ramanathan S.', Suchdauer: 0,62s Treffer weiter einschränken
  1. 1
    Definability in first-order theories of graph orderings

    Definability in first-order theories of graph orderings von Ramanujam, R, Thinniyam, Ramanathan S


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Defining Recursive Predicates in Graph Orders

    Defining Recursive Predicates in Graph Orders von Ramanathan S. Thinniyam


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond

    General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond von Majumdar, Rupak, Thinniyam, Ramanathan S., Zetzsche, Georg


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Existential Definability over the Subword Ordering

    Existential Definability over the Subword Ordering von Baumann, Pascal, Ganardi, Moses, Thinniyam, Ramanathan S., Zetzsche, Georg


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Reachability in Continuous Pushdown VASS

    Reachability in Continuous Pushdown VASS von Balasubramanian, A. R., Majumdar, Rupak, Thinniyam, Ramanathan S., Zetzsche, Georg


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Context-bounded verification of thread pools

    Context-bounded verification of thread pools von Baumann, Pascal, Majumdar, Rupak, Thinniyam, Ramanathan S., Zetzsche, Georg


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Context-bounded verification of liveness properties for multithreaded shared-memory programs

    Context-bounded verification of liveness properties for multithreaded shared-memory programs von Baumann, Pascal, Majumdar, Rupak, Thinniyam, Ramanathan S., Zetzsche, Georg


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Context-Bounded Verification of Context-Free Specifications

    Context-Bounded Verification of Context-Free Specifications von Baumann, Pascal, Ganardi, Moses, Majumdar, Rupak, Thinniyam, Ramanathan S., Zetzsche, Georg


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Definability of Recursive Predicates in the Induced Subgraph Order

    Definability of Recursive Predicates in the Induced Subgraph Order von Thinniyam, Ramanathan S.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond

    General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond von Majumdar, Rupak, Thinniyam, Ramanathan S, Zetzsche, Georg

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Reachability in Continuous Pushdown VASS

    Reachability in Continuous Pushdown VASS von Balasubramanian, A. R, Majumdar, Rupak, Thinniyam, Ramanathan S, Zetzsche, Georg

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Reachability in Continuous Pushdown VASS

    Reachability in Continuous Pushdown VASS von Balasubramanian, A. R, Majumdar, Rupak, Thinniyam, Ramanathan S, Zetzsche, Georg

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Defining Recursive Predicates in Graph Orders

    Defining Recursive Predicates in Graph Orders von Thinniyam, Ramanathan S

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Regular Separability and Intersection Emptiness are Independent Problems

    Regular Separability and Intersection Emptiness are Independent Problems von Thinniyam, Ramanathan S, Zetzsche, Georg

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Existential Definability over the Subword Ordering

    Existential Definability over the Subword Ordering von Baumann, Pascal, Moses Ganardi, Thinniyam, Ramanathan S, Zetzsche, Georg

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Network coding in optical networks with O/E/O based wavelength conversion

    Network coding in optical networks with O/E/O based wavelength conversion von Thinniyam, Ramanathan S, Minkyu Kim, Medard, Muriel, O'Reilly, Una-May

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Context-Bounded Verification of Thread Pools

    Context-Bounded Verification of Thread Pools von Baumann, Pascal, Majumdar, Rupak, Thinniyam, Ramanathan S, Zetzsche, Georg

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Checking Refinement of Asynchronous Programs against Context-Free Specifications

    Checking Refinement of Asynchronous Programs against Context-Free Specifications von Baumann, Pascal, Ganardi, Moses, Majumdar, Rupak, Thinniyam, Ramanathan S, Zetzsche, Georg

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    The complexity of bounded context switching with dynamic thread creation

    The complexity of bounded context switching with dynamic thread creation von Baumann, Pascal, Majumdar, Rupak, Thinniyam, Ramanathan S, Zetzsche, Georg

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Context-Bounded Verification of Liveness Properties for Multithreaded Shared-Memory Programs

    Context-Bounded Verification of Liveness Properties for Multithreaded Shared-Memory Programs von Baumann, Pascal, Majumdar, Rupak, Thinniyam, Ramanathan S, Zetzsche, Georg

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: