Suche
Kategorie
Erscheinungsjahr
33377 Treffer
×
Publikationen
×
Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
×
Universität Koblenz
×
Katholische Hochschule Mainz
×
Technische Hochschule Bingen
×
Hochschule für Wirtschaft und Gesellschaft Ludwigshafen
- Peldszus, Sven; Bürger, Jens; Strüber, Daniel
- Detecting and Preventing Power Outages in a Smart Grid using eMoflon.
- TTC@STAF. 2017 S. 19 - 23
- Shayan Ahmadian, Amir; Peldszus, Sven; Ramadan, Qusai et al.
- Model-based privacy and security analysis with CARiSMA.
- ESEC/SIGSOFT FSE. 2017 S. 989 - 993
- Ramadan, Qusai; Salnitri, Mattia; Strüber, Daniel et al.
- From Secure Business Process Modeling to Design-Level Security Verification.
- MoDELS. 2017 S. 123 - 133
- Sofronie-Stokkermans, Viorica
- Representation Theorems and Locality for Subsumption Testing and Interpolation in the Description Logics ɛℒ, ɛℒ and their Extensions with -ary Roles and Numerical Domains.
- Fundam. Inform. Bd. 156. H. 3-4. 2017 S. 361 - 411
- Christian Blanchette, Jasmin; Fuhs, Carsten; Sofronie-Stokkermans, Viorica et al.
- Deduction Beyond First-Order Logic (Dagstuhl Seminar 17371).
- Dagstuhl Reports. Bd. 7. H. 9. 2017 S. 26 - 46
- Sofronie-Stokkermans, Viorica
- On Interpolation and Symbol Elimination in Theory Extensions.
- CoRR. Bd. abs/1702.06620. 2017
- Schaffers, Uta; Fähnders, Walter
- Annemarie Schwarzenbach: Frühe Texte: Gespräch 1928; Erik 1929; Das Märchen von der gefangenen Prinzessin 1929; mit dem Knaben Michael 1929.
- JUNI. Magazin für Literatur und Kultur. Bd. 53/54. Bielefeld. 2017 S. 153 - 183
- Barkela, Berend; Maier, Jürgen
- Das Studiendesign
- Faas, T.; Maier, J.; Maier, M. (Hrsg). Merkel gegen Steinbrück. Analysen zum TV-Duell vor der Bundestagswahl 2013. Wiesbaden: Springer 2017 S. 11 - 29
- Gebel-Sauer, Berit; Schwade, Florian; Grams, Söhnke et al.
- Multimethodische Langzeitstudie zur Nutzung von Enterprise Collaboration Systems.
- Mensch & Computer. 2017 S. 115 - 126
- Neuhaus, Stefan
- Das Subjekt und der Krieg. Authentifizierungs- und Literarisierungsstrategien in Ernst Tollers "Eine Jugend in Deutschland"
- Neuhaus, Stefan; Braun, Michael; Jahraus, Oliver; Pesnel, Stepháne (Hrsg). Nach 1914: Der Erste Weltkrieg in der europäischen Kultur. 1. Aufl. Würzburg: Königshausen & Neumann 2017 S. 97 - 111