The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Thomas Noll: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Thomas Noll
    On the First-Order Equivalence of Call-by-Name and Call-by-Value. [Citation Graph (0, 0)][DBLP]
    CAAP, 1994, pp:246-260 [Conf]
  2. Martin Leucker, Thomas Noll
    Truth/SLC - A Parallel Verification Platform for Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:255-259 [Conf]
  3. Thomas Noll
    On Coherence Properties in Team Rewriting Models of Concurrency. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1999, pp:478-493 [Conf]
  4. Alois Knoll, Christian Altenschmidt, Joachim Biskup, Hans-Martin Blüthgen, Ingo Glöckner, Sven Hartrumpf, Hermann Helbig, Christiane Henning, Reinhard Lüling, Burkhard Monien, Thomas Noll, Norbert Sensen
    An Integrated Approach to Semantic Evaluation and Content-Based Retrieval of Multimedia Documents. [Citation Graph (0, 0)][DBLP]
    ECDL, 1998, pp:409-428 [Conf]
  5. Thomas Noll, Chanchal Kumar Roy
    Modeling Erlang in the pi-calculus. [Citation Graph (0, 0)][DBLP]
    Erlang Workshop, 2005, pp:72-77 [Conf]
  6. Can Adam Albayrak, Thomas Noll
    The WHILE Hierarchy of Program Schemes Is Infinite. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1998, pp:35-47 [Conf]
  7. Benedikt Bollig, Martin Leucker, Thomas Noll
    Generalised Regular MSC Languages. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2002, pp:52-66 [Conf]
  8. Thomas Arts, Thomas Noll
    Verifying Generic Erlang Client-Server Implementations. [Citation Graph (0, 0)][DBLP]
    IFL, 2000, pp:37-52 [Conf]
  9. Thomas Noll, Jörg Garbers, Karin Höthker, Christian Spevak, Tillman Weyde
    Opuscope - Towards a Corpus-Based Music Repository. [Citation Graph (0, 0)][DBLP]
    ISMIR, 2002, pp:- [Conf]
  10. Lars-Åke Fredlund, Dilian Gurov, Thomas Noll
    Semi-Automated Verification of Erlang Code. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:319-323 [Conf]
  11. Martin Leucker, Thomas Noll
    Rapid Prototyping of Specification Language Implementations. [Citation Graph (0, 0)][DBLP]
    IEEE International Workshop on Rapid System Prototyping, 1999, pp:60-65 [Conf]
  12. Thomas Noll, Lars-Åke Fredlund, Dilian Gurov
    The Erlang Verification Tool. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:582-586 [Conf]
  13. Klaus Indermark, Thomas Noll
    Algebraic Correctness Proofs for Compiling Recursive Function Definitions with Strictness Information. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2006, v:43, n:1, pp:1-43 [Journal]
  14. Martin Leucker, Thomas Noll
    Rewriting Logic as a Framework for Generic Verification Tools. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:36, n:, pp:- [Journal]
  15. Thomas Noll
    A Rewriting Logic Implementation of Erlang. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:44, n:2, pp:- [Journal]
  16. Thomas Noll
    Equational Abstractions for Model Checking Erlang Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:118, n:, pp:145-162 [Journal]
  17. Thomas Noll, Heiko Vogler
    Top-down Parsing with Simultaneous Evaluation of Noncircular Attribute Grammars. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1994, v:20, n:4, pp:285-332 [Journal]
  18. Thomas Noll, Heiko Vogler
    The Universality of Higher-Order Attributed Tree Transducers. [Citation Graph (0, 0)][DBLP]
    Theory Comput. Syst., 2001, v:34, n:1, pp:45-75 [Journal]
  19. Martin Leucker, Thomas Noll, Perdita Stevens, Michael Weber 0002
    Functional programming languages for verification tools: a comparison of Standard ML and Haskell. [Citation Graph (0, 0)][DBLP]
    STTT, 2005, v:7, n:2, pp:184-194 [Journal]
  20. Lars-Åke Fredlund, Dilian Gurov, Thomas Noll, Mads Dam, Thomas Arts, Gennady Chugunov
    A verification tool for ERLANG. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:4, n:4, pp:405-420 [Journal]
  21. Thomas Noll, Stefan Rieger
    Composing Transformations to Optimize Linear Code. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:425-439 [Conf]
  22. Martin R. Neuhäußer, Thomas Noll
    Abstraction and Model Checking of Core Erlang Programs in Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:4, pp:147-163 [Journal]

  23. A Model Checker for AADL. [Citation Graph (, )][DBLP]


  24. Towards automatic verification of Erlang programs by pi-calculus translation. [Citation Graph (, )][DBLP]


  25. Verifying Dynamic Pointer-Manipulating Threads. [Citation Graph (, )][DBLP]


  26. Abstracting Complex Data Structures by Hyperedge Replacement. [Citation Graph (, )][DBLP]


  27. A Streaming Intrusion Detection System for Grid Computing Environments. [Citation Graph (, )][DBLP]


  28. Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code. [Citation Graph (, )][DBLP]


  29. The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. [Citation Graph (, )][DBLP]


  30. Verification and performance evaluation of aadl models. [Citation Graph (, )][DBLP]


  31. Proving Correctness of an Efficient Abstraction for Interrupt Handling. [Citation Graph (, )][DBLP]


  32. Equational Abstractions for Reducing the State Space of Rewrite Theories. [Citation Graph (, )][DBLP]


Search in 0.227secs, Finished in 0.228secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002