The SCEAS System
| |||||||

## Search the dblp DataBase
Martin Simons:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Martin Simons, Michel Sintzoff
**Algebraic Composition and Refinement of Proofs.**[Citation Graph (0, 0)][DBLP] AMAST, 1997, pp:494-508 [Conf] - 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] - 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] - 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] - 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] - 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] - Jan Prins, Siddhartha Chatterjee, Martin Simons
**Expressing Irregular Computations in Modern Fortran Dialects.**[Citation Graph (0, 0)][DBLP] LCR, 1998, pp:1-16 [Conf] - Martin Simons, Maya Biersack, Robert Raschke
**Literate and Structured Presentation of Formal Proofs.**[Citation Graph (0, 0)][DBLP] PROCOMET, 1994, pp:61-81 [Conf] - Martin Simons
**Proof Presentation for Isabelle.**[Citation Graph (0, 0)][DBLP] TPHOLs, 1997, pp:259-274 [Conf] - 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] - 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] - 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] **Energy efficiency in automotive networks: Assessment and concepts.**[Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |