The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ludwik Czaja: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ludwik Czaja
    Making nets abstract and structures. [Citation Graph (0, 0)][DBLP]
    Applications and Theory in Petri Nets, 1985, pp:181-202 [Conf]
  2. Ludwik Czaja
    Process in Cause-Effect Structures. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 1996, pp:146-165 [Conf]
  3. Ludwik Czaja
    Are infinite behaviors of parallel system schemata necessary?. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1980, pp:108-117 [Conf]
  4. Hans-Dieter Burkhard, Ludwik Czaja, Gabriela Lindemann, Zbigniew Suraj
    Preface: Concurrency Specification and Programming. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:67, n:1-3, pp:- [Journal]
  5. Hans-Dieter Burkhard, Gabriela Lindemann, Ludwik Czaja, Zbigniew Suraj
    Preface. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:60, n:1-4, pp:- [Journal]
  6. Ludwik Czaja
    Place/Transition Petri Net Evolutions: Recording Ways, Analysis and Synthesis. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2002, v:51, n:1-2, pp:43-58 [Journal]
  7. Ludwik Czaja
    Proving Nets Correct via Cause-Effect Structures (An Experiment). [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:54, n:2-3, pp:165-183 [Journal]
  8. Ludwik Czaja
    An Axiomatic Framework for Proving Correctness of Nets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:67, n:1-3, pp:45-64 [Journal]
  9. Ludwik Czaja
    Minimal-Maximal Time Cause-Effect Structures. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1998, v:33, n:1, pp:1-16 [Journal]
  10. Ludwik Czaja
    Cause-Effect Structures - Structural and Semantic Properties Revisited. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1998, v:33, n:1, pp:17-42 [Journal]
  11. Ludwik Czaja
    Net-Definability of Process Languages. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1999, v:37, n:3, pp:213-223 [Journal]
  12. Ludwik Czaja
    Representing Hand-Shake Channel Communication in the Calculus of Cause-Effect Structures. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1999, v:37, n:4, pp:343-368 [Journal]
  13. Ludwik Czaja, Manfred Kudlek
    Rational, Linear and Algebraic Process Languages and Iteration Lemmata. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2000, v:43, n:1-4, pp:49-60 [Journal]
  14. Ludwik Czaja, Manfred Kudlek
    w-Process Languages for Place/Transition Nets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2001, v:47, n:3-4, pp:217-229 [Journal]
  15. Ludwik Czaja
    Equations for message passing. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:81-93 [Journal]
  16. Ludwik Czaja
    Deadlock and Fairness in Parallel Schemas: A Set-Theoretic Characterization and Decision Problems. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1980, v:10, n:4/5, pp:234-239 [Journal]
  17. Ludwik Czaja
    Cause-Effect Structures. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1988, v:26, n:6, pp:313-319 [Journal]
  18. Ludwik Czaja
    Finite Processes in Cause-Effect Structures and Their Composition. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1989, v:31, n:6, pp:305-310 [Journal]
  19. Ludwik Czaja
    Implementation Approach to Parallel Systems. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1978, v:7, n:5, pp:244-249 [Journal]
  20. Ludwik Czaja
    Parallel Implementation of Path Expressions. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1978, v:7, n:6, pp:291-295 [Journal]
  21. Ludwik Czaja
    A Specification of Parallel Problems. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1979, v:8, n:4, pp:162-167 [Journal]
  22. Ludwik Czaja
    Parallel System Schemas and Their Relation to Automata. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1980, v:10, n:3, pp:153-158 [Journal]
  23. Ludwik Czaja
    On the Analysis of Petri Nets and their Synthesis from Process Languages. [Citation Graph (0, 0)][DBLP]
    ITA, 2003, v:37, n:1, pp:17-38 [Journal]
  24. Ludwik Czaja
    Process languages and nets. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:238, n:1-2, pp:161-181 [Journal]
  25. Ludwik Czaja
    Interpreted Nets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2007, v:79, n:3-4, pp:283-293 [Journal]

Search in 0.124secs, Finished in 0.125secs
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