Adam Obtulowicz

19 papers B 1C 1Journal 8Unranked 9

Year	Rank	Type	Title / Venue / Authors
2014	—	`conf`	Causal Nets for Geometrical Gandy-Păun-Rozenberg Machines. Int. Conf. on Membrane Computing Adam Obtulowicz
2013	—	`conf`	In Search of a Structure of Fractals by Using Membranes as Hyperedges. Int. Conf. on Membrane Computing Adam Obtulowicz
2012	—	`conf`	Multigraphical Membrane Systems Revisited. Int. Conf. on Membrane Computing Adam Obtulowicz
2011	—	`conf`	Generalized Gandy-Păun-Rozenberg Machines for Tile Systems and Cellular Automata. Int. Conf. on Membrane Computing Adam Obtulowicz
2010	—	`conf`	Randomized Gandy-Paun-Rozenberg Machines. Int. Conf. on Membrane Computing Adam Obtulowicz
2006	J	`jnl`	Gandy's principles for mechanisms and membrane computing. Int. J. Found. Comput. Sci. Adam Obtulowicz
2005	—	`conf`	Relational Membrane Systems. Workshop on Membrane Computing Adam Obtulowicz
2004	—	`conf`	General Multi-fuzzy Sets and Fuzzy Membrane Systems. Workshop on Membrane Computing Adam Obtulowicz
2003	J	`jnl`	Mathematical models of uncertainty with a regard to membrane systems. Nat. Comput. Adam Obtulowicz
2003	C	`conf`	On Three Classes of Automata-Like P Systems. Developments in Language Theory Rudolf Freund, Carlos Martín-Vide, Adam Obtulowicz, Gheorghe Paun
2002	—	`conf`	Probabilistic P Systems. WMC-CdeA Adam Obtulowicz
2001	J	`jnl`	Membrane Computing and One-Way Functions. Int. J. Found. Comput. Sci. Adam Obtulowicz
2000	—	`conf`	On P Systems with Active Membranes Solving the Integer Factorization Problem in a Polynomial Time. WMP Adam Obtulowicz
2000	J	`jnl`	Triangular Logic of Partial Toposes. J. Appl. Non Class. Logics Adam Obtulowicz
1993	J	`jnl`	Algebra of Constructsion II: An Algebraic Approach to Martin-Löf Theory and the Calculus of Constructions. Math. Struct. Comput. Sci. Adam Obtulowicz
1989	J	`jnl`	Categorical and algebraic aspects of Martin-Löf Type Theory. Stud Logica Adam Obtulowicz
1989	J	`jnl`	Partiality, Cartesian closedness and Toposes Inf. Comput. Pierre-Louis Curien, Adam Obtulowicz
1987	J	`jnl`	Algebra of Constructions. I. The Word Problem for Partial Algebras Inf. Comput. Adam Obtulowicz
1977	B	`conf`	Functorial Semantics of the Type Free lambda-beta eta Calculus. FCT Adam Obtulowicz