Adam Obtulowicz Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Pierre-Louis Curien [3]
2Rudolf Freund [10]
3Carlos Martín-Vide [10]
4Gheorghe Paun [10]

Colors in the list of coauthors

Copyright © Mon Nov 30 15:58:31 2009 by Michael Ley (ley@uni-trier.de)