E-LIB Suche - Ergebnisse für: Weigl, A.

1

Contract Automata: A Specification Language for Mode-Based ..:

, In: Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE),

Weigl, Alexander ; Bachmeier, Joshua ; Beckert, Bernhard. - p. 1-11 , 2024

Link: https://dl.acm.org/doi/1..

2

Quantifying Software Correctness by Combining Architecture ..:

, In: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing,

Lanzinger, Florian ; Martin, Christian ; Reiche, Frederik... - p. 1702-1711 , 2024

Link: https://dl.acm.org/doi/1..

3

Margrethe, the 80, and Who? – Private Durchsetzung des Digi..:

, In: Plattformen,

Weigl, Johannes - p. 97-124 , 2024

Link: https://doi.org/10.5771/..

4

Europäische Parteien:

, In: Jahrbuch der Europäischen Integration 2023,

Weigl, Michael - p. 165-168 , 2023

Link: https://doi.org/10.5771/..

5

Policy-Cycle: Der politische Kampf gegen häusliche Gewalt:

, In: 10 Minuten Soziologie; 10 Minuten Soziologie: Gewalt,

Weigl, Michael - p. 171-184 , 2023

Link: https://doi.org/10.14361..

6

A Eurovision Digital Library: Let's Open Up with Linked Dat:

, In: 2023 ACM/IEEE Joint Conference on Digital Libraries (JCDL),

Bainbridge, David ; Nurmikko-Fuller, Terhi ; Weigl, David M.. - p. 301-302 , 2023

Link: https://doi.org/10.1109/..

7

Wie schützen und erhalten?:

, In: Reallabor Nachkriegsmoderne,

Lang, Gundula ; Weigl, Sabine - p. 303-316 , 2023

Link: https://doi.org/10.1515/..

8

Verify This: Memcached—A Practical Long-Term Challenge for ..:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,

Ernst, Gidon ; Weigl, Alexander - p. 82-89 , 2023

Link: https://doi.org/10.1007/..

9

Listen Here! A Web-native digital musicology environment fo..:

, In: Proceedings of the 10th International Conference on Digital Libraries for Musicology,

Weigl, David M. ; VanderHart, Chanda ; Rammler, Delilah.. - p. 109-118 , 2023

Link: https://dl.acm.org/doi/1..

10

Policy-Cycle: Der politische Kampf gegen häusliche Gewalt:

, In: 10 Minuten Soziologie: Gewalt,

Weigl, Michael - p. 171-184 , 2023

Link: https://doi.org/10.1515/..

11

Static Capability-Based Security for Smart Contracts:

, In: 2023 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS),

Schiffl, Jonas ; Weigl, Alexander ; Beckert, Bernhard - p. 110-117 , 2023

Link: https://doi.org/10.1109/..

12

Generalized Test Tables: A Domain-Specific Specification La..:

, In: Lecture Notes in Computer Science; Theoretical Aspects of Computing – ICTAC 2022,

Beckert, Bernhard ; Ulbrich, Mattias ; Vogel-Heuser, Birgit. - p. 7-13 , 2022

Link: https://doi.org/10.1007/..

13

6 Fallbeispiele aus Kommunen und Landkreisen:

, In: Transformationen der Theaterlandschaft,

Weigl, Aron - p. 890-903 , 2022

Link: https://doi.org/10.14361..

14

The EU's Digital Identity Policy: Tracing Policy Punctuatio..:

, In: Proceedings of the 15th International Conference on Theory and Practice of Electronic Governance,

Weigl, Linda ; Amard, Alexandre ; Codagnone, Cristiano. - p. 74-81 , 2022

Link: https://dl.acm.org/doi/1..

15

5 Umgang mit der Krise in den Bundesländern:

, In: Transformationen der Theaterlandschaft,

Weigl, Aron - p. 856-890 , 2022

Link: https://doi.org/10.1515/..