The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Andreas Prinz: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Andreas Prinz, Bernhard Thalheim
    Operational Semantics of Transactions. [Citation Graph (0, 0)][DBLP]
    ADC, 2003, pp:169-179 [Conf]
  2. Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Andreas Prinz
    On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:242-265 [Conf]
  3. Andreas Prinz, Bernhard Thalheim
    ASM Specification of Database Systems. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2003, pp:418- [Conf]
  4. Jan Pettersen Nytun, Andreas Prinz, Merete Skjelten Tveit
    Automatic Generation of Modelling Tools. [Citation Graph (0, 0)][DBLP]
    ECMDA-FA, 2006, pp:268-283 [Conf]
  5. Klaus Ahrens, Joachim Fischer, Andreas Prinz, Dorota Witaszek
    Eine Entwicklungsumgebung für SDL'92. [Citation Graph (0, 0)][DBLP]
    FBT, 1992, pp:49-65 [Conf]
  6. Joachim Fischer, Andreas Prinz, Andreas Vogel
    Different FDT's Confronted with Different ODP-Viewpoints of the Trader. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:332-350 [Conf]
  7. Andreas Prinz, Martin von Löwis
    Engineering the SDL Formal Language Definition. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2003, pp:47-63 [Conf]
  8. Terje Gjøsæter, Jan Pettersen Nytun, Andreas Prinz, Mikael Snaprud, Merete Skjelten Tveit
    Modelling Accessibility Constraints. [Citation Graph (0, 0)][DBLP]
    ICCHP, 2006, pp:40-47 [Conf]
  9. Joachim Fischer, Eckhardt Holz, Martin von Löwis, Andreas Prinz
    SDL-2000: A Language with a Formal Semantics. [Citation Graph (0, 0)][DBLP]
    Rigorous Object-Oriented Methods, 2000, pp:- [Conf]
  10. Andreas Prinz
    SDL Time Extensions from a Semantic Point of View. [Citation Graph (0, 0)][DBLP]
    SAM, 2002, pp:53-60 [Conf]
  11. Andreas Prinz, Robert Eschbach, Reinhard Gotzhein
    A Executable Formal Semantics for SDL-2000. [Citation Graph (0, 0)][DBLP]
    SAM, 2000, pp:249-261 [Conf]
  12. Andreas Prinz, Mario Schwarz
    Object-Oriented Specification of Protocols for Reusability. [Citation Graph (0, 0)][DBLP]
    SAM, 2002, pp:90-102 [Conf]
  13. Fritjof Boger Engelhardtsen, Andreas Prinz
    Application of Stuck-Free Conformance to Service-Role Composition. [Citation Graph (0, 0)][DBLP]
    SAM, 2006, pp:115-132 [Conf]
  14. Joachim Fischer, Andreas Prinz, Markus Scheidgen, Merete Skjelten Tveit
    Implementing the eODL Graphical Representation. [Citation Graph (0, 0)][DBLP]
    SAM, 2006, pp:19-33 [Conf]
  15. Andreas Prinz, Martin von Löwis
    Generating a Compiler for SDL from the Formal Language Definition. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 2003, pp:150-165 [Conf]
  16. Uwe Glässer, Reinhard Gotzhein, Andreas Prinz
    Towards a new formal SDL semantics - outline of an abstract state machines. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1999, pp:171-192 [Conf]
  17. Uwe Glässer, Andreas Prinz
    ASM and SDL Models of Geographic Routing in Mobile Ad Hoc Networks. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 2005, pp:162-173 [Conf]
  18. Joachim Fischer, Eckhardt Holz, Andreas Prinz, Markus Scheidgen
    Tool-based language development. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2005, v:49, n:5, pp:676-688 [Journal]
  19. Uwe Glässer, Reinhard Gotzhein, Andreas Prinz
    The formal semantics of SDL-2000: Status and perspectives. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2003, v:42, n:3, pp:343-358 [Journal]
  20. Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Martin von Löwis, Andreas Prinz
    Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:11, pp:1024-1049 [Journal]
  21. Susanne Graf, Andreas Prinz
    Time in State Machines. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2005, pp:217-232 [Conf]
  22. Andreas Prinz, Markus Scheidgen, Merete Skjelten Tveit
    A Model-Based Standard for SDL. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 2007, pp:1-18 [Conf]
  23. Susanne Graf, Andreas Prinz
    Time in State Machines. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2007, v:77, n:1-2, pp:143-174 [Journal]

  24. Model-Driven Development Approach for Providing Smart Home Services. [Citation Graph (, )][DBLP]


  25. Specification of modelling languages in a flexible meta-model architecture. [Citation Graph (, )][DBLP]


  26. Sudoku - A Language Description Case Study. [Citation Graph (, )][DBLP]


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