The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jetty Kleijn: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jetty Kleijn
    Team Automata for CSCW - A Survey. [Citation Graph (0, 0)][DBLP]
    Petri Net Technology for Communication-Based Systems, 2003, pp:295-320 [Conf]
  2. Maurice H. ter Beek, Clarence A. Ellis, Jetty Kleijn, Grzegorz Rozenberg
    Team automata for spatial access control. [Citation Graph (0, 0)][DBLP]
    ECSCW, 2001, pp:59-78 [Conf]
  3. Maurice H. ter Beek, Jetty Kleijn
    Team Automata Satisfying Compositionality. [Citation Graph (0, 0)][DBLP]
    FME, 2003, pp:381-400 [Conf]
  4. Jetty Kleijn, Maciej Koutny
    Synchrony and Asynchrony in Membrane Systems. [Citation Graph (0, 0)][DBLP]
    Workshop on Membrane Computing, 2006, pp:66-85 [Conf]
  5. Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
    Towards a Petri Net Semantics for Membrane Systems. [Citation Graph (0, 0)][DBLP]
    Workshop on Membrane Computing, 2005, pp:292-309 [Conf]
  6. Maurice H. ter Beek, Clarence A. Ellis, Jetty Kleijn, Grzegorz Rozenberg
    Synchronizations in Team Automata for Groupware Systems. [Citation Graph (0, 0)][DBLP]
    Computer Supported Cooperative Work, 2003, v:12, n:1, pp:21-69 [Journal]
  7. Sándor Horváth, Juhani Karhumäki, Jetty Kleijn
    Results Concerning Palindromicity. [Citation Graph (0, 0)][DBLP]
    Elektronische Informationsverarbeitung und Kybernetik, 1987, v:23, n:8/9, pp:441-451 [Journal]
  8. Maurice H. ter Beek, Jetty Kleijn
    Modularity for teams of I/O automata. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2005, v:95, n:5, pp:487-495 [Journal]
  9. Tom Chothia, Jetty Kleijn
    Q-Automata: Modelling the Resource Usage of Concurrent Components. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:175, n:2, pp:153-167 [Journal]
  10. Maurice H. ter Beek, Jetty Kleijn
    Infinite unfair shuffles and associativity. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:380, n:3, pp:401-410 [Journal]

  11. Petri Nets with Localities and Testing. [Citation Graph (, )][DBLP]


  12. Applying Step Coverability Trees to Communicating Component-Based Systems. [Citation Graph (, )][DBLP]


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