The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Wolf Zimmermann: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Wolf Zimmermann, Axel Dold
    A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2003, pp:391-406 [Conf]
  2. Axel Dold, Thilo Gaul, Vincent Vialard, Wolf Zimmermann
    ASM-based Mechanized Verification of Compiler Back-Ends. [Citation Graph (0, 0)][DBLP]
    Workshop on Abstract State Machines, 1998, pp:50-67 [Conf]
  3. Gerhard Goos, Wolf Zimmermann
    Verifying Compilers and ASMs. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:177-202 [Conf]
  4. Gerhard Goos, Wolf Zimmermann
    Verification of Compilers. [Citation Graph (0, 0)][DBLP]
    Correct System Design, 1999, pp:201-230 [Conf]
  5. Wolf Zimmermann, Welf Löwe
    An Approach to Machine-Independent Parallel Programming. [Citation Graph (0, 0)][DBLP]
    CONPAR, 1994, pp:277-288 [Conf]
  6. Wolf Zimmermann, Arne Frick, Rainer Neumann
    The Construction Principles of the Class Library KARLA. [Citation Graph (0, 0)][DBLP]
    Generic Programming, 1998, pp:53-68 [Conf]
  7. Andreas Heberle, Thilo Gaul, Wolfgang Goerigk, Gerhard Goos, Wolf Zimmermann
    Construction of Verified Compiler Front-Ends with Program-Checking. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 1999, pp:481-492 [Conf]
  8. Jesper Andersson, Morgan Ericsson, Welf Löwe, Wolf Zimmermann
    Lookahead Scheduling for Reconfigurable GRID Systems. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2004, pp:263-270 [Conf]
  9. Jörn Eisenbiegler, Welf Löwe, Wolf Zimmermann
    BSP, LogP, and Oblivious Programs. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1998, pp:865-874 [Conf]
  10. Welf Löwe, Jörn Eisenbiegler, Wolf Zimmermann
    Optimization of Parallel Programs on Machines with Expensive Communication. [Citation Graph (0, 0)][DBLP]
    Euro-Par, Vol. II, 1996, pp:602-610 [Conf]
  11. Welf Löwe, Wolf Zimmermann
    On Scheduling Task-Graphs to LogP-Machines with Disturbances. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2002, pp:189-196 [Conf]
  12. Welf Löwe, Wolf Zimmermann
    Scheduling Iterative Programs onto LogP-Machine. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1999, pp:332-339 [Conf]
  13. Welf Löwe, Wolf Zimmermann, Jörn Eisenbiegler
    On Linear Schedules of Task Graphs for Generalized LogP-Machines. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1997, pp:895-904 [Conf]
  14. Wolf Zimmermann, Martin Middendorf, Welf Löwe
    On Optimal k-linear Scheduling of Tree-Like Graphs for LogP-Machines. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1998, pp:328-336 [Conf]
  15. Welf Löwe, Wolf Zimmermann, Sven Dickert, Jörn Eisenbiegler
    Source Code and Task Graphs in Program Optimization. [Citation Graph (0, 0)][DBLP]
    HPCN Europe, 2001, pp:273-282 [Conf]
  16. Welf Löwe, Wolf Zimmermann
    Upper Time Bounds for Executing PRAM-Programs on the LogP-Machine. [Citation Graph (0, 0)][DBLP]
    International Conference on Supercomputing, 1995, pp:41-50 [Conf]
  17. Sabine Glesner, Wolf Zimmermann
    Using many-sorted natural semantics to specify and generate semantic analysis. [Citation Graph (0, 0)][DBLP]
    Systems Implementation 2000, 1998, pp:249-262 [Conf]
  18. Wolf Zimmermann
    On the Correctness of Transformations in Compiler Back-Ends. [Citation Graph (0, 0)][DBLP]
    ISoLA, 2004, pp:74-95 [Conf]
  19. Heinz W. Schmidt, Wolf Zimmermann
    Reasoning about Complexity of Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1994, pp:553-572 [Conf]
  20. Wolf Zimmermann, Michael Schaarschmidt
    Automatic Checking of Component Protocols in Component-Based Systems. [Citation Graph (0, 0)][DBLP]
    Software Composition, 2006, pp:1-17 [Conf]
  21. Daniela Genius, Martin Trapp, Wolf Zimmermann
    An Approach to Improve Locality Using Sandwich Types. [Citation Graph (0, 0)][DBLP]
    Types in Compilation, 1998, pp:194-214 [Conf]
  22. Welf Löwe, Rainer Neumann, Martin Trapp, Wolf Zimmermann
    Weak Subtyping - Yet Another Notion of Inheritance. [Citation Graph (0, 0)][DBLP]
    TOOLS (26), 1998, pp:333-345 [Conf]
  23. József Frigó, Rainer Neumann, Wolf Zimmermann
    Mechanical Generation of Robust Class Hierarchies. [Citation Graph (0, 0)][DBLP]
    TOOLS (23), 1997, pp:282-0 [Conf]
  24. Andreas Heberle, Welf Löwe, Rainer Neumann, Wolf Zimmermann
    Weak Subtyping and Genericity. [Citation Graph (0, 0)][DBLP]
    TOOLS (34), 2000, pp:149-158 [Conf]
  25. Welf Löwe, Rainer Neumann, Martin Trapp, Wolf Zimmermann
    Robust Dynamic Exchange of Implementation Aspects. [Citation Graph (0, 0)][DBLP]
    TOOLS (29), 1999, pp:351-360 [Conf]
  26. Jens Knoop, George C. Necula, Wolf Zimmermann
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:132, n:1, pp:1-3 [Journal]
  27. Jens Knoop, George C. Necula, Wolf Zimmermann
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:141, n:2, pp:1-3 [Journal]
  28. Jens Knoop, Wolf Zimmermann
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:2, pp:- [Journal]
  29. Arne Frick, Rainer Neumann, Wolf Zimmermann
    Eine Methode zur Konstruktion robuster Klassenhierarchien. [Citation Graph (0, 0)][DBLP]
    Inform., Forsch. Entwickl., 1997, v:12, n:4, pp:186-195 [Journal]
  30. Arne Frick, Walter Zimmer, Wolf Zimmermann
    Konstruktion robuster und flexibler Klassenbibliotheken. [Citation Graph (0, 0)][DBLP]
    Inform., Forsch. Entwickl., 1996, v:11, n:4, pp:168-178 [Journal]
  31. Sabine Glesner, Gerhard Goos, Wolf Zimmermann
    Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers). [Citation Graph (0, 0)][DBLP]
    it - Information Technology, 2004, v:46, n:5, pp:265-276 [Journal]
  32. Wolf Zimmermann, Thilo Gaul
    On the Construction of Correct Compiler Back-Ends: An ASM-Approach. [Citation Graph (0, 0)][DBLP]
    J. UCS, 1997, v:3, n:5, pp:504-567 [Journal]
  33. Welf Löwe, Wolf Zimmermann
    Scheduling balanced task-graphs to LogP-machines. [Citation Graph (0, 0)][DBLP]
    Parallel Computing, 2000, v:26, n:9, pp:1083-1108 [Journal]
  34. Arne Frick, Gerhard Goos, Rainer Neumann, Wolf Zimmermann
    Construction of robust class hierarchies. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 2000, v:30, n:5, pp:481-543 [Journal]
  35. Martin Middendorf, Welf Löwe, Wolf Zimmermann
    Scheduling Inverse Trees Under the Communication Model of the LogP-Machine. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:215, n:1-2, pp:137-168 [Journal]
  36. Sabine Glesner, Wolf Zimmermann
    Natural semantics as a static program analysis framework. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2004, v:26, n:3, pp:510-577 [Journal]
  37. Jens Knoop, George C. Necula, Wolf Zimmermann
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:3, pp:1-2 [Journal]

  38. Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems. [Citation Graph (, )][DBLP]


  39. Automatic Protocol Conformance Checking of Recursive and Parallel BPEL Systems. [Citation Graph (, )][DBLP]


  40. On More Predictable Implementations of Reliable Workflows in Service-oriented Architectures. [Citation Graph (, )][DBLP]


  41. A Step Towards a More Practical Protocol Conformance Checking Algorithm. [Citation Graph (, )][DBLP]


  42. Sicherstellung der Funktionalität in Komponentensystemen und Service-orientierten Architekturen. [Citation Graph (, )][DBLP]


  43. Variablenelimination für symbolische Modelle. [Citation Graph (, )][DBLP]


  44. On the Correctness of Transformations in Compiler Back-Ends. [Citation Graph (, )][DBLP]


  45. Model Checking of Component Protocol Conformance - Optimizations by Reducing False Negatives. [Citation Graph (, )][DBLP]


Search in 0.017secs, Finished in 0.019secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002