The SCEAS System
Navigation Menu

Search the dblp DataBase


Martin Simons: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Martin Simons, Michel Sintzoff
    Algebraic Composition and Refinement of Proofs. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:494-508 [Conf]
  2. K. T. P. Au, Manuel M. T. Chakravarty, John Darlington, Yike Guo, Stefan Jähnichen, Martin Köhler, Gabriele Keller, W. Pfannenstiel, Martin Simons
    Enlarging the Scope of Vector-Based Computations: Extending Fortran 90 by Nested Data Parallelism. [Citation Graph (0, 0)][DBLP]
    APDC, 1997, pp:66-73 [Conf]
  3. Gabriele Keller, Martin Simons
    A Calculational Approach to Flattening Nested Data Parallelism in Functional Languages. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:234-243 [Conf]
  4. Xuejun Chen, Martin Simons
    A Component Framework for Dynamic Reconfiguration of Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Component Deployment, 2002, pp:82-96 [Conf]
  5. Matthias Anlauff, Stefan Jähnichen, Martin Simons
    An experimental support system for formal mathematical reasoning. [Citation Graph (0, 0)][DBLP]
    FME, 1994, pp:421-440 [Conf]
  6. Cornelia Heinisch, Martin Simons
    Adaptierbare Software-Architektur für den Software-Download in Kfz-Steuergerate. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung (1), 2003, pp:320-324 [Conf]
  7. Jan Prins, Siddhartha Chatterjee, Martin Simons
    Expressing Irregular Computations in Modern Fortran Dialects. [Citation Graph (0, 0)][DBLP]
    LCR, 1998, pp:1-16 [Conf]
  8. Martin Simons, Maya Biersack, Robert Raschke
    Literate and Structured Presentation of Formal Proofs. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1994, pp:61-81 [Conf]
  9. Martin Simons
    Proof Presentation for Isabelle. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1997, pp:259-274 [Conf]
  10. Martin Simons, Matthias Weber
    An Approach to Literate and Structured Formal Developments. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1996, v:8, n:1, pp:86-107 [Journal]
  11. Jan Prins, Siddhartha Chatterjee, Martin Simons
    Irregular computations in Fortran - expression and implementation strategies. [Citation Graph (0, 0)][DBLP]
    Scientific Programming, 1999, v:7, n:3-4, pp:313-326 [Journal]
  12. Jan Prins, Jan Hermans, Geoffrey Mann, Lars S. Nyland, Martin Simons
    A virtual environment for steered molecular dynamics. [Citation Graph (0, 0)][DBLP]
    Future Generation Comp. Syst., 1999, v:15, n:4, pp:485-495 [Journal]

  13. Energy efficiency in automotive networks: Assessment and concepts. [Citation Graph (, )][DBLP]

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