Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Stefan, Jiri
37  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

LifeCLEF 2024 Teaser: Challenges on Species Distribution Pr..:

, In: Lecture Notes in Computer Science; Advances in Information Retrieval,
Joly, Alexis ; Picek, Lukáš ; Kahl, Stefan... - p. 19-27 , 2024
Link: https://doi.org/10.1007/..
 
?
2

List of contributors:

, In: Molten Salt Reactors and Thorium Energy,
Andreades, Charalampos ; Bernt, Nico ; Böhm, Dominik... - p. xxi-xxiv , 2024
Link: https://doi.org/10.1016/..
 
?
3

The First Visual Object Tracking Segmentation VOTS2023 Chal..:

, In: 2023 IEEE/CVF International Conference on Computer Vision Workshops (ICCVW),
Kristan, Matej ; Matas, Jiri ; Danelljan, Martin... - p. 1788-1810 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Kapitel 5: Sakralisierung:

, In: Theorie und Systematik materialer Textkulturen,
Frese, Tobias ; Zöller, Wolf ; Ardeleanu, Stefan... - p. 207-256 , 2023
Link: https://doi.org/10.1515/..
 
?
5

LQR-Trees with Sampling Based Exploration of the State Spac:

, In: 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS),
Fejlek, Jiri ; Ratschan, Stefan - p. 4777-4782 , 2023
Link: https://doi.org/10.1109/..
 
?
6

PDAAAL: A Library for Reachability Analysis of Weighted Pus..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Jensen, Peter G. ; Schmid, Stefan ; Schou, Morten K.. - p. 225-230 , 2022
Link: https://doi.org/10.1007/..
 
?
7

R-MPLS : recursive protection for highly dependable MPLS..:

, In: Proceedings of the 18th International Conference on emerging Networking EXperiments and Technologies,
Schmid, Stefan ; Schou, Morten Konggaard ; Srba, Jiří. - p. 276-292 , 2022
Link: https://dl.acm.org/doi/1..
 
?
8

AllSynth: Transiently Correct Network Update Synthesis Acco..:

, In: Theoretical Aspects of Software Engineering; Lecture Notes in Computer Science,
Larsen, Kim Guldstrand ; Mariegaard, Anders ; Schmid, Stefan. - p. 344-362 , 2022
Link: https://doi.org/10.1007/..
 
?
9

FBR: Dynamic Memory-Aware Fast Rerouting:

, In: 2022 IEEE 11th International Conference on Cloud Networking (CloudNet),
Johansen, Nicklas S. ; Kar, Lasse B. ; Madsen, Andreas L.... - p. 55-60 , 2022
Link: https://doi.org/10.1109/..
 
?
10

The Hazard Value: A Quantitative Network Connectivity Measu..:

, In: 2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN),
Cuijpers, Pieter ; Schmid, Stefan ; Schnepf, Nicolas. - p. 239-250 , 2022
Link: https://doi.org/10.1109/..
 
?
11

MPLS-Kit: An MPLS Data Plane Toolkit:

, In: 2022 IEEE 11th International Conference on Cloud Networking (CloudNet),
Vanerio, Juan ; Schmid, Stefan ; Schou, Morten Konggaard. - p. 49-54 , 2022
Link: https://doi.org/10.1109/..
 
?
12

The Effect of High Concentrations of MgO on Space Charge Ac..:

, In: 2022 International Conference on Diagnostics in Electrical Engineering (Diagnostika),
Kopriva, Jiri ; Hornak, Jaroslav ; Trnka, Pavel.. - p. 1-4 , 2022
Link: https://doi.org/10.1109/..
 
?
13

Computing Funnels Using Numerical Optimization Based Falsif..:

, In: 2022 International Conference on Robotics and Automation (ICRA),
Fejlek, Jiri ; Ratschan, Stefan - p. 4318-4324 , 2022
Link: https://doi.org/10.1109/..
 
?
14

Faster Pushdown Reachability Analysis with Applications in ..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Jensen, Peter Gjøl ; Schmid, Stefan ; Schou, Morten Konggaard... - p. 170-186 , 2021
Link: https://doi.org/10.1007/..
 
?
15

Product-Process-Resource Asset Networks as Foundation for I..:

, In: 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA ),
Winkler, Dietmar ; Novak, Petr ; Meixner, Kristof... - p. 1-4 , 2021
Link: https://doi.org/10.1109/..
 
1-15