Scholar
Annette Bieniusa
Google Scholar ID: ncuwZ2cAAAAJ
RPTU University of Kaiserslautern-Landau
Programming languages
Distributed Systems
Software Transactional Memory
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
527
H-index
11
i10-index
11
Publications
20
Co-authors
21
list available
Publications
6 items
A Datalog Framework for Conflict-Free Replicated Data Types
2026
Cited
0
CobbleDB: Modelling Levelled Storage by Composition
2026
Cited
0
KI-Adventskalender: An Informal Learning Intervention for Data & AI Literacy
2026
Cited
0
Set-Theoretic Types for Erlang: Theory, Implementation, and Evaluation
2026
Cited
0
Semantic Subtyping for Maps in Erlang
2025
Cited
0
PRDTs: Composable Knowledge-Based Consensus Protocols with Replicated Data Types
2025
Cited
0
Co-authors
5 total
Marc Shapiro
Sorbonne-Université—LIP6 & Inria
Carlos Baquero
Professor at DEI, FEUP, University of Porto. Researcher at HASLab, INESC TEC.
Peter Thiemann
Professor of Computer Science, University of Freiburg
Manuel Bravo
Researcher at Informal Systems
Carla Ferreira
NOVA LINCS / NOVA University Lisbon
