Ludwik Czaja - RankMe

63 papers B 1Journal 46Unranked 11

Year	Rank	Type	Title / Venue / Authors
2024	—	`book`	Cellular Cause-Effect Structures Ludwik Czaja
2021	—	`conf`	Cause-Effect Structures Behaving like Reaction Systems. CS&P Ludwik Czaja
2021	J	`jnl`	Extensions of Elementary Cause-Effect Structures. Fundam. Informaticae Ludwik Czaja
2019	—	`book`	Cause-Effect Structures - An Algebra of Nets with Examples of Applications Ludwik Czaja
2019	—	`conf`	Computing with Natural Numbers in Cause-Effect Structures. CS&P Ludwik Czaja
2018	J	`jnl`	A Protocol of Mutual Exclusion for DSM Based on Vectors of Global Timestamps. Fundam. Informaticae Ludwik Czaja
2018	—	`conf`	Extensions of Elementary Cause-Effect Structures. CS&P Ludwik Czaja
2018	—	`book`	Introduction to Distributed Computer Systems - Principles and Features Ludwik Czaja
2018	J	`jnl`	Preface. Fundam. Informaticae Ludwik Czaja, Wojciech Penczek, Holger Schlingloff, Hung Son Nguyen
2016	—	`conf`	A Protocol of Mutual Exclusion for DSM Based on Vectors of Global Timestamps. CS&P Ludwik Czaja
2016	J	`jnl`	Preface. Fundam. Informaticae Ludwik Czaja, Wojciech Penczek, Krzysztof Stencel
2016	J	`jnl`	Preface. Fundam. Informaticae Ludwik Czaja, Wojciech Penczek, Krzysztof Stencel
2016	J	`jnl`	Remarks on Memory Consistency Description. Fundam. Informaticae Ludwik Czaja
2015	—	`ed.`	Proceedings of the 24th International Workshop on Concurrency, Specification and Programming, Rzeszow, Poland, September 28-30, 2015. CS&P Zbigniew Suraj, Ludwik Czaja
2015	—	`conf`	Remarks on Memory Consistency Description. CS&P Ludwik Czaja
2014	J	`jnl`	Floating Channels Between Communicating Nets. Fundam. Informaticae Ludwik Czaja
2014	J	`jnl`	Preface. Fundam. Informaticae Ludwik Czaja
2014	J	`jnl`	Preface. Fundam. Informaticae Ludwik Czaja
2014	J	`jnl`	Preface. Fundam. Informaticae Wojciech Penczek, Ludwik Czaja
2014	J	`jnl`	Self-Modifying Nets for Synchronous, Connection-Oriented, Multicast Communication. Fundam. Informaticae Ludwik Czaja
2014	—	`conf`	Two Problems with Distributed Systems: Data Access Control and Memory Shering. CS&P Ludwik Czaja
2013	J	`jnl`	Equations for Asynchronous Message Passing. Fundam. Informaticae Ludwik Czaja
2013	—	`conf`	Floating Channels Between Communicating Nets. CS&P Ludwik Czaja
2013	J	`jnl`	Preface. Fundam. Informaticae Ludwik Czaja
2013	—	`ed.`	Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming, Warsaw, Poland CS&P Marcin S. Szczuka, Ludwik Czaja, Magdalena Kacprzak
2013	J	`jnl`	Rough Net Structures - Example of Information System. Fundam. Informaticae Ludwik Czaja
2012	—	`conf`	Equations for Asynchronous Message Passing. CS&P Ludwik Czaja
2012	J	`jnl`	Exclusive Access to Resources in Distributed Shared Memory Architecture. Fundam. Informaticae Ludwik Czaja
2012	J	`jnl`	Preface. Fundam. Informaticae Ludwik Czaja
2011	J	`jnl`	On Deadlock and Fairness Decision Problems for Computations on Client-server Systems. Fundam. Informaticae Ludwik Czaja
2011	J	`jnl`	On Synthesis and Analysis of Generalized Work Flow Net Structures and Transition Graphs. Fundam. Informaticae Ludwik Czaja, Manfred Kudlek
2011	J	`jnl`	Preface. Fundam. Informaticae Ludwik Czaja
2010	J	`jnl`	Preface. Fundam. Informaticae Ludwik Czaja
2010	J	`jnl`	Synthesis and Analysis of Net Structures and Transition Graphs with Inhibitor Relations. Fundam. Informaticae Ludwik Czaja, Manfred Kudlek
2009	J	`jnl`	Analysis and Synthesis of Net Structures and Transition Graphs. Fundam. Informaticae Ludwik Czaja, Manfred Kudlek
2008	J	`jnl`	Boolean Algebra of Nets, their Synthesis and Analysis. Fundam. Informaticae Ludwik Czaja
2008	J	`jnl`	Calculi of net structures and sets are similar. RAIRO Theor. Informatics Appl. Ludwik Czaja
2007	J	`jnl`	Interpreted Nets. Fundam. Informaticae Ludwik Czaja
2006	J	`jnl`	Equations for message passing. Fundam. Informaticae Ludwik Czaja
2005	J	`jnl`	An Axiomatic Framework for Proving Correctness of Nets. Fundam. Informaticae Ludwik Czaja
2005	J	`jnl`	Preface: Concurrency Specification and Programming. Fundam. Informaticae Hans-Dieter Burkhard, Ludwik Czaja, Gabriela Lindemann, Zbigniew Suraj
2004	J	`jnl`	Preface. Fundam. Informaticae Hans-Dieter Burkhard, Gabriela Lindemann, Ludwik Czaja, Zbigniew Suraj
2003	J	`jnl`	On the Analysis of Petri Nets and their Synthesis from Process Languages. RAIRO Theor. Informatics Appl. Ludwik Czaja
2003	J	`jnl`	Proving Nets Correct via Cause-Effect Structures (An Experiment). Fundam. Informaticae Ludwik Czaja
2002	J	`jnl`	Place/Transition Petri Net Evolutions: Recording Ways, Analysis and Synthesis. Fundam. Informaticae Ludwik Czaja
2001	J	`jnl`	w-Process Languages for Place/Transition Nets. Fundam. Informaticae Ludwik Czaja, Manfred Kudlek
2000	J	`jnl`	Process languages and nets. Theor. Comput. Sci. Ludwik Czaja
2000	J	`jnl`	Rational, Linear and Algebraic Process Languages and Iteration Lemmata. Fundam. Informaticae Ludwik Czaja, Manfred Kudlek
1999	J	`jnl`	Net-Definability of Process Languages. Fundam. Informaticae Ludwik Czaja
1999	J	`jnl`	Representing Hand-Shake Channel Communication in the Calculus of Cause-Effect Structures. Fundam. Informaticae Ludwik Czaja
1998	J	`jnl`	Cause-Effect Structures - Structural and Semantic Properties Revisited. Fundam. Informaticae Ludwik Czaja
1998	J	`jnl`	Minimal-Maximal Time Cause-Effect Structures. Fundam. Informaticae Ludwik Czaja
1997	B	`ed.`	Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997, Proceedings FCT Bogdan S. Chlebus, Ludwik Czaja
1996	—	`conf`	Process in Cause-Effect Structures. Ershov Memorial Conference Ludwik Czaja
1989	J	`jnl`	Finite Processes in Cause-Effect Structures and Their Composition. Inf. Process. Lett. Ludwik Czaja
1988	J	`jnl`	Cause-Effect Structures. Inf. Process. Lett. Ludwik Czaja
1985	—	`conf`	Making nets abstract and structures. Applications and Theory in Petri Nets Ludwik Czaja
1980	—	`conf`	Are infinite behaviors of parallel system schemata necessary?. Logic of Programs Ludwik Czaja
1980	J	`jnl`	Deadlock and Fairness in Parallel Schemas: A Set-Theoretic Characterization and Decision Problems. Inf. Process. Lett. Ludwik Czaja
1980	J	`jnl`	Parallel System Schemas and Their Relation to Automata. Inf. Process. Lett. Ludwik Czaja
1979	J	`jnl`	A Specification of Parallel Problems. Inf. Process. Lett. Ludwik Czaja
1978	J	`jnl`	Implementation Approach to Parallel Systems. Inf. Process. Lett. Ludwik Czaja
1978	J	`jnl`	Parallel Implementation of Path Expressions. Inf. Process. Lett. Ludwik Czaja