Adam Obtulowicz

According to our database, Adam Obtulowicz authored at least 19 papers between 1977 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2014

Causal Nets for Geometrical Gandy-Păun-Rozenberg Machines.

Adam Obtulowicz

Proceedings of the Membrane Computing, 2014

2013

In Search of a Structure of Fractals by Using Membranes as Hyperedges.

Adam Obtulowicz

Proceedings of the Membrane Computing, 2013

2012

Multigraphical Membrane Systems Revisited.

Adam Obtulowicz

Proceedings of the Membrane Computing, 2012

2011

Generalized Gandy-Păun-Rozenberg Machines for Tile Systems and Cellular Automata.

Adam Obtulowicz

Proceedings of the Membrane Computing, 2011

2010

Randomized Gandy-Paun-Rozenberg Machines.

Adam Obtulowicz

Proceedings of the Membrane Computing, 2010

2006

Gandy's principles for mechanisms and membrane computing.

Adam Obtulowicz

Int. J. Found. Comput. Sci., 2006

2005

Relational Membrane Systems.

Adam Obtulowicz

Proceedings of the Membrane Computing, 6th International Workshop, 2005

2004

General Multi-fuzzy Sets and Fuzzy Membrane Systems.

Adam Obtulowicz

Proceedings of the Membrane Computing, 5th International Workshop, 2004

2003

Mathematical models of uncertainty with a regard to membrane systems.

Adam Obtulowicz

Nat. Comput., 2003

On Three Classes of Automata-Like P Systems.

Rudolf Freund, Carlos Martín-Vide, Adam Obtulowicz, Gheorghe Paun

Proceedings of the Developments in Language Theory, 7th International Conference, 2003

2002

Probabilistic P Systems.

Adam Obtulowicz

Proceedings of the Membrane Computing, International Workshop, 2002

2001

Membrane Computing and One-Way Functions.

Adam Obtulowicz

Int. J. Found. Comput. Sci., 2001

2000

Triangular Logic of Partial Toposes.

Adam Obtulowicz

J. Appl. Non Class. Logics, 2000

On P Systems with Active Membranes Solving the Integer Factorization Problem in a Polynomial Time.

Adam Obtulowicz

Proceedings of the Multiset Processing, 2000

1993

Algebra of Constructsion II: An Algebraic Approach to Martin-Löf Theory and the Calculus of Constructions.

Adam Obtulowicz

Math. Struct. Comput. Sci., 1993

1989

Partiality, Cartesian closedness and Toposes

Pierre-Louis Curien, Adam Obtulowicz

Inf. Comput., January, 1989

Categorical and algebraic aspects of Martin-Löf Type Theory.

Adam Obtulowicz

Stud Logica, 1989

1987

Algebra of Constructions. I. The Word Problem for Partial Algebras

Adam Obtulowicz

Inf. Comput., May, 1987

1977

Functorial Semantics of the Type Free lambda-beta eta Calculus.

Adam Obtulowicz

Proceedings of the Fundamentals of Computation Theory, 1977