Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Ludwik Czaja" ( http://dblp.L3S.de/Authors/Ludwik_Czaja )

  Author page on DBLP  Author page in RDF  Community of Ludwik Czaja in ASPL-2

Publication years (Num. hits)
1978-1999 (15) 2000-2010 (16) 2011 (3)
Publication types (Num. hits)
article(30) inproceedings(3) proceedings(1)
Venues (Conferences, Journals, ...)
Fundam. Inform.(20) Inf. Process. Lett.(7) ITA(2) Applications and Theory in Pet...(1) Ershov Memorial Conference(1) FCT(1) Logic of Programs(1) Theor. Comput. Sci.(1)
Authors
Ludwik Czaja(34) Manfred Kudlek(5) Gabriela Lindemann(2) Hans-Dieter Burkhard(2) Zbigniew Suraj(2) Bogdan S. Chlebus(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 34 publication records. Showing 34 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Ludwik Czaja On Deadlock and Fairness Decision Problems for Computations on Client-server Systems. Search on Bibsonomy Fundam. Inform. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ludwik Czaja Preface. Search on Bibsonomy Fundam. Inform. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ludwik Czaja, Manfred Kudlek On Synthesis and Analysis of Generalized Work Flow Net Structures and Transition Graphs. Search on Bibsonomy Fundam. Inform. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ludwik Czaja Preface. Search on Bibsonomy Fundam. Inform. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ludwik Czaja, Manfred Kudlek Synthesis and Analysis of Net Structures and Transition Graphs with Inhibitor Relations. Search on Bibsonomy Fundam. Inform. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ludwik Czaja, Manfred Kudlek Analysis and Synthesis of Net Structures and Transition Graphs. Search on Bibsonomy Fundam. Inform. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ludwik Czaja Calculi of net structures and sets are similar. Search on Bibsonomy ITA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ludwik Czaja Boolean Algebra of Nets, their Synthesis and Analysis. Search on Bibsonomy Fundam. Inform. The full citation details ... 2008 DBLP  BibTeX  RDF
1Ludwik Czaja Interpreted Nets. Search on Bibsonomy Fundam. Inform. The full citation details ... 2007 DBLP  BibTeX  RDF
1Ludwik Czaja Equations for message passing. Search on Bibsonomy Fundam. Inform. The full citation details ... 2006 DBLP  BibTeX  RDF
1Hans-Dieter Burkhard, Ludwik Czaja, Gabriela Lindemann, Zbigniew Suraj Preface: Concurrency Specification and Programming. Search on Bibsonomy Fundam. Inform. The full citation details ... 2005 DBLP  BibTeX  RDF
1Ludwik Czaja An Axiomatic Framework for Proving Correctness of Nets. Search on Bibsonomy Fundam. Inform. The full citation details ... 2005 DBLP  BibTeX  RDF
1Hans-Dieter Burkhard, Gabriela Lindemann, Ludwik Czaja, Zbigniew Suraj Preface. Search on Bibsonomy Fundam. Inform. The full citation details ... 2004 DBLP  BibTeX  RDF
1Ludwik Czaja On the Analysis of Petri Nets and their Synthesis from Process Languages. Search on Bibsonomy ITA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Ludwik Czaja Proving Nets Correct via Cause-Effect Structures (An Experiment). Search on Bibsonomy Fundam. Inform. The full citation details ... 2003 DBLP  BibTeX  RDF
1Ludwik Czaja Place/Transition Petri Net Evolutions: Recording Ways, Analysis and Synthesis. Search on Bibsonomy Fundam. Inform. The full citation details ... 2002 DBLP  BibTeX  RDF
1Ludwik Czaja, Manfred Kudlek w-Process Languages for Place/Transition Nets. Search on Bibsonomy Fundam. Inform. The full citation details ... 2001 DBLP  BibTeX  RDF
1Ludwik Czaja Process languages and nets. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Ludwik Czaja, Manfred Kudlek Rational, Linear and Algebraic Process Languages and Iteration Lemmata. Search on Bibsonomy Fundam. Inform. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Ludwik Czaja Representing Hand-Shake Channel Communication in the Calculus of Cause-Effect Structures. Search on Bibsonomy Fundam. Inform. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Ludwik Czaja Net-Definability of Process Languages. Search on Bibsonomy Fundam. Inform. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Ludwik Czaja Minimal-Maximal Time Cause-Effect Structures. Search on Bibsonomy Fundam. Inform. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Ludwik Czaja Cause-Effect Structures - Structural and Semantic Properties Revisited. Search on Bibsonomy Fundam. Inform. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Bogdan S. Chlebus, Ludwik Czaja (eds.) Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997, Proceedings Search on Bibsonomy FCT The full citation details ... 1997 DBLP  BibTeX  RDF
1Ludwik Czaja Process in Cause-Effect Structures. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Ludwik Czaja Finite Processes in Cause-Effect Structures and Their Composition. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Ludwik Czaja Cause-Effect Structures. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Ludwik Czaja Making nets abstract and structures. Search on Bibsonomy Applications and Theory in Petri Nets The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Ludwik Czaja Deadlock and Fairness in Parallel Schemas: A Set-Theoretic Characterization and Decision Problems. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
1Ludwik Czaja Parallel System Schemas and Their Relation to Automata. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
1Ludwik Czaja Are infinite behaviors of parallel system schemata necessary?. Search on Bibsonomy Logic of Programs The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
1Ludwik Czaja A Specification of Parallel Problems. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
1Ludwik Czaja Implementation Approach to Parallel Systems. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
1Ludwik Czaja Parallel Implementation of Path Expressions. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #34 of 34 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.