( en | de | ru )

 

Disambiguierung von "Wozna-Szczesniak, Bozena"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Generic Dijkstra for Optical Networks.

, , und . CoRR, (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.

Bozena Kilarski

Bozena Kilarski

Bozena Kilarski

Bozena Scheuble

Bozena Mathejczyk

 

Weitere Publikationen von Autoren mit dem selben Namen

Bounded Model Checking for the Existential Part of Real-Time CTL and Knowledge.. CEE-SET, Volume 7054 von Lecture Notes in Computer Science, Seite 164-178. Springer, (2009)SMT-Based Bounded Model Checking for Weighted Epistemic ECTL., , und . EPIA, Volume 9273 von Lecture Notes in Computer Science, Seite 651-657. Springer, (2015)The BMC Method for the Existential Part of RTCTLK and Interleaved Interpreted Systems., , und . EPIA, Volume 7026 von Lecture Notes in Computer Science, Seite 551-565. Springer, (2011)Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking., und . CS&P, Volume 1032 von CEUR Workshop Proceedings, Seite 469-477. CEUR-WS.org, (2013)Interoperator fixed-mobile network sharing., , , und . ONDM, Seite 192-197. IEEE, (2015)Two Approaches to Bounded Model Checking for Linear Time Logic with Knowledge., , , , und . KES-AMSTA, Volume 7327 von Lecture Notes in Computer Science, Seite 514-523. Springer, (2012)Real-Time Conditional Commitment Logic and Duration Communication Interpreted Systems., und . DCAI, Volume 800 von Advances in Intelligent Systems and Computing, Seite 103-111. Springer, (2018)SMT-based Bounded Model Checking for Weighted Interpreted Systems and for Weighted Epistemic ECTL., , und . AAMAS, Seite 1671-1672. ACM, (2015)Is dynamic dedicated path protection tractable?, , und . CoRR, (2023)Adapted and constrained Dijkstra for elastic optical networks., und . ONDM, Seite 1-6. IEEE, (2016)