The SCEAS System
Navigation Menu

Search the dblp DataBase


Hans Langmaack: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Hans Langmaack
    An ALGOL-View on Turbo ASM. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2004, pp:20-37 [Conf]
  2. Hans Langmaack
    Hauptvortrag: Welcher Art Ergebnisse erwartet der Compilerbau von der Theoretischen Informatik? [Citation Graph (0, 0)][DBLP]
    Automata Theory and Formal Languages, 1975, pp:259-273 [Conf]
  3. Hans Langmaack
    Consistency of Inheritance in Object-Oriented Languages and of Static, ALGOL-like Binding. [Citation Graph (0, 0)][DBLP]
    Essays in Memory of Ole-Johan Dahl, 2004, pp:209-235 [Conf]
  4. Hans Langmaack
    Contribution to Goodenough's and Gerhart's Theory of Software Testing and Verification: Relation between Strong Compiler Test and Compiler Implementation Verification. [Citation Graph (0, 0)][DBLP]
    Foundations of Computer Science: Potential - Theory - Cognition, 1997, pp:321-335 [Conf]
  5. Bettina Buth, Karl-Heinz Buth, Martin Fränzle, Burghard von Karger, Yassine Lakhnech, Hans Langmaack, Markus Müller-Olm
    Provably Correct Compiler Development and Implementation. [Citation Graph (0, 0)][DBLP]
    CC, 1992, pp:141-155 [Conf]
  6. Jean-Raymond Abrial, Egon Börger, Hans Langmaack
    The Stream Boiler Case Study: Competition of Formal Program Specification and Development Methods. [Citation Graph (0, 0)][DBLP]
    Formal Methods for Industrial Applications, 1995, pp:1-12 [Conf]
  7. Hans Langmaack
    Apects of Programs With Finite Modes. [Citation Graph (0, 0)][DBLP]
    FCT, 1983, pp:241-254 [Conf]
  8. Hans Langmaack, Ernst-Rüdiger Olderog
    Present-Day Hoare-Like Systems for Programming Languages with Procedures: Power, Limits and most Likely Expressions. [Citation Graph (0, 0)][DBLP]
    ICALP, 1980, pp:363-373 [Conf]
  9. Ch. Crasemann, Hans Langmaack
    Characterization of Acceptable by ALGOL-Like Programming Languages. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:129-146 [Conf]
  10. Hans Langmaack
    On a theory of decision problems in programming languages. [Citation Graph (0, 0)][DBLP]
    Mathematical Studies of Information Processing, 1978, pp:538-558 [Conf]
  11. Hans Langmaack
    Zum Begriff der Modularität von Programmierungssprachen. [Citation Graph (0, 0)][DBLP]
    Fachtagung über Programmiersprachen, 1974, pp:1-12 [Conf]
  12. Hans Langmaack
    Application of Regular Canonical Systems to Grammars Translatable from Left to Right [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1971, v:1, n:, pp:111-114 [Journal]
  13. Hans Langmaack
    On Correct Procedure Parameter Transmission in Higher Programming Languages [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1973, v:2, n:, pp:110-142 [Journal]
  14. Hans Langmaack
    On Procedures as Open Subroutines. I [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1973, v:2, n:, pp:311-333 [Journal]
  15. Hans Langmaack
    On Procedures as Open Subroutines. II [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1974, v:3, n:, pp:227-241 [Journal]
  16. Hans Langmaack
    On Termination Problems for Finitely Interpreted ALGOL-like Programs. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1982, v:18, n:, pp:79-108 [Journal]
  17. Hans Langmaack
    Algorithm 263 Gomory 1 [H]. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1965, v:8, n:10, pp:601-602 [Journal]
  18. Hans Langmaack
    What Level of Mathematical Reasoning can Computer Science Demand of a Software Implementer?: Auf Deutsch: Welche Art mathematischer Argumentation darf die Informatikwissenschaft einem Softwareimplementierer auf jeden Fall zumuten? [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:141, n:2, pp:5-32 [Journal]
  19. Hans Langmaack
    Klaus Samelsons frühe Beitraege zur Informatikentwicklung - Historische Notiz. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 2002, v:25, n:2, pp:132-137 [Journal]
  20. Hans Langmaack, Wolfram-Manfred Lippe, Franz Wagner
    The Formal Termination Problem for Programs with Finite ALGOL 68-Modes. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1979, v:9, n:3, pp:155-159 [Journal]
  21. Hans Langmaack
    The ProCoS Approach to Correct Systems. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 1997, v:13, n:3, pp:253-275 [Journal]
  22. Hans Langmaack
    On Revival of Algol-Concepts in Modern Programming and Specification Languages. [Citation Graph (0, 0)][DBLP]
    Formal Methods and Hybrid Real-Time Systems, 2007, pp:414-434 [Conf]

  23. On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention. [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002