Zobrazeno 1 - 10
of 53
pro vyhledávání: '"Wiesner, Sven"'
Cuntz and K\"uhne introduced the class of connected subgraph arrangements $A_G$, depending on a graph $G$, and classified all graphs $G$ such that the corresponding arrangement $A_G$ is free. We extend their result to the multiarrangement case and cl
Externí odkaz:
http://arxiv.org/abs/2406.19866
Autor:
Arquint, Linard, Wolf, Felix A., Lallemand, Joseph, Sasse, Ralf, Sprenger, Christoph, Wiesner, Sven N., Basin, David, Müller, Peter
We provide a framework consisting of tools and metatheorems for the end-to-end verification of security protocols, which bridges the gap between automated protocol verification and code-level proofs. We automatically translate a Tamarin protocol mode
Externí odkaz:
http://arxiv.org/abs/2212.04171
Let $\mathcal A$ be a free hyperplane arrangement. In 1989, Ziegler showed that the restriction $\mathcal A"$ of $\mathcal A$ to any hyperplane endowed with the natural multiplicity $\kappa$ is then a free multiarrangement. In 2024, the first two aut
Externí odkaz:
http://arxiv.org/abs/2210.00436
Autor:
Olaniyan, Ibukun, Tikhonov, Iurii, Hevelke, Valentin Väinö, Wiesner, Sven, Zhang, Leifeng, Razumnaya, Anna, Cherkashin, Nikolay, Schamm-Chardon, Sylvie, Lukyanchuk, Igor, Kim, Dong-Jik, Dubourdieu, Catherine
Publikováno v:
Nature Communications; 11/20/2024, Vol. 15 Issue 1, p1-13, 13p
Autor:
Wiesner, Sven Nils
Tamigloo is an approach to translate security protocol models, given as Multiset-Rewriting Systems for the protocol analysis tool Tamarin, into an I/O specification in separation logic for each protocol role. Preserving the properties of the original
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8e82d8673868c7769c00c05587a8e4d8
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Kröncke, Hanno, Maudet, Florian, Banerjee, Sourish, Albert, Jürgen, Wiesner, Sven, Deshpande, Veeresh, Dubourdieu, Catherine
Amorphous gallium oxide thin films were grown by plasma-enhanced atomic layer deposition on (100) silicon substrates from trimethylgallium Ga(CH3)3 precursor and oxygen plasma. At 200 ��C, the growth per cycle is in the range of 0.65���0.70
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::43fae3a85092d99016fd427f9dd879b7
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Wiesner, Sven1, Walter, Petra1, Wagner, Arne1, Kaifer, Elisabeth1, Himmel, Hans‐Jörg1 hans‐jorg.himmel@aci.uni‐heidelberg.de
Publikováno v:
European Journal of Organic Chemistry. Oct2016, Vol. 2016 Issue 29, p5045-5054. 10p.