Search

Your search keyword '"Woźna-Szcześniak, Bożena"' showing total 97 results

Search Constraints

Start Over You searched for: Author "Woźna-Szcześniak, Bożena" Remove constraint Author: "Woźna-Szcześniak, Bożena"
97 results on '"Woźna-Szcześniak, Bożena"'

Search Results

1. Is dynamic dedicated path protection tractable?

2. Generic Dijkstra: correctness and tractability

3. Interoperator fixed-mobile network sharing

4. Towards an efficient and exact algorithm for dynamic dedicated path protection

5. Adapted and constrained Dijkstra for elastic optical networks

6. Generic Dijkstra for optical networks

7. Routing Algorithms for SDM Flexible Optical Networks.

8. Performance of Interoperator Fixed-Mobile Network Sharing

9. Itinerant routing in elastic optical networks

13. AICyberSec: A Cyber Security Tool

14. Modeling and checking robustness of communicating autonomous vehicles

16. SMT-Based Bounded Model Checking for Weighted Epistemic ECTL

18. Bounded Model Checking for Weighted Interpreted Systems and for Flat Weighted Epistemic Computation Tree Logic

20. SAT-Based Bounded Model Checking for Weighted Interpreted Systems and Weighted Linear Temporal Logic

21. SAT-Based Bounded Model Checking for RTECTL and Simply-Timed Systems

22. SAT-Based Bounded Model Checking for Weighted Deontic Interpreted Systems

23. SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems

24. Two Approaches to Bounded Model Checking for Linear Time Logic with Knowledge

25. SAT-Based Bounded Model Checking for Deontic Interleaved Interpreted Systems

26. Bounded Model Checking for the Existential Part of Real-Time CTL and Knowledge

27. The BMC Method for the Existential Part of RTCTLK and Interleaved Interpreted Systems

Catalog

Books, media, physical & digital resources