Search results for: Arnd Poetzsch-Heffter
Lecture Notes in Computer Science > Program Analysis and Compilation, Theory and Practice > Technical Papers > 120-144
Lecture Notes in Computer Science > Database and Expert Systems Applications > Web, Semantics and Ontologies I > 98-113
eXamen.press
Lecture Notes in Computer Science > Programming Languages and Systems > Regular Contributions > 162-176
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Components and Services > 157-173
Lecture Notes in Computer Science > Stabilization, Safety, and Security of Distributed Systems > Brief Announcement > 584-585
Lecture Notes in Computer Science > Progamming Language Implementation and Logic Programming > 137-150
Lecture Notes in Computer Science > ECOOP 2010 – Object-Oriented Programming > Concurrency Models in Java > 275-299
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Invited Technical Papers > 82-117
Lecture Notes in Computer Science > Knowledge-Based and Intelligent Information and Engineering Systems > Model-Based Computing for Innovative Engineering > 126-135
Lecture Notes in Computer Science > Object-Oriented Technology. ECOOP 2006 Workshop Reader > Program Reasoning > 53-58
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Contributed Papers > 201-217
Lecture Notes in Computer Science > Runtime Verification > Core Runtime Verification Papers > 139-150
Lecture Notes in Computer Science > SOFSEM 2010: Theory and Practice of Computer Science > Regular Papers > 600-611