( en | de | ru )

 

Disambiguation of "Wozna-Szczesniak, Bozena"

Author of the publication

copydeleteadd this publication to your clipboard
Generic Dijkstra for Optical Networks.

, , and . CoRR, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Bozena Kilarski

Bozena Kilarski

Bozena Kilarski

Bozena Scheuble

Bozena Mathejczyk

 

Other publications of authors with the same name

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