The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Leszek Holenderski: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Axel Poigné, Leszek Holenderski
    On the Combination of Synchronous Languages. [Citation Graph (0, 0)][DBLP]
    COMPOS, 1997, pp:490-514 [Conf]
  2. Leszek Holenderski, Axel Poigné
    Synchronous Automata for Synchronous Programming Languages. [Citation Graph (0, 0)][DBLP]
    FBT, 1997, pp:129-134 [Conf]
  3. Dragan Bosnacki, Dennis Dams, Leszek Holenderski
    A Heuristic for Symmetry Reductions with Scalarsets. [Citation Graph (0, 0)][DBLP]
    FME, 2001, pp:518-533 [Conf]
  4. Leszek Holenderski
    Compositional Verification of Synchronous Networks. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2000, pp:214-227 [Conf]
  5. Leszek Holenderski
    LUSTRE. [Citation Graph (0, 0)][DBLP]
    Formal Development of Reactive Systems, 1995, pp:101-112 [Conf]
  6. Dragan Bosnacki, Dennis Dams, Leszek Holenderski
    Symmetric Spin. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:1-19 [Conf]
  7. Leszek Holenderski
    A Model Checking Project at Philips Research. [Citation Graph (0, 0)][DBLP]
    SPIN, 2001, pp:288-295 [Conf]
  8. Dragan Bosnacki, Dennis Dams, Leszek Holenderski, Natalia Sidorova
    Model Checking SDL with Spin. [Citation Graph (0, 0)][DBLP]
    TACAS, 2000, pp:363-377 [Conf]
  9. Axel Poigné, Matthew Morley, Olivier Maffeïs, Leszek Holenderski, Reinhard Budde
    The Synchronous Approach to Designing Reactive Systems. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1998, v:12, n:2, pp:163-187 [Journal]
  10. Leszek Holenderski
    A Note on Specifying and Verifying Concurrent Processes. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1984, v:18, n:2, pp:77-85 [Journal]
  11. Leszek Holenderski
    The Correctness of Nondeterministic Programs Revisited. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1986, v:23, n:6, pp:299-303 [Journal]
  12. Leszek Holenderski, Andrzej Szalas
    Propositional Description of Finite Cause-Effect Structures. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1988, v:27, n:3, pp:111-117 [Journal]
  13. Dragan Bosnacki, Dennis Dams, Leszek Holenderski
    Symmetric Spin. [Citation Graph (0, 0)][DBLP]
    STTT, 2002, v:4, n:1, pp:92-106 [Journal]
  14. Andrzej Szalas, Leszek Holenderski
    Incompleteness of First-Order Temporal Logic with Until. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1988, v:57, n:, pp:317-325 [Journal]

Search in 0.035secs, Finished in 0.036secs
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