Adam Obtulowicz

Publication Activity (10 Years)

Years Active: 1977-2014
Publications (10 Years): 0

Top Topics

Multiresolution

Causal Theories

Search Strategies

Top Venues

Int. Conf. on Membrane Computing

Publications

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