1
0
0
(1 - 25 von 31
)
WSI Programming Research Group, publications
pu.inf.uni-tuebingen.de
WSI Programming Research Group, publications
ECOOP Object-Oriented Programming: 22nd European Conference...
books.google.de
This book constitutes the refereed proceedings of the 22nd European Conference on Object-Oriented Programming, ECOOP 2008, held in Paphos, Cyprus, in July...
Programming Languages and Systems: 20th European Symposium on...
books.google.de
This book constitutes the refereed proceedings of the 20th European Symposium on Programming, ESOP 2011, held in Saarbrücken, Germany, March 30—April 1, 2011,...
Programming Languages and Systems: 7th Asian Symposium, APLAS 2009,...
books.google.de
... Matsuzaki Kochi University of Technology, Japan External Referees Kazuyuki Asada Gilles Barthe Michele Basaldella Annette Bieniusa Organization.
ECOOP Object-Oriented Programming: 22nd European Conference...
books.google.de
... Pavel Avgustinov Vlastimil Babka Stephanie Balzer Anindya Banerjee Fred Barnes Don Batory Nelly Bencomo Nick Benton Annette Bieniusa Steve Blackburn ...
Set-theoretic Types for ErlangarXiv
arxiv.org
von A Schimpf · · Zitiert von: 2 — Annette Bieniusa -kl.de. University of Kaiserslautern-Landau. Germany. ABSTRACT. Erlang is a functional programming language with dynamic ...
Programming Distributed Systems 09 Testing Distributed ...
9dok.net
Annette Bieniusa Programming Distributed Systems Summer Term Why is it so difficult to test distributed. › Sonstiges
Science of Computer Programming | Vol 210, 1 October |...
www.sciencedirect.com
Combining state- and event-based semantics to verify highly available applications. Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter.
dblp: Carlos Baquero
dblp.uni-trier.de
Christopher S. Meiklejohn, Vitor Enes, Junghun Yoo, Carlos Baquero, Peter Van Roy, Annette Bieniusa: Practical Evaluation of the Lasp Programming Model at Large Scale - An Experience Report. CoRR abs (2017)
Annette Bieniusa - AG Softwaretechnik - TU Kaiserslauternsoftech.informatik.uni-kl.de › team › annettebieniusa
softech.informatik.uni-kl.de
· Prof. Dr. Annette Bieniusa ... I am interested in semantics of concurrent and distributed programming, with a focus on (geo-)replication, ...
Department of Computer Science - Technical Reports
tr.informatik.uni-freiburg.de
Annette Bieniusa, Peter Thiemann, Stefan Wehr: The Relation of Version Control to Concurrent Programming Keywords: version control, concurrent programming, software transactional memory (Abstract) Report No.241, July (PostScript) T. Zitterell, C. Scholl: Improving Energy-Efficient Real-Time Scheduling by Exploiting Code Instrumentation
Annette Bieniusa Lambda Days Interview - PurelyFunctional.tvpurelyfunctional.tv › speaker-interview › annette-bi...
ericnormand.me
· PurelyFunctional.tv: How did you get into Functional Programming? Annette Bieniusa: In my first year introductory programming course, I was ...
Annette Bieniusa - Citações do Google Académico
scholar.google.pt
Annette Bieniusa. Technische Universität Kaiserslautern. Email confirmado em cs.uni-kl.de. Programming languagesDistributed SystemsSoftware Transactional ...
Annette Bieniusa - Google Scholar
scholar.google.com
Technische Universität Kaiserslautern - 785-mal zitiert - Programming languages - Distributed Systems - Software Transactional Memory
Annette Bieniusa - Google Scholarscholar.google.com › citations
scholar.google.com
Annette Bieniusa. University of Kaiserslautern-Landau (RPTU). Verified email at cs.uni-kl.de. Programming languagesDistributed SystemsSoftware ...
Spotlight on Annette Bieniusa: Lecturer and Senior Researcher in Programming Languages
scilogs.spektrum.de
Meet Annette Bieniusa, our next featured young researcher in a series about some of the women attending this year’s Heidelberg Laureate Forum ...
BOB - Introduction to TLA+
bobkonf.de
Annette Bieniusa. @anne_biene. Annette is a lecturer and senior researcher at the TU Kaiserslautern. Her research interests are the semantics of concurrent and distributed programming, with a focus on replication and synchronization, and how they are reflected on a programming language level.
The Relation of Version Control to Concurrent Programming
www.stefanwehr.de
The Relation of Version Control to Concurrent Programming Annette Bieniusa, Peter Thiemann, and Stefan Wehr. In Proceedings of the International Conference on Computer Science and Software Engineering.IEEE, Abstract Version control helps coordinating a group of people that work concurrently to achieve a shared objective.
Annette Bieniusa - Google 学术搜索scholar.google.com.hk › citations
scholar.google.com.hk
Annette Bieniusa. University of Kaiserslautern-Landau (RPTU). 在 cs.uni-kl.de 的电子邮件经过验证. Programming languagesDistributed Systems ...
Publications
gasbichler.de
Annette Bieniusa, Marcus Crestani, Markus Degen, Martin Gasbichler, Phillip Heidegger, Herbert Klaeren, Eric Knauel, Michael Sperber, Peter Thiemann, Stefan Wehr Proceedings of the Workshop Functional and Declarative Programming in Education, Victoria, Canada, PDF Auf dem Weg zu einer robusten Programmierausbildung
3 Search Results for "Bieniusa, Annette" - DROPS - Schloss Dagstuhldrops.dagstuhl.de › search
drops.dagstuhl.de
LoRe: A Programming Model for Verifiably Safe Local-First Software (Extended Abstract). Authors: Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa ...
Competitive Programming - Sebastian Wild
www.wild-inter.net
TU Kaiserslautern did not have a strong tradition of actively recruiting student teams to for such contests, and Annette Bieniusa and I set out to change ... › teaching
LightKone researcher participated in the Shonan Meeting – LightKone
www.lightkone.eu
— Annette Bieniusa, our researcher from University of Kaiserslautern (TUK), participated in the Shonan Meeting entitled “Programming Language ... › lightko...
Talks – LightKonewww.lightkone.eu › index.php › ta...
www.lightkone.eu
October 2019; Annette Bieniusa | Access Control in Weekly Consistent Systems. Dagstuhl Seminar , Programming Languages for Distributed Systems ...
Alle Infos zum Namen "Annette Bieniusa"
sortiert nach Relevanz / Datum