Search the dblp DataBase
Thomas Noll :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] Martin Leucker , Thomas Noll Truth/SLC - A Parallel Verification Platform for Concurrent Systems. [Citation Graph (0, 0)][DBLP ] CAV, 2001, pp:255-259 [Conf ] Thomas Noll On Coherence Properties in Team Rewriting Models of Concurrency. [Citation Graph (0, 0)][DBLP ] CONCUR, 1999, pp:478-493 [Conf ] 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 ] Thomas Noll , Chanchal Kumar Roy Modeling Erlang in the pi-calculus. [Citation Graph (0, 0)][DBLP ] Erlang Workshop, 2005, pp:72-77 [Conf ] Can Adam Albayrak , Thomas Noll The WHILE Hierarchy of Program Schemes Is Infinite. [Citation Graph (0, 0)][DBLP ] FoSSaCS, 1998, pp:35-47 [Conf ] Benedikt Bollig , Martin Leucker , Thomas Noll Generalised Regular MSC Languages. [Citation Graph (0, 0)][DBLP ] FoSSaCS, 2002, pp:52-66 [Conf ] Thomas Arts , Thomas Noll Verifying Generic Erlang Client-Server Implementations. [Citation Graph (0, 0)][DBLP ] IFL, 2000, pp:37-52 [Conf ] 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 ] Lars-Åke Fredlund , Dilian Gurov , Thomas Noll Semi-Automated Verification of Erlang Code. [Citation Graph (0, 0)][DBLP ] ASE, 2001, pp:319-323 [Conf ] 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 ] Thomas Noll , Lars-Åke Fredlund , Dilian Gurov The Erlang Verification Tool. [Citation Graph (0, 0)][DBLP ] TACAS, 2001, pp:582-586 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Thomas Noll , Stefan Rieger Composing Transformations to Optimize Linear Code. [Citation Graph (0, 0)][DBLP ] ICTAC, 2007, pp:425-439 [Conf ] 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 ] A Model Checker for AADL. [Citation Graph (, )][DBLP ] Towards automatic verification of Erlang programs by pi-calculus translation. [Citation Graph (, )][DBLP ] Verifying Dynamic Pointer-Manipulating Threads. [Citation Graph (, )][DBLP ] Abstracting Complex Data Structures by Hyperedge Replacement. [Citation Graph (, )][DBLP ] A Streaming Intrusion Detection System for Grid Computing Environments. [Citation Graph (, )][DBLP ] Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code. [Citation Graph (, )][DBLP ] The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. [Citation Graph (, )][DBLP ] Verification and performance evaluation of aadl models. [Citation Graph (, )][DBLP ] Proving Correctness of an Efficient Abstraction for Interrupt Handling. [Citation Graph (, )][DBLP ] Equational Abstractions for Reducing the State Space of Rewrite Theories. [Citation Graph (, )][DBLP ] Search in 0.005secs, Finished in 0.006secs