The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gregor Snelting: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Gregor Snelting, Bernd Fischer, Franz-Josef Grosch, Matthias Kievernagel, Andreas Zeller
    Die inferenzbasierte Softwareentwicklungsumgebung NORA. [Citation Graph (1, 0)][DBLP]
    Inform., Forsch. Entwickl., 1994, v:9, n:3, pp:116-131 [Journal]
  2. Gregor Snelting
    Software Reengineering Based on Concept Lattices. [Citation Graph (0, 0)][DBLP]
    CSMR, 2000, pp:3-10 [Conf]
  3. Gregor Snelting, Frank Tip
    Semantics-Based Composition of Class Hierarchies. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2002, pp:562-584 [Conf]
  4. Gregor Snelting, Franz-Josef Grosch, Ulrik Schroeder
    Inference-Based Support for Programming in the Large. [Citation Graph (0, 0)][DBLP]
    ESEC, 1991, pp:396-408 [Conf]
  5. Andreas Zeller, Gregor Snelting
    Handling Version Sets Through Feature Logic. [Citation Graph (0, 0)][DBLP]
    ESEC, 1995, pp:191-204 [Conf]
  6. Rolf Bahlke, Gregor Snelting
    The PSG System: From Formal Language Definitions to Interactive Programming Environments. [Citation Graph (0, 0)][DBLP]
    ESOP, 1988, pp:374-375 [Conf]
  7. Gregor Snelting
    Concept Lattices in Software Analysis. [Citation Graph (0, 0)][DBLP]
    Formal Concept Analysis, 2005, pp:272-287 [Conf]
  8. Tobias Nipkow, Gregor Snelting
    Type Classes and Overloading Resolution via Order-Sorted Unification. [Citation Graph (0, 0)][DBLP]
    FPCA, 1991, pp:1-14 [Conf]
  9. M. Jäger, Rolf Bahlke, Wolfgang Henhapl, M. Hunkel, Thomas Letschert, Gregor Snelting
    Industrieprogramm: PSG. [Citation Graph (0, 0)][DBLP]
    Programmierumgebungen und Compiler, 1984, pp:285-291 [Conf]
  10. Maren Krone, Gregor Snelting
    On the Inference of Configuration Structures from Source Code. [Citation Graph (0, 0)][DBLP]
    ICSE, 1994, pp:49-57 [Conf]
  11. Christian Lindig, Gregor Snelting
    Assessing Modular Structure of Legacy Code Based on Mathematical Concept Analysis. [Citation Graph (0, 0)][DBLP]
    ICSE, 1997, pp:349-359 [Conf]
  12. Torsten Robschink, Gregor Snelting
    Efficient path conditions in dependence graphs. [Citation Graph (0, 0)][DBLP]
    ICSE, 2002, pp:478-488 [Conf]
  13. Rolf Bahlke, Gregor Snelting
    Context-sensitive Editing with PSG Environments. [Citation Graph (0, 0)][DBLP]
    Advanced Programming Environments, 1986, pp:26-38 [Conf]
  14. Mirko Streckenbach, Gregor Snelting
    Refactoring class hierarchies with KABA. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2004, pp:315-330 [Conf]
  15. Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip
    An operational semantics and type safety prooffor multiple inheritance in C++. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2006, pp:345-362 [Conf]
  16. Christian Hammer, Gregor Snelting
    An improved slicer for Java. [Citation Graph (0, 0)][DBLP]
    PASTE, 2004, pp:17-22 [Conf]
  17. Gregor Snelting
    Concept Analysis - A New Framework for Program Understanding. [Citation Graph (0, 0)][DBLP]
    PASTE, 1998, pp:1-10 [Conf]
  18. Rolf Bahlke, B. Moritz, Gregor Snelting
    A generator for language-specific debugging systems. [Citation Graph (0, 0)][DBLP]
    PLDI, 1987, pp:92-101 [Conf]
  19. Franz-Josef Grosch, Gregor Snelting
    Inference-Based Overloading Resolution for ADA. [Citation Graph (0, 0)][DBLP]
    PLILP, 1990, pp:30-44 [Conf]
  20. Gregor Snelting, Wolfgang Henhapl
    Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis. [Citation Graph (0, 0)][DBLP]
    POPL, 1986, pp:229-235 [Conf]
  21. Wolfgang Henhapl, Gregor Snelting
    Context Relations - a Concept for Incremental Context Analysis in Program Fragments. [Citation Graph (0, 0)][DBLP]
    Fachtagung über Programmiersprachen, 1984, pp:128-143 [Conf]
  22. Gregor Snelting
    Combining Slicing and Constraint Solving for Validation of Measurement Software. [Citation Graph (0, 0)][DBLP]
    SAS, 1996, pp:332-348 [Conf]
  23. Wolfgang Henhapl, Stefan Kaes, Gregor Snelting
    Utilizing Fifth Generation Technology in Software Development Tools. [Citation Graph (0, 0)][DBLP]
    Software Development Environments and CASE Technology, 1991, pp:153-166 [Conf]
  24. Gregor Snelting, Frank Tip
    Reengineering Class Hierarchies Using Concept Analysis. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1998, pp:99-110 [Conf]
  25. Gregor Snelting
    Experiences with the PSG - Programming System Generator. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1985, pp:148-162 [Conf]
  26. Gregor Snelting
    The Calculus of Context Relations. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1991, v:28, n:5, pp:411-445 [Journal]
  27. Jens Krinke, Torsten Robschink, Gregor Snelting
    Software-Sicherheitsprüfung mit VALSOFT. [Citation Graph (0, 0)][DBLP]
    Inform., Forsch. Entwickl., 1999, v:14, n:2, pp:62-73 [Journal]
  28. Rolf Bahlke, Gregor Snelting
    Design and Structure of a Semantics-Based Programming Environment. [Citation Graph (0, 0)][DBLP]
    International Journal of Man-Machine Studies, 1992, v:37, n:4, pp:467-479 [Journal]
  29. Jens Krinke, Gregor Snelting
    Validation of measurement software as an application of slicing and constraint solving. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 1998, v:40, n:11-12, pp:661-675 [Journal]
  30. Gregor Snelting
    Feyerabend - zwei Jahre später - zur Diskussion gestellt. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 2001, v:24, n:5, pp:305-308 [Journal]
  31. Gregor Snelting
    Paul Feyerabend und die Softwaretechnologie (Zur Diskussion gestellt). [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 1998, v:21, n:5, pp:273-276 [Journal]
  32. Paul Klint, Thomas W. Reps, Gregor Snelting
    Programming environments: report on an international workshop at Dagstuhl Castle. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1992, v:27, n:11, pp:90-96 [Journal]
  33. Gregor Snelting
    How to Build LR Parsers Which Accept Incomplete Input. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1990, v:25, n:4, pp:51-58 [Journal]
  34. Gregor Snelting
    Feyerabend - zwei Jahre später. [Citation Graph (0, 0)][DBLP]
    Softwaretechnik- Trends, 2001, v:21, n:1, pp:- [Journal]
  35. Gregor Snelting
    Paul Feyerabend and Software Technology. [Citation Graph (0, 0)][DBLP]
    STTT, 1998, v:2, n:1, pp:1-5 [Journal]
  36. Rolf Bahlke, Gregor Snelting
    The PSG System: From Formal Language Definitions to Interactive Programming Environments. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1986, v:8, n:4, pp:547-576 [Journal]
  37. Gregor Snelting, Frank Tip
    Understanding class hierarchies using concept analysis. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2000, v:22, n:3, pp:540-582 [Journal]
  38. Gregor Snelting, Torsten Robschink, Jens Krinke
    Efficient path conditions in dependence graphs for software safety analysis. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2006, v:15, n:4, pp:410-457 [Journal]
  39. Gregor Snelting
    Reengineering of Configurations Based on Mathematical Concept Analysis. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 1996, v:5, n:2, pp:146-189 [Journal]
  40. Andreas Zeller, Gregor Snelting
    Unified Versioning Through Feature Logic. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 1997, v:6, n:4, pp:398-441 [Journal]
  41. Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip
    C++ ist typsicher? Garantiert! [Citation Graph (0, 0)][DBLP]
    Software Engineering, 2007, pp:29-34 [Conf]

  42. KABA: Automated Refactoring for Improved Cohesion. [Citation Graph (, )][DBLP]


  43. Static path conditions for Java. [Citation Graph (, )][DBLP]


  44. On PDG-based noninterference and its modular proof. [Citation Graph (, )][DBLP]


  45. On Temporal Path Conditions in Dependence Graphs. [Citation Graph (, )][DBLP]


  46. Gateway Decompositions for Constrained Reachability Problems. [Citation Graph (, )][DBLP]


  47. On temporal path conditions in dependence graphs. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.007secs
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