E-LIB Suche - Ergebnisse für: Meyer, Roland

1

Bilder unter Verdacht: Praktiken der Bildforensik

Bildwelten des Wissens

Meyer, Roland , 2024

Link: https://library.oapen.or..

2

On the Separability Problem of VASS Reachability Languages:

, In: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science,

Keskin, Eren ; Meyer, Roland - p. 1-14 , 2024

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

3

I still know it's you! On Challenges in Anonymizing Source ..:

Horlboge, Micha ; Quiring, Erwin ; Meyer, Roland.
Proceedings on Privacy Enhancing Technologies. 2024 (2024) 3 - p. 744-760 , 2024

Link: https://doi.org/10.56553..

4

Left dislocations and long topicalizations in Czech: An acc..:

Marklová M. A., Anna ; Houzar Ph.D., Alžběta ; Meyer, Roland...
Zeitschrift für Slawistik. 69 (2024) 3 - p. 553-574 , 2024

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

5

Efficient Analysis of Population Protocols and Chemical Rea..:

Helfrich, Martin , 2023

Link: http://nbn-resolving.de/..

6

Detecting Authorship, Hands, and Corrections in Historical ..:

, In: Mixing Methods,

Meyer, Roland ; Tikhonov, Aleksej ; Hammel - p. 215-236 , 2023

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

7

Register in Czech: Designing an MDA-based experimental stud:

Marklová, Anna ; Buchmüller, Olga ; Demian, Christoph..
Linguistics Beyond and Within (LingBaW). 9 (2023) - p. 60-75 , 2023

Link: https://doi.org/10.31743..

8

Navigation im erweiterten Raum. Informationsarchitekturen u..:

, In: Medium unter Medien,

Meyer, Roland - p. 279-299 , 2023

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

9

Detecting Authorship, Hands, and Corrections in Historical ..:

, In: Digital Humanities Research; Mixing Methods,

Meyer, Roland ; Tikhonov, Aleksej - p. 215-236 , 2023

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

10

Protokoll 16:

, In: KI-Kritik / AI Critique; ChatGPT und andere »Quatschmaschinen«,

Meyer, Roland ; Glanz, Berit ; Dongowski, Christina. - p. 112-125 , 2023

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

11

Protokoll 16:

, In: ChatGPT und andere »Quatschmaschinen«,

Meyer, Roland ; Glanz, Berit ; Dongowski, Christina. - p. 112-125 , 2023

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

12

Static Analysis of Memory Models for SMT Encodings:

Haas, Thomas ; Maseli, René ; Meyer, Roland.
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 1618-1647 , 2023

Link: https://doi.org/10.1145/..

13

»Everything that happens to a photo«. Über analoge und digi..:

, In: AdminiStudies. Formen und Medien der Verwaltung; Das Protokoll,

Meyer, Roland - p. 201-211 , 2023

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

14

CAAT: consistency as a theory:

Haas, Thomas ; Meyer, Roland ; Ponce de León, Hernán
Proceedings of the ACM on Programming Languages. 6 (2022) OOPSLA2 - p. 114-144 , 2022

Link: https://doi.org/10.1145/..

15

A concurrent program logic with a future and history:

Meyer, Roland ; Wies, Thomas ; Wolff, Sebastian
Proceedings of the ACM on Programming Languages. 6 (2022) OOPSLA2 - p. 1378-1407 , 2022

Link: https://doi.org/10.1145/..