| |
| 2006 | ||
|---|---|---|
| 13 | EE | Adam Obtulowicz: Gandy's principles for mechanisms and membrane computing. Int. J. Found. Comput. Sci. 17(1): 167-181 (2006) |
| 2005 | ||
| 12 | EE | Adam Obtulowicz: Relational Membrane Systems. Workshop on Membrane Computing 2005: 342-355 |
| 2004 | ||
| 11 | EE | Adam Obtulowicz: General Multi-fuzzy Sets and Fuzzy Membrane Systems. Workshop on Membrane Computing 2004: 359-372 |
| 2003 | ||
| 10 | EE | Rudolf Freund, Carlos Martín-Vide, Adam Obtulowicz, Gheorghe Paun: On Three Classes of Automata-Like P Systems. Developments in Language Theory 2003: 292-303 |
| 9 | EE | Adam Obtulowicz: Mathematical models of uncertainty with a regard to membrane systems. Natural Computing 2(3): 251-263 (2003) |
| 2002 | ||
| 8 | EE | Adam Obtulowicz: Probabilistic P Systems. WMC-CdeA 2002: 377-387 |
| 2001 | ||
| 7 | Adam Obtulowicz: Membrane Computing and One-Way Functions. Int. J. Found. Comput. Sci. 12(4): 551-558 (2001) | |
| 2000 | ||
| 6 | EE | Adam Obtulowicz: On P Systems with Active Membranes Solving the Integer Factorization Problem in a Polynomial Time. WMP 2000: 267-286 |
| 5 | Adam Obtulowicz: Triangular Logic of Partial Toposes. Journal of Applied Non-Classical Logics 10(2): (2000) | |
| 1993 | ||
| 4 | Adam Obtulowicz: Algebra of Constructsion II: An Algebraic Approach to Martin-Löf Theory and the Calculus of Constructions. Mathematical Structures in Computer Science 3(1): 63-92 (1993) | |
| 1989 | ||
| 3 | Pierre-Louis Curien, Adam Obtulowicz: Partiality, Cartesian closedness and Toposes Inf. Comput. 80(1): 50-95 (1989) | |
| 1987 | ||
| 2 | Adam Obtulowicz: Algebra of Constructions. I. The Word Problem for Partial Algebras Inf. Comput. 73(2): 129-173 (1987) | |
| 1977 | ||
| 1 | Adam Obtulowicz: Functorial Semantics of the Type Free lambda-beta eta Calculus. FCT 1977: 302-307 | |
| 1 | Pierre-Louis Curien | [3] |
| 2 | Rudolf Freund | [10] |
| 3 | Carlos Martín-Vide | [10] |
| 4 | Gheorghe Paun | [10] |