The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Piotr Dembinski: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Piotr Dembinski
    Interfacing ASN.1 and Estelle: A Practical Approach. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:361-368 [Conf]
  2. Piotr Dembinski
    Queueing network model for Estelle. [Citation Graph (0, 0)][DBLP]
    FORTE, 1992, pp:73-86 [Conf]
  3. Piotr Dembinski
    Enumeration Protocol in Estelle: an exercise in stepwise development. [Citation Graph (0, 0)][DBLP]
    FORTE, 1998, pp:147-162 [Conf]
  4. Piotr Dembinski, Jan Maluszynski
    Two Level Grammars: CF-Grammars with Equation Schemes. [Citation Graph (0, 0)][DBLP]
    ICALP, 1979, pp:171-187 [Conf]
  5. Piotr Dembinski
    Towards an Understanding of Complex Processes. [Citation Graph (0, 0)][DBLP]
    MFCS, 1974, pp:175-185 [Conf]
  6. Piotr Dembinski, Jan Maluszynski
    Attribute Grammars and Two-Level Grammars: A Unifying Approach. [Citation Graph (0, 0)][DBLP]
    MFCS, 1978, pp:143-154 [Conf]
  7. Piotr Dembinski, Wojciech Penczek, Agata Pólrola
    Automated Verification of Infinite State Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    PPAM, 2001, pp:247-255 [Conf]
  8. Piotr Dembinski, Stanislaw Budkowski
    Simulating Estelle Specifications with Time Parameters. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:265-279 [Conf]
  9. Stanislaw Budkowski, A. B. Alkhechi, Mohamed-Lyes Benalycherif, Piotr Dembinski, M. Gardie, E. Lallet, J. P. Mouchel La Fosse, Younes Souissi
    Formal Specification, Validation and Performance Evaluation of the Xpress Transfer Protocol. [Citation Graph (0, 0)][DBLP]
    PSTV, 1993, pp:191-206 [Conf]
  10. Piotr Dembinski, Jan Maluszynski
    AND-Parallelism with Intelligent Backtracking for Annotated Logic Programs. [Citation Graph (0, 0)][DBLP]
    SLP, 1985, pp:29-38 [Conf]
  11. Piotr Dembinski, Agata Janowska, Pawel Janowski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny
    Verics: A Tool for Verifying Timed Automata and Estelle Specifications. [Citation Graph (0, 0)][DBLP]
    TACAS, 2003, pp:278-283 [Conf]
  12. Stanislaw Budkowski, Piotr Dembinski
    An Introduction to Estelle: A Specification Language for Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 1987, v:14, n:, pp:3-23 [Journal]
  13. Jean-Pierre Courtiat, Piotr Dembinski, Gerard J. Holzmann, Luigi Logrippo, Harry Rudin, Pamela Zave
    Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995). [Citation Graph (0, 0)][DBLP]
    Computer Networks and ISDN Systems, 1996, v:28, n:13, pp:1845-1855 [Journal]
  14. Piotr Dembinski
    Semantics of Times Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1997, v:29, n:1-2, pp:27-50 [Journal]
  15. Piotr Dembinski, Wojciech Penczek, Agata Pólrola
    Verification of Timed Automata Based on Similarity. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2002, v:51, n:1-2, pp:59-89 [Journal]

Search in 0.333secs, Finished in 0.334secs
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