Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Smolka, Steffen
38  Ergebnisse:
Personensuche X
?
1

KATch: A Fast Symbolic Verifier for NetKAT:

Moeller, Mark ; Jacobs, Jules ; Belanger, Olivier Savary...
Proceedings of the ACM on Programming Languages.  8 (2024)  PLDI - p. 1905-1928 , 2024
Link: https://doi.org/10.1145/..
 
?
2

Shorter planning depth and higher response noise during seq..:

Steffen, Johannes ; Marković, Dimitrije ; Glöckner, Franka...
Scientific Reports.  13 (2023)  1 - p. , 2023
Link: https://doi.org/10.1038/..
 
?
3

Shorter planning depth and higher response noise during seq..:

Johannes Steffen ; Dimitrije Marković ; Franka Glöckner...
https://doi.org/10.1038/s41598-023-33274-0.  , 2023
Link: https://doi.org/10.1038/..
 
?
4

Measuring self-regulation in everyday life: reliability and..:

Zech, Hilmar ; Waltmann, Maria ; Lee, Yan Ying...
info:eu-repo/semantics/altIdentifier/wos/000905091400001.  , 2023
Link: https://publikationen.bi..
 
?
5

SwitchV : automated SDN switch validation with P4 models:

, In: Proceedings of the ACM SIGCOMM 2022 Conference,
Albab, Kinan Dak ; DiLorenzo, Jonathan ; Heule, Stefan... - p. 365-379 , 2022
Link: https://dl.acm.org/doi/1..
 
?
6

Patterns of Alcohol Consumption Among Individuals With Alco..:

Deeken, Friederike (PhD) ; Reichert, Markus (PhD) ; Zech, Hilmar (PhD)...
https://publishup.uni-potsdam.de/frontdoor/index/index/docId/57146.  , 2022
Link: https://publishup.uni-po..
 
?
7

Measuring self-regulation in everyday life: Reliability and..:

Zech, Hilmar ; Waltmann, Maria ; Lee, Ying...
https://discovery.ucl.ac.uk/id/eprint/10161829/1/s13428-022-02019-8.pdf.  , 2022
Link: https://discovery.ucl.ac..
 
?
8

Patterns of Alcohol Consumption Among Individuals With Alco..:

ReCoDe Consortium ; Deeken, Friederike ; Reichert, Markus...
info:eu-repo/semantics/altIdentifier/wos/000836389700002.  , 2022
Link: https://publikationen.bi..
 
?
9

Scalable verification of probabilistic networks:

, In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation,
Smolka, Steffen ; Kumar, Praveen ; Kahn, David M.... - p. 190-203 , 2019
Link: https://dl.acm.org/doi/1..
 
?
10

Proof-Carrying Network Code:

, In: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security,
Skalka, Christian ; Ring, John ; Darais, David... - p. 1115-1129 , 2019
Link: https://dl.acm.org/doi/1..
 
?
11

Guarded Kleene algebra with tests: verification of uninterp..:

Smolka, Steffen ; Foster, Nate ; Hsu, Justin...
Proceedings of the ACM on Programming Languages.  4 (2019)  POPL - p. 1-28 , 2019
Link: https://doi.org/10.1145/..
 
?
12

Guarded Kleene algebra with tests: verification of uninterp..:

Smolka, Steffen ; Foster, Nate ; Hsu, Justin...
Proceedings of the ACM on Programming Languages.  4 (2019)  POPL - p. 1-28 , 2019
Link: https://dl.acm.org/doi/1..
 
?
13

Guarded Kleene Algebra with Tests: Verification of Uninterp..:

Smolka, Steffen ; Foster, Nate ; Hsu, Justin...
http://arxiv.org/abs/1907.05920.  , 2019
Link: http://arxiv.org/abs/190..
 
?
14

Scalable Verification of Probabilistic Networks:

Smolka, Steffen ; Kumar, Praveen ; Kahn, David M...
http://arxiv.org/abs/1904.08096.  , 2019
Link: http://arxiv.org/abs/190..
 
?
15

McNetKAT - Scalable Verification of Probabilistic Networks ..:

Steffen Smolka ; Praveen Kumar ; David Kahn...
doi:10.5281/zenodo.2649612.  , 2019
Link: https://zenodo.org/recor..
 
1-15