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

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..
 
?
2

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..
 
?
3

Probabilistic Program Equivalence for NetKAT:

Smolka, Steffen ; Kumar, Praveen ; Foster, Nate...
http://arxiv.org/abs/1707.02772.  , 2017
Link: http://arxiv.org/abs/170..
 
?
4

Cantor meets Scott: Semantic Foundations for Probabilistic ..:

Smolka, Steffen ; Kumar, Praveen ; Foster, Nate..
http://arxiv.org/abs/1607.05830.  , 2016
Link: http://arxiv.org/abs/160..
 
?
5

A Fast Compiler for NetKAT:

Smolka, Steffen ; Eliopoulos, Spiridon ; Foster, Nate.
http://arxiv.org/abs/1506.06378.  , 2015
Link: http://arxiv.org/abs/150..
 
?
6

Semi-intelligible Isar Proofs from Machine-Generated Proofs:

Blanchette, Jasmin Christian ; Böhme, Sascha ; Fleury, Mathias..
info:eu-repo/semantics/altIdentifier/doi/10.1007/s10817-015-9335-3.  , 2016
Link: https://inria.hal.scienc..
 
?
7

Semi-intelligible Isar Proofs from Machine-Generated Proofs:

Blanchette, Jasmin Christian ; Böhme, Sascha ; Fleury, Mathias..
info:eu-repo/semantics/altIdentifier/doi/10.1007/s10817-015-9335-3.  , 2016
Link: https://hal.inria.fr/hal..
 
?
8

McNetKAT - Scalable Verification of Probabilistic Networks ..:

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

Helicobacter pylori virulence factors affecting gastric pro..:

Hammond, Charles E ; Beeson, Craig ; Suarez, Giovanni...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC4525105/.  , 2015
Link: http://www.ncbi.nlm.nih...
 
?
10

Helicobacter pylori-induced posttranscriptional regulation ..:

Zhang, Yong-Mei ; Noto, Jennifer M ; Hammond, Charles E...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC.  , 2014
Link: http://www.ncbi.nlm.nih...
 
?
11

c-Src and c-Abl kinases control hierarchic phosphorylation ..:

Mueller, Doreen ; Tegtmeyer, Nicole ; Brandt, Sabine...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3314471.  , 2012
Link: http://www.ncbi.nlm.nih...
 
?
12

H. pylori CagL Activates ADAM17 to Induce Repression of the..:

Saha, Arindam ; Backert, Steffen ; Hammond, Charles E..
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC2902712.  , 2010
Link: http://www.ncbi.nlm.nih...
 
?
13

A Small Fibronectin-mimicking Protein from Bacteria Induces..:

Tegtmeyer, Nicole ; Hartig, Roland ; Delahay, Robin M...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC2906342.  , 2010
Link: http://www.ncbi.nlm.nih...
 
?
14

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..
 
?
15

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..
 
1-15