The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Nico Plat: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Peter Gorm Larsen, Nico Plat
    Standards for Non- Executable Specification Languages. [Citation Graph (1, 0)][DBLP]
    Comput. J., 1992, v:35, n:6, pp:567-573 [Journal]
  2. Peter Gorm Larsen, Nico Plat, Hans Toetenel
    A Formal Semantics of Data Flow Diagrams. [Citation Graph (1, 0)][DBLP]
    Formal Asp. Comput., 1994, v:6, n:6, pp:586-606 [Journal]
  3. Nico Plat, Ronald Huijsman, Jan van Katwijk, Gertjan van Oosten, Kees Pronk, Hans Toetenel
    Type Checking BSI/VDM-SL. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1990, pp:399-425 [Conf]
  4. Nico Plat, Jan van Katwijk, Kees Pronk
    A Case for Structured Analysis/Formal Design. [Citation Graph (0, 0)][DBLP]
    VDM Europe (1), 1991, pp:81-105 [Conf]
  5. Nico Plat, Kees Pronk, Marcel Verhoef
    The Delft VDM-SL Front-End. [Citation Graph (0, 0)][DBLP]
    VDM Europe (1), 1991, pp:677-680 [Conf]
  6. Anthony Hall, David Lorge Parnas, Nico Plat, John M. Rushby, Chris T. Sennett
    The Future of Formal Methods in Industry. [Citation Graph (0, 0)][DBLP]
    ZUM, 1995, pp:237-242 [Conf]
  7. B. Tim Denvir, José Nuno Oliveira, Nico Plat
    The Cash-Point (ATM) `Problem'. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2000, v:12, n:4, pp:211-215 [Journal]
  8. Nico Plat, Peter Gorm Larsen
    An overview of the ISO/VDM-SL standard. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1992, v:27, n:8, pp:76-82 [Journal]
  9. Peter van der Spek, Nico Plat, Cornelis Pronk
    Syntax error repair for a Java-based parser generator. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2005, v:40, n:4, pp:47-50 [Journal]

Search in 0.060secs, Finished in 0.061secs
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