ag1.bib

@ARTICLE{HOS06,
  journal = {Archive for Mathematical Logic},
  volume = {45},
  title = {Well-foundedness in realizability},
  author = {Hofmann, Martin and van Oosten, Jaap and Streicher, Thomas},
  year = {2006},
  pages = {795-805 },
  number = {7}
}
@ARTICLE{ABSS07,
  journal = {Bulletin of Symbolic Logic},
  volume = {13},
  title = {Relating first-order set theories and elementary toposes},
  author = {Awodey, Steve and Butz, Carsten and Simpson, Alex 
            and Streicher Thomas},
  year = {2007},
  pages = {340-358},
  number = {3}
}
@ARTICLE{OS07,
  journal = {Fundamenta Mathematicae},
  volume = {},
  title = {On Krivine's realizability interpretation 
           of classical second-order arithmetic},
  author = {Oliva, Paulo and Streicher Thomas},
  year = {2008},
  pages = {(to appear)},
  number = {}
}
@INPROCEEDINGS{LS:06,
  volume = 4207,
  title = {Universality Results for Models in Locally Boolean Domains},
  year = 2006,
  booktitle = {Proceedings of CSL 2006},
  pages = {456--470,},
  publisher = {Springer Verlag},
  series = {Lecture Notes in Computer Science},
  author = {L\"ow, T. and Streicher, T.}
}
@ARTICLE{GrSt:06,
  journal = {MSCS},
  volume = {16},
  title = {Quotients of countably based spaces are not 
           closed under sobrification.},
  author = {Gruenhage, G. and Streicher, T.},
  year = {2006},
  pages = {223-229},
  number = {2}
}
@INCOLLECTION{St:05b,
  publisher = {Oxford University Press},
  title = {Universes in Toposes},
  author = {T. Streicher},
  year = 2005,
  pages = {78-90},
  booktitle = {From sets and types to topology and analysis},
  editor = {Crosilla, L. and Schuster, P.}
}
@INPROCEEDINGS{RS:06,
  volume = 3580,
  title = {About Hoare logics for higher-order store},
  year = 2005,
  booktitle = {Proceedings of ICALP 2005},
  pages = {1337--1348,},
  publisher = {Springer Verlag},
  series = {Lecture Notes in Computer Science},
  author = {Reus, B. and Streicher, T.}
}
@ARTICLE{BeSt:03,
  author = {J. B\'enabou and T. Streicher},
  title = {Partial Toposes},
  journal = {Theory Appl.~Categ.},
  volume = {11},
  year = {2003},
  pages = {309-320}
}
@ARTICLE{EHS:04,
  author = {M. Escard\'o and M. Hofmann and T. Streicher},
  title = {On the non-sequential nature of the interval-domain model 
             of real-number computation},
  journal = {Math.~Struct.~Comp.~Sc.},
  volume = {14},
  number = {6},
  year = {2004},
  pages = {803-814}
}
@ARTICLE{BFJS:04,
  author = {M. Bunge and J. Funk and M. Jibladze and T. Streicher},
  title = {Definable Completeness},
  journal = {Cah.~Topol.~G\'eom.~Diff\'er.~Cat\'eg.},
  volume = {45},
  number = {4},
  year = {2004},
  pages = {243-266}
}
@ARTICLE{ReSt:04,
  author = {B. Reus and T. Streicher},
  title = {Semantics and logic of object calculi},
  journal = {Theoret.~Comp.~Sc.},
  volume = {316},
  number = {1-3},
  year = {2004},
  pages = {191-213}
}
@ARTICLE{BFJS:02,
  author = {M. Bunge and J. Funk and M. Jibladze and T. Streicher},
  title = {The Michael completion of a topos spread},
  journal = {J.~Pure Appl.~Algebra},
  volume = {175},
  number = {1-3},
  year = {2002},
  pages = {63-91}
}
@ARTICLE{BFJS:00,
  author = {M. Bunge and J. Funk and M. Jibladze and T. Streicher},
  title = {Distribution algebras and duality},
  journal = {Adv.~Math.},
  volume = {156},
  number = {1},
  year = {2000},
  pages = {133-155}
}
@ARTICLE{EsSt:02,
  author = {M.  Escard\'o and T. Streicher},
  title = {In domain realizability, 
             not all functionals on $C[-1,1]$ are continuous.},
  journal = {Math.~Log.Qu.},
  volume = {48},
  number = {suppl.1},
  year = {2002},
  pages = {41-44}
}
@ARTICLE{MaSt:02,
  author = {M. Hofmann and T. Streicher},
  title = {Completeness of continuation models for $\lambda\mu$-calculus},
  journal = {Inform.~and Comp.},
  volume = {179},
  number = {2},
  year = {2002},
  pages = {332-355}
}
@ARTICLE{LiSt:04,
  author = {P. Lietz and T. Streicher},
  title = {Impredicativity entails untypedness},
  journal = {Math.~Struct.~Comp.~Sc.},
  volume = {12},
  number = {3},
  year = {2002},
  pages = {335-347}
}
@INPROCEEDINGS{MRS:99,
  author = {M. Marz and A. Rohr and T. Streicher},
  title = {Full abstraction and universality via realisability},
  booktitle = {Proceedings of {LICS}'99},
  publisher = {IEEE Computer Soc},
  year = {1999},
  pages = {174-182}
}
@ARTICLE{Str:99a,
  author = {T. Streicher},
  title = {Denotational completness revisited},
  journal = {Electron.~Notes Theor.~Comp.~Sc.},
  volume = {29},
  year = {1999},
  pages = {288-300}
}
@ARTICLE{Str:99b,
  author = {T. Streicher},
  title = {Inductive construction of repletion},
  journal = {Appl.~Categ.~Struct.},
  volume = {7},
  number = {1-2},
  year = {1999},
  pages = {185-207}
}
@ARTICLE{ReSt:99,
  author = {B. Reus and T. Streicher},
  title = {General synthetic domain theory---a logical approach.},
  journal = {Math.~Structures Comput.~Sci.},
  volume = {210},
  number = {1},
  year = {1999},
  pages = {121-157}
}
@ARTICLE{EsSt:99,
  author = {M. Escard\'o and T. Streicher},
  title = {Induction and recursion on the partial real line 
             with applications to Real PCF.},
  journal = {Theoret.~Comp.~Sci.},
  volume = {9},
  number = {2},
  year = {1999},
  pages = {177-223}
}
@ARTICLE{ReSt:98,
  author = {B. Reus and T. Streicher},
  title = {Classical logic, continuation semantics and abstract machines},
  journal = {J.~Funct.~Prog.},
  volume = {8},
  number = {6},
  year = {1998},
  pages = {543-572}
}
@INCOLLECTION{HoSt:98,
  author = {M. Hofmann and T. Streicher},
  title = {The groupoid interpretation of type theory},
  booktitle = {Twenty-five years of constructive type theory},
  publisher = {Oxford University Press},
  series = {Oxford Logic Guides},
  volume = 36,
  pages = {83-111},
  year = 1998
}
@INPROCEEDINGS{ReSt:97,
  author = {B. Reus and T. Streicher},
  title = {General synthetic domain theory---a logical approach
                (extended abstract)},
  booktitle = {Proceedings of {CTCS}'96},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {1290},
  year = {1997},
  pages = {293-313}
}
@INPROCEEDINGS{AHS:96,
  author = {T. Altenkirch and M. Hofmann and T. Streicher},
  title = {Reduction-free normalisation for a polymorphic system},
  booktitle = {Proceedings of {LICS}'96},
  publisher = {IEEE Computer Soc},
  year = {1996},
  pages = {98-106}
}
@INPROCEEDINGS{AHS:95,
  author = {T. Altenkirch and M. Hofmann and T. Streicher},
  title = {Categorical reconstruction of a reduction free 
                normalization proof.},
  booktitle = {Proceedings of {CTCS}'95},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {953},
  year = {1995},
  pages = {182-199}
}
@INPROCEEDINGS{MSL:94,
  author = {A. M\"uck and T. Streicher and H. Lock},
  title = {A tiny constraint functional logic language 
                and its continuation semantics.},
  booktitle = {Proceedings of {ESOP}'94},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {788},
  year = {1994},
  pages = {439-453}
}
@ARTICLE{Str:94,
  author = {T. Streicher},
  title = {A universality theorem for PCF with recursive types, 
             parallel-or and $\exists$. },
  volume = {4},
  number = {1},
  year = {1994},
  pages = {111-115}
}
@ARTICLE{Str:92b,
  author = {T. Streicher},
  title = {Independence of the induction principle and the axiom of choice 
             in the pure calculus of constructions.},
  journal = {Theoret.~Comput.~Sc.},
  volume = {103},
  number = {2},
  year = {1992},
  pages = {395-408}
}
@ARTICLE{Str:92a,
  author = {T. Streicher},
  title = {Dependence and independence results for (impredicative) 
             calculi of dependent types.},
  journal = {Math.~Struct.~Comput.~Sc.},
  volume = {2},
  number = {1},
  year = {1992},
  pages = {29-54}
}
@INPROCEEDINGS{BrSt:92,
  author = {M. Broy and T. Streicher},
  title = {Modular functional modelling of Petri nets 
                with individual tokens. },
  booktitle = {Advances in Petri Nets 1992},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {609},
  year = {1992},
  pages = {70-88}
}
@BOOK{Str:91,
  author = {T.~Streicher},
  title = {Semantics of Type Theory},
  publisher = {Birkhaeuser Boston, Inc.},
  series = {Progress in Theoretical Computer Science},
  pages = {xii+298pp.},
  year = 1991
}
@BOOK{Str:06,
  author = {T.~Streicher},
  title = {Domain-theoretic Foundations of Functional Programming},
  publisher = {World Scientific},
  pages = {x + 120pp.},
  year = 2006
}
@INPROCEEDINGS{JMS:91,
  author = {B. Jacobs and E. Moggi and T. Streicher},
  title = {Relating models of impredicative type theories.},
  booktitle = {Proceedings of {CTCS}'91},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {530},
  year = {1991},
  pages = {197-218}
}
@ARTICLE{BrSt:91,
  author = {M. Broy and T. Streicher},
  title = {Specification and design of shared resource arbitration.},
  journal = {Int.~J.~Parallel Program.},
  volume = {20},
  number = {1},
  year = {1991},
  pages = {1-22}
}
@INPROCEEDINGS{Str:89,
  author = {T. Streicher},
  title = {Independence results for calculi of dependent types.},
  booktitle = {Proceedings of {CTCS}'89},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {389},
  year = {1989},
  pages = {141-154}
}
@INPROCEEDINGS{BrSt:87,
  author = {M. Broy and T. Streicher},
  title = {Views of distributed systems.},
  booktitle = {Mathematical models for the semantics of parallelism},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {280},
  year = {1987},
  pages = {114-143}
}
@TECHREPORT{OttoNote:04b,
  author = {Otto, Martin},
  title = {Elementary proof of the 
               {van Benthem-Rosen} characterisation theorem},
  institution = {Department of Mathematics, 
                  Darmstadt University of Technology},
  number = {2342},
  year = {2004}
}
@ARTICLE{Otto:04a,
  author = {Otto, Martin},
  title = {Modal and guarded characterisation theorems over finite 
            transition systems},
  journal = {Annals of Pure and Applied Logic},
  volume = {130},
  year = {2004},
  pages = {173-205}
}
@ARTICLE{HoOt:01,
  author = {Hodkinson, Ian and Otto, Martin},
  title = {Finite conformal hypergraph covers and
                 {G}aifman cliques in finite structures},
  journal = {The Bulletin of Symbolic Logic},
  volume = {9},
  year = {2003},
  pages = {387--405}
}
@INPROCEEDINGS{KOS:07,
  author = {Kreutzer, Stephan and Otto, Martin and Schweikardt, Nicole},
  title = {Boundedness of monadic {FO} over acyclic structures},
  booktitle = {Proceedings of {ICALP}'2007},
  publisher = {Springer-Verlag},
  series = {{LNCS}},
  year = {2007},
  volume = {4596},
  pages = {571-582},
  editor = {Arge and others}
}
@INPROCEEDINGS{HMO:99,
  author = {Hoogland, Eva and Marx, Marten and Otto, Martin},
  title = {{B}eth definability for the guarded fragment},
  booktitle = {Proceedings of {LPAR}'99},
  publisher = {Springer-Verlag},
  series = {{LNAI}},
  volume = {1705},
  year = {1999},
  pages = {273-285},
  note = {See also in: 
                JFAK. Essays Dedicated to Johan van Benthem 
                on the Occasion of his 50th Birthday, J.
                Gebrandy, M. Marx, M. de Rijke and Y. Venema (ed.), 
                CD-ROM, Amsterdam University Press 1999. }
}
@ARTICLE{GHO:02,
  author = {Gr\"adel, Erich and Hirsch, Colin and Otto, Martin},
  title = {Back and forth between guarded and modal logics},
  journal = {ACM Transactions on Computational Logic},
  volume = {3},
  year = {2002},
  pages = {418-463}
}
@INPROCEEDINGS{GHO:00,
  author = {Gr\"adel, Erich and Hirsch, Colin and Otto, Martin},
  title = {Back and forth between guarded and modal logics},
  booktitle = {Proceedings of 15th {IEEE} Symposium on Logic in Computer Science
              {LICS}'00},
  year = {2000},
  pages = {217-228}
}
@ARTICLE{Otto:00b,
  author = {Otto, Martin},
  title = {An interpolation theorem},
  journal = {Bulletin of Symbolic Logic},
  volume = {6},
  year = {2000},
  pages = {447-462}
}
@ARTICLE{Otto:00a,
  author = {Otto, Martin},
  title = {Epsilon-logic is more expressive than first-order logic
               over finite structures},
  journal = {Journal of Symbolic Logic},
  volume = {65},
  year = {2000},
  pages = {1749-1757}
}
@ARTICLE{Otto:01,
  author = {Otto, Martin},
  title = {Two-variable first-order logic over ordered domains},
  journal = {Journal of Symbolic Logic},
  volume = 66,
  year = 2001,
  pages = {685-702}
}
@ARTICLE{Otto:99a,
  author = {Otto, Martin},
  title = {Bisimulation-invariant {P}time and higher-dimensional
                 mu-calculus},
  journal = {Theoretical Computer Science},
  volume = {224},
  year = {1999},
  pages = {237-265}
}
@INPROCEEDINGS{Otto:99b,
  author = {Otto, Martin},
  title = {Eliminating recursion in the mu-calculus},
  booktitle = {Proceedings of {STACS}'99},
  publisher = {Springer-Verlag},
  series = {{LNCS}},
  volume = {1563},
  editor = {C. Meinel and S. Tison},
  year = {1999},
  pages = {531-540}
}
@ARTICLE{GrOt:99,
  author = {Gr{\"a}del, Erich and Otto, Martin},
  title = {On logics with two variables},
  journal = {Theoretical Computer Science},
  volume = {224},
  year = {1999},
  pages = {73--113}
}
@ARTICLE{GrOtRo:99,
  author = {Gr{\"a}del, Erich and Otto, Martin and Rosen, Eric},
  title = {Undecidability results for two-variable logics},
  journal = {Archive for Mathematical Logic},
  volume = {38},
  year = {1999},
  pages = {313--354}
}
@ARTICLE{Otto:99c,
  author = {Otto, Martin},
  title = {Bounded-variable logics: two, three, and more},
  journal = {Archive for Mathematical Logic},
  volume = {38},
  year = {1999},
  pages = {235-256}
}
@ARTICLE{Otto92,
  author = {Otto, Martin},
  title = {Automorphism properties of stationary logic},
  journal = {Journal of Symbolic Logic},
  volume = {57},
  year = {1992},
  pages = {231-237}
}
@ARTICLE{Otto92b,
  author = {Otto, Martin},
  title = {{EM} functors for a class of generalized quantifiers},
  journal = {Archive for Mathematical Logic},
  volume = {31},
  year = {1992},
  pages = {355-371}
}
@ARTICLE{Otto95c,
  author = {Otto, Martin},
  title = {Note on the number of monadic quantifiers in monadic
                 $\Sigma^1_1$},
  journal = {Information Processing Letters},
  volume = {53},
  year = {1995},
  pages = {337-339}
}
@ARTICLE{Otto97a,
  author = {Otto, Martin},
  title = {Canonization for two variables and puzzles
              on the square},
  journal = {Annals of Pure and Applied Logic},
  volume = {85},
  year = {1997},
  pages = {243-282}
}
@ARTICLE{Otto97b,
  author = {Otto, Martin},
  title = {{The logic of explicitly representation-invariant circuits}},
  booktitle = {Selected Papers of CSL `96},
  editor = {D.~van~Dalen and M.~Bezem},
  publisher = {Springer-Verlag},
  series = {{LNCS}},
  volume = {1258},
  year = {1997},
  pages = {369-384}
}
@ARTICLE{OtVa96,
  author = {Otto, Martin and Van den Bussche, Jan},
  title = {First-order queries on databases embedded in an
                infinite structure},
  journal = {Information Processing Letters},
  volume = {60},
  year = {1996},
  pages = {37-41}
}
@INPROCEEDINGS{Otto97c,
  author = {Otto, Martin},
  title = {Capturing bisimulation-invariant {P}time},
  booktitle = {Proceedings of 4th Symposium on Logical Foundations of
               Computer Science, LFCS `97},
  publisher = {Springer-Verlag},
  series = {{LNCS}},
  volume = {1234},
  year = {1997},
  pages = {294-305}
}
@INPROCEEDINGS{Otto95d,
  author = {Otto, Martin},
  title = {Ptime canonization for two variables with counting},
  booktitle = {Proceedings of 10th IEEE Symposium on Logic in Computer Science
               LICS `95},
  year = {1995},
  pages = {342-352}
}
@ARTICLE{Otto96,
  author = {Otto, Martin},
  title = {The expressive power of fixed-point logic with
              counting},
  journal = {Journal of Symbolic Logic},
  volume = {61},
  year = {1996},
  pages = {147-176}
}
@INPROCEEDINGS{Otto94,
  author = {Otto, Martin},
  title = {Generalized quantifiers for simple properties},
  booktitle = {Proceedings of 9th IEEE Symposium on Logic in Computer Science
               LICS `94},
  year = {1994},
  pages = {30-39}
}
@INPROCEEDINGS{KolaitisOtto98,
  author = {Kolaitis, Phokion and Otto, Martin},
  title = {On the boundedness problem for two-variable
                 first-order logic},
  booktitle = {Proceedings of IEEE Symposium on Logic in Computer Science
                 LICS `98},
  year = {1998},
  pages = {513-524}
}
@ARTICLE{NeOtTyVa00,
  author = {Neven, Frank and Otto, Martin and Tyszkiewicz, Jerzy and
Van den Bussche, Jan},
  title = {Adding {FOR}-loops to first-order logic},
  journal = {Information and Computation},
  year = {2001},
  volume = {168},
  pages = {156-186},
  note = {proceedings version in:
              ICDT'99, LNCS 1540, 1999, pp. 58-69}
}
@INPROCEEDINGS{NeOtTyVa99,
  author = {Neven, Frank and Otto, Martin and Tyszkiewicz, Jerzy and 
Van den Bussche, Jan},
  title = {Adding {FOR}-loops to first-order logic},
  booktitle = {Proceedings of ICDT'99},
  publisher = {Springer-Verlag},
  series = {{LNCS}},
  volume = {1540},
  year = {1999},
  pages = {58-69}
}
@ARTICLE{Otto87,
  author = {Otto, Martin},
  title = {A reduction scheme for phase spaces with almost-{K}{\"a}hler
             symmetry - regularity results for momentum level sets},
  journal = {Journal of Geometry and Physics},
  volume = {4},
  year = {1987},
  pages = {101-118}
}
@INPROCEEDINGS{Otto:02b,
  author = {Otto, Martin},
  title = {Modal and guarded characterisation theorems over finite 
            transition systems},
  booktitle = {Proceedings of 17th {IEEE} Symposium on Logic in Computer Science
               {LICS}'02},
  year = {2002},
  pages = {371-380}
}
@INCOLLECTION{Otto:06a,
  author = {Otto, Martin},
  title = {Bisimulation invariance and finite models},
  year = {2006},
  booktitle = {Logic Colloquium '02},
  series = {Lecture Notes in Logic},
  publisher = {ASL},
  editor = {Z. Chatzidakis and P. Koepke and W. Pohlers}
}
@INCOLLECTION{Otto:06,
  author = {Goranko, Valentin and Otto, Martin},
  title = {Model Theory of Modal Logic},
  booktitle = {Handbook of Modal Logic},
  pages = {255-325},
  publisher = {Elsevier},
  year = {2006},
  editor = {P. Blackburn and F. Wolter and J. van Benthem}
}
@INPROCEEDINGS{DaOt:05b,
  author = {Dawar, Anuj and Otto, Martin},
  title = {Modal characterisation theorems over special classes of frames},
  booktitle = {Proceedings of 20th {IEEE} Symposium on Logic in Computer Science
               {LICS}'05},
  year = {2005},
  pages = {21-30}
}
@INPROCEEDINGS{Otto06,
  author = {Otto, Martin},
  title = {The boundedness problem for monadic universal first-order logic},
  booktitle = {Proceedings of 21st {IEEE} Symposium on Logic in Computer Science
               {LICS}'06},
  year = {2006},
  pages = {37-46}
}
@INPROCEEDINGS{KiOt:05c,
  author = {Kieronski, Emanuel and Otto, Martin},
  title = {Small substructures and decidability issues for two-variable first-order logic},
  booktitle = {Proceedings of 20th {IEEE} Symposium on Logic in 
             Computer Science {LICS}'05},
  year = {2005},
  pages = {448-457}
}
@BOOK{Otto97,
  author = {Otto, Martin},
  title = {Bounded variable logics and counting 
               -- {A} study in finite models},
  booktitle = {Lecture Notes in Logic},
  volume = {9},
  publisher = {Springer-Verlag},
  year = {1997},
  note = {IX+183 pages}
}
@INPROCEEDINGS{KohLICS:04,
  author = {Akama, Yohji and Berardi, Stefano and Hayashi, Susumu and 
             Kohlenbach, Ulrich},
  title = {An arithmetical hierarchy of the law of excluded middle 
              and related principles},
  editor = {Ganzinger, H.},
  booktitle = {Proc. of the 19th Annual IEEE Symposium on Logic in Computer 
               Science (LICS 2004)},
  publisher = {IEEE Computer Society Press},
  pages = {192-201},
  year = 2004
}
@INPROCEEDINGS{CEK:06,
  author = {Cohen, Ben and Escardo, Martin and Keimel, Klaus},
  title = {The extended probabilistic power domain monad over 
             stably compact spaces},
  editor = {Cai, Jin-Yi and Cooper, S. Barry and Li, Angsheng},
  booktitle = {Proceedings of TAMC 2006: Theory and Applications of 
             Models of Computation},
  year = 2006,
  series = {Lecture Notes in Computer Science},
  volume = 3959,
  publisher = {Springer Verlag},
  pages = {566--575}
}
@ARTICLE{KKa:08,
  author = {Keimel, Klaus},
  title = {The Monad of Probability Measures over Compact Ordered Spaces
             and its Eilenberg-Moore Algebras},
  journal = {Topology and its Applications},
  volume = {to appear},
  pages = {18 pages},
  year = {2008}
}
@ARTICLE{KK:08,
  author = {Keimel, Klaus},
  title = {Topological Cones: functional Analysis in a T$_0$-Setting},
  journal = {Semigroup Forum},
  volume = {77},
  pages = {108--142},
  year = {2008}
}
@ARTICLE{KS:08,
  author = {Keimel, Klaus and Streicher, Thomas},
  title = {Predicate transformer semantics},
  journal = {Annals of Pure and Applied Logic},
  volume = {to appear},
  pages = {20 pages},
  year = {2008}
}
@ARTICLE{AK:06,
  author = {Abbes, Samy and Keimel, Klaus},
  title = {Projective topology on bifinite domains and applications},
  journal = {Theoretical Computer Science},
  volume = {365},
  pages = {171--183},
  year = {2006}
}
@BOOK{GHK:03,
  author = {Gierz, Gerhard and Hofmann, Karl Heinrich and Keimel, Klaus  
            and Lawson, Jimmie D. and Mislove, Michael and Scott, Dana S.},
  title = {Continuous {L}attices and {D}omains},
  publisher = {Cambridge University Press},
  series = { Encyclopedia of Mathematics and its Applications},
  volume = 93,
  pages = {xxxvi+591 pp.},
  year = 2003
}
@ARTICLE{HJK:00,
  author = {Huth, Michael and Jung, Achim and Keimel, Klaus},
  title = {Linear types, approximation, and topology},
  journal = {Mathematical Structures in Computer Science},
  volume = 10,
  pages = {719--746},
  year = 2000
}
@ARTICLE{KK:06,
  author = {Keimel, Klaus},
  title = {Topological cones: Foundations for a domain theoretical 
             semantics combining probability and nondeterminism},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = 155,
  pages = {423--443},
  year = 2006
}
@BOOK{KR:92,
  author = {Keimel, Klaus and Roth, Walter},
  title = {Ordered {C}ones and {A}pproximation},
  publisher = {Springer Verlag},
  series = {Lectures Notes in Mathematics},
  volume = 1517,
  pages = {vi+134 pp.},
  year = 1992
}
@ARTICLE{Keimellawson:05,
  author = {Keimel, Klaus and Lawson, Jimmie D.},
  title = {Measure extension theorems for $T_0$-spaces},
  journal = {{Topology and its Applications}},
  volume = 149,
  pages = {57--83},
  year = 2005
}
@ARTICLE{tkp:05,
  author = {Tix, Regina and Keimel, Klaus and Plotkin, Gordon D.},
  title = {Semantic Domains for Combining Probability and Non-Determinism},
  journal = {{Electronic Notes in Theoretical Computer Science}},
  volume = 129,
  pages = {1--104},
  year = 2005
}
@ARTICLE{GeoLeuPre:05,
  author = {Georgescu, George and Leu\c stean, Lauren\c tiu and Preoteasa, Viorel},
  title = {Pseudo-hoops},
  journal = {Journal of Multiple-Valued Logic and Soft Computing},
  volume = 11,
  number = {1--2},
  pages = {153--184},
  year = 2005
}
@ARTICLE{GeoLeu:02,
  author = {Georgescu, George and Leu\c stean,Lauren\c tiu},
  title = {Some classes of pseudo-BL algebras},
  journal = {Journal of Australian Mathematical Society},
  volume = 73,
  number = 1,
  pages = {127--153},
  year = 2002
}
@MISC{Gerh:03,
  author = {Gerhardy, Philipp},
  title = {{I}mproved {C}omplexity {A}nalysis of {C}ut {E}limination
                  and {H}erbrand's {T}heorem},
  year = 2003,
  howpublished = {Master's thesis, Aarhus}
}
@INPROCEEDINGS{Gerh:03a,
  author = {Gerhardy, Philipp},
  title = {{R}efined {C}omplexity {A}nalysis of {C}ut {E}limination},
  editor = {Baaz, Matthias and Makovsky, Johann},
  booktitle = {Proceedings of the 17th International Workshop CSL 2003},
  publisher = {Springer-Verlag, Berlin},
  series = {LNCS},
  volume = {2803},
  pages = {212--225},
  year = 2003
}
@ARTICLE{Gerh:04,
  author = {Gerhardy, Philipp},
  title = {{T}he {R}ole of {Q}uantifier {A}lternations in {C}ut
                  {E}limination},
  journal = {Notre Dame Journal of Formal Logic},
  volume = 46,
  pages = {165-171},
  year = 2005
}
@ARTICLE{Gerh:05,
  author = {Gerhardy, Philipp},
  title = {{A} quantitative version of {K}irk's fixed point theorem
                  for asymptotic contractions},
  journal = {J. Math. Anal. Appl.},
  volume = 316,
  pages = {339-345},
  year = 2006
}
@ARTICLE{GerKoh:04,
  author = {Gerhardy, Philipp and Kohlenbach, Ulrich},
  title = {{E}xtracting {H}erbrand {D}isjuntions by {F}unctional
                  {I}nterpretation},
  journal = {Arch. Math. Logic},
  volume = 44,
  pages = {633-644},
  year = {2005}
}
@ARTICLE{GerKoh:04a,
  author = {Gerhardy, Philipp and Kohlenbach, Ulrich},
  title = {{S}trongly uniform bounds from semi-constructive proofs},
  journal = {Ann. Pure Appl. Logic},
  volume = 141,
  pages = {89-107},
  year = {2006}
}
@ARTICLE{GerKoh:06,
  author = {Gerhardy, Philipp and Kohlenbach, Ulrich},
  title = {{G}eneral logical metatheorems for functional analysis},
  journal = {Trans. Amer. Math. Soc.},
  year = {2007}
}
@ARTICLE{Koh:wollic06,
  author = {Kohlenbach, Ulrich},
  title = {A logical uniform boundedness principle for abstract 
             metric and hyperbolic spaces},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = 165,
  pages = {81-93},
  year = {2006}
}
@ARTICLE{GerKoh:05,
  author = {Gerhardy, Philipp and Kohlenbach, Ulrich},
  title = {{G}eneral {L}ogical {M}etatheorems for {F}unctional
                  {A}nalysis},
  journal = {BRICS Research Report},
  volume = 21,
  pages = {65pp.},
  year = {2005}
}
@ARTICLE{HeKo:03,
  author = {Hernest, Mircea-Dan and Kohlenbach, Ulrich},
  title = {{A} {C}omplexity {A}nalysis of {F}unctional
                  {I}nterpretations},
  journal = {Theoretical Computer Science},
  volume = 338,
  pages = {200-246},
  year = 2005
}
@ARTICLE{Koh:00,
  author = {Kohlenbach, Ulrich},
  title = {{T}hings that can and things that can't be done 
               in {PRA}},
  journal = {Annals of Pure and Applied Logic},
  volume = 102,
  pages = {223--245},
  year = 2000
}
@ARTICLE{Koh:01,
  author = {Kohlenbach, Ulrich},
  title = {{A} note on {S}pector's quantifier-free rule of
                  extensionality},
  journal = {Arch. Math. Logic},
  volume = 40,
  pages = {89--92},
  year = 2001
}
@ARTICLE{Koh:01b,
  author = {Kohlenbach, Ulrich},
  title = {{A} quantitative version of a theorem due to
                  {B}orwein-{R}eich-{S}hafrir},
  journal = {Numer. Funct. Anal. and Optimiz.},
  volume = 22,
  pages = {641--656},
  year = 2001
}
@INPROCEEDINGS{Koh:01c,
  author = {Kohlenbach, Ulrich},
  title = {On the computational content of the Krasnoselski and 
              Ishikawa fixed point theorems},
  editor = {Blanck, J. and Brattka, V. and Hertling, P.},
  booktitle = {Proc. of the Fourth Workshop on Computability and 
             Complexity in Analysis},
  publisher = {Spinger Lecture Notes in Computer Science LNCS 2064},
  pages = {119-145},
  year = 2001
}
@INCOLLECTION{Koh:cie,
  author = {Kohlenbach, Ulrich},
  title = {Effective bounds from proofs in abstract functional analysis},
  editor = {Cooper, B. and Loewe, B. and Sorbi, A.},
  booktitle = {New Computational Paradigms. Changing Conceptions 
             of What is Computable},
  publisher = {Springer Publishers},
  pages = {223-258},
  year = 2008
}
@INCOLLECTION{Koh:07g,
  author = {Kohlenbach, Ulrich},
  title = {{I}interview on the Philosophy of Mathematics},
  editor = {Henricks, V. and Leitgeb, H.},
  booktitle = {Philosophy of Mathematics: 5 Questions},
  publisher = {Automatic Press/VIP},
  pages = {183-190},
  year = 2008
}
@INCOLLECTION{Koh:centenary,
  author = {Kohlenbach, Ulrich},
  title = {{G}oedel's functional interpretation and its use in current 
             mathematics},
  editor = {Matthias Baaz},
  booktitle = {Horizons of Truth: Goedel Centenary},
  publisher = {Cambridge University Press},
  note = {Reprinted in: dialectica Vol. 62, no. 2, pp. 223-267 (2008)},
  year = 2008
}
@BOOK{Kohlenbach:08a,
  author = {Kohlenbach, Ulrich},
  title = {Applied Proof Theory: Proof Interpretations and their Use in 
             Mathematics},
  publisher = {Springer Verlag},
  series = {Springer Monographs in Mathematics},
  pages = {xx+536 pp.},
  year = 2008
}
@ARTICLE{Koh:01d,
  author = {Kohlenbach, Ulrich},
  title = {{I}ntuitionistic choice and restricted classical logic},
  journal = {Math. Logic Quaterly},
  volume = 47,
  pages = {455--460},
  year = 2001
}
@ARTICLE{Koh:08x,
  author = {Kohlenbach, Ulrich},
  title = {{H}erbrand's theorem and extractive proof theory},
  journal = {SMF - Gazette des Mathematiciens},
  volume = 118,
  pages = {29--41},
  year = 2001
}
@ARTICLE{Koh:02,
  author = {Kohlenbach, Ulrich},
  title = {{O}n uniform weak {K}{\"o}nig's lemma},
  journal = {Annals of Pure and Applied Logic},
  volume = 114,
  pages = {103--116},
  year = 2002
}
@ARTICLE{Koh:02b,
  author = {Kohlenbach, Ulrich},
  title = {{O}n weak {M}arkov's principle},
  journal = {Math. Logic Quaterly},
  volume = {48, supp.1},
  pages = {59-65},
  year = 2002
}
@ARTICLE{Koh:02c,
  author = {Kohlenbach, Ulrich},
  title = {{A}pplied foundations: proof mining in analysis},
  journal = {Newsletter of the Danish Mathematical Society (Mathilde)},
  volume = 13,
  pages = {7--9},
  year = 2002
}
@INCOLLECTION{Koh:02d,
  author = {Kohlenbach, Ulrich},
  title = {{F}oundational and mathematical uses of higher types},
  editor = {Sieg, W. and Sommer, R. and Talcott, C.},
  booktitle = {Reflections on the Foundations of Mathematics: 
               Essays in Honor of Solomon Feferman. },
  publisher = {ASL and A K Peters},
  series = {Lecture Notes in Logic},
  volume = 15,
  pages = {92-116},
  year = 2002
}
@ARTICLE{Koh:03,
  author = {Kohlenbach, Ulrich},
  title = {{S}ome {L}ogical {M}etatheorems with {A}pplications in
                  {F}unctional {A}nalysis},
  journal = {Trans. Amer. Math. Soc.},
  volume = 357,
  pages = {89--128},
  year = 2005
}
@ARTICLE{Koh:03a,
  author = {Kohlenbach, Ulrich},
  title = {{U}niform asymptotic regularity for {M}ann iterates},
  journal = {J. Math. Anal. Appl.},
  volume = 279,
  pages = {531--544},
  year = 2003
}
@MISC{Koh:03b,
  author = {Kohlenbach, Ulrich},
  title = {Proof Interpretations and the Computational Content of
                  Proofs},
  note = {Draft, December 2005, ii+395pp,
  http://www.mathematik.tu-darmstadt.de/{$\sim$}kohlenbach/newcourse.ps.gz},
  year = 2005
}
@ARTICLE{Koh:04,
  author = {Kohlenbach, Ulrich},
  title = {Some computational aspects of metric fixed point theory},
  journal = {Nonlinear Analysis},
  volume = 61,
  pages = {823-837},
  year = 2005
}
@INCOLLECTION{Koh:05a,
  author = {Kohlenbach, Ulrich},
  title = {Higher order reverse mathematics},
  editor = {Simpson, S.G.},
  booktitle = {Reverse Mathematics 2001},
  publisher = {ASL and A K Peters},
  series = {Lecture Notes in Logic},
  volume = 21,
  pages = {281-295},
  year = 2005
}
@INPROCEEDINGS{KohLam:04,
  author = {Kohlenbach, Ulrich and Lambov, Branimir},
  title = {Bounds on iterations of asymptotically
                  quasi-non-expansive mappings},
  editor = {Falset, J.G. and Fuster, E.L. and Sims, B.},
  booktitle = {Proc. International Conference on Fixed Point Theory and
                  Applications, Valencia 2003},
  publisher = {Yokohama Publishers},
  pages = {143--172},
  year = 2004
}
@INPROCEEDINGS{KohLeu:06a,
  author = {Kohlenbach, Ulrich and Leu\c stean, Lauren\c tiu},
  title = {Approximate fixed points of nonexpansive functions in product spaces},
  booktitle = {Mathematics, Algorithms, Proofs},
  editor = {Thierry Coquand and Henri Lombardi and Marie-Fran{\c{c}}oise Roy},
  number = 05021,
  series = {Dagstuhl Seminar Proceedings},
  publisher = {Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany},
  year = 2006,
  optaddress = {Dagstuhl, Germany},
  opturl = {http://drops.dagstuhl.de/opus/volltexte/2006/433
                 [date of citation: 2006-01-01]},
  note = {$<$http://drops.dagstuhl.de/opus/volltexte/2006/433$>$
                 [date of citation: 2006-01-01]}
}
@ARTICLE{StreiKoh:07a,
  author = {Streicher, Thomas and Kohlenbach, Ulrich},
  title = {Shoenfield is Goedel after Krivine},
  journal = {Mathematical Logic Quarterly},
  volume = 53,
  pages = {176-179},
  year = 2007
}
@ARTICLE{Koh:07h,
  author = {Kohlenbach, Ulrich},
  title = {Proof interpretations and the computational content of 
              proofs in mathematics},
  journal = {Bulletin EATCS},
  volume = 93,
  pages = {143-173},
  year = 2007
}
@INPROCEEDINGS{Koh:05b,
  author = {Kohlenbach, Ulrich},
  title = {Proof  mining in functional analysis (abstract)},
  editor = {Cooper, S.B. and Loewe, B. and Torenvliet, L.},
  booktitle = {CiE 2005},
  publisher = {Springer Verlag},
  series = {LNCS},
  pages = {233--234},
  year = 2005
}
@ARTICLE{KohOl:03,
  author = {Kohlenbach, Ulrich and Oliva, Paulo},
  title = {{P}roof {M}ining: {A} {S}ystematic {W}ay of {A}nalyzing
                  {P}roofs in {M}athematics},
  journal = {Proc. Steklov Inst. Math},
  volume = 242,
  pages = {136--164},
  year = 2003
}
@ARTICLE{ajk:04,
  author = {Alvarez Manilla, Mauricio and Jung, Achim and Keimel, Klaus},
  title = {Valuations and measures on stably compact spaces},
  journal = {Theoretical Computer Science},
  volume = 328,
  pages = {221--244},
  year = 2004
}
@ARTICLE{Kei:04,
  author = {Keimel, Klaus},
  title = {The probabilistic powerdomain for the upwards topology of a
             compact ordered space},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = 87,
  pages = {225--238},
  year = 2004
}
@ARTICLE{Kel:04,
  author = {Keimel, Klaus and Liang, Ji-Hua},
  title = {Order environments of topological spaces},
  journal = {Acta Mathematica Sinica},
  volume = 20,
  pages = {943--948},
  year = 2004
}
@ARTICLE{Kei:99,
  author = {Keimel, Klaus and Liang, Ji-Hua},
  title = {Compact continuous L-domains},
  journal = {Computers and Mathematics with Applications},
  volume = 38,
  pages = {81--89},
  year = 1999
}
@ARTICLE{Kei:98,
  author = {Keimel, Klaus},
  title = {Bi-continuous valuations},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = 13,
  pages = {},
  year = 1998
}
@ARTICLE{KEE:98,
  author = {Erker, Thomas and Escardo, Mart\'in and Keimel, Klaus},
  title = {The way-below relation of function spaces over semantic domains},
  journal = {Topology and its applications},
  volume = 89,
  pages = {61--74},
  year = 1998
}
@INPROCEEDINGS{Kei:95,
  author = {Keimel, Klaus},
  title = {Some trends in lattice-ordered groups and rings},
  editor = {Baker, K.A. and Wille, R.},
  booktitle = {Lattice Theory and its Applications},
  publisher = {Heldermann Verlag},
  pages = {131--161},
  year = 1995
}
@ARTICLE{KP:07,
  author = {Keimel, Klaus and Plotkin, Gordon D.},
  title = {Predicate transformers for convex powerdomains},
  journal = {submitted},
  volume = ?,
  pages = {40pp.},
  year = 2007
}
@ARTICLE{KL:08,
  author = {Keimel, Klaus and Lawson, Jimmie D.},
  title = {$D$-completions and the $d$-topology},
  journal = {Annals of Pure and Applied Logic},
  volume = {to appear},
  pages = {27pp.},
  year = 2008
}
@ARTICLE{KohOl:03a,
  author = {Kohlenbach, Ulrich and Oliva, Paulo},
  title = {{P}roof mining in {L}$_1$-approximation},
  journal = {Annals of Pure and Applied Logic},
  volume = 121,
  pages = {1--38},
  year = 2003
}
@ARTICLE{Koh:99a,
  author = {Kohlenbach, Ulrich},
  title = {{O}n the no-counterexample interpretation},
  journal = {J. Symbolic Logic},
  volume = 64,
  pages = {1491--1511},
  year = 1999
}
@ARTICLE{Koh:99b,
  author = {Kohlenbach, Ulrich},
  title = {{A} note on {G}oodman's theorem},
  journal = {Studia Logica},
  volume = 63,
  pages = {1--5},
  year = 1999
}
@INPROCEEDINGS{Koh:99c,
  author = {Kohlenbach, Ulrich},
  title = {The use of a logical principle of uniform boundedness in analysis},
  editor = {Cantini A. and Casari, E. and Minari, P.},
  booktitle = {Logic and Foundations of Mathematics. Synthese Library 280},
  publisher = {Kluwer Academic Publishers},
  pages = {93--106},
  year = 1999
}
@ARTICLE{Koh:98a,
  author = {Kohlenbach, Ulrich},
  title = {On the arithmetical content of restricted forms of 
             comprehension, choice and general uniform boundedness},
  journal = {Annals of Pure and Applied Logic},
  volume = 95,
  pages = {257--285},
  year = 1998
}
@ARTICLE{Koh:98b,
  author = {Kohlenbach, Ulrich},
  title = {Relative constructivity},
  journal = {Journal of Symbolic Logic},
  volume = 63,
  pages = {1218--1238},
  year = 1998
}
@ARTICLE{Koh:98c,
  author = {Kohlenbach, Ulrich},
  title = {Proof theory and computational analysis},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = 13,
  pages = {34pp.},
  year = 1998
}
@ARTICLE{Koh:98d,
  author = {Kohlenbach, Ulrich},
  title = {Elimination of Skolem functions for monotone formulas in 
             analysis},
  journal = {Arch. Math. Logic},
  volume = 37,
  pages = {363--390},
  year = 1998
}
@INPROCEEDINGS{Koh:98e,
  author = {Kohlenbach, Ulrich},
  title = {Arithmetizing proofs in analysis},
  editor = {Larrazabal, J.M. and Lascar, D. and Mints, G.},
  booktitle = {Proceeedings of the Logic Colloquium'96},
  series = {Lecture Notes in Logic},
  publisher = {Springerverlag},
  pages = {115--158},
  year = 1998
}
@ARTICLE{Koh:96a,
  author = {Kohlenbach, Ulrich},
  title = {Mathematically strong subystems of analysis with low 
             rate of growth of provably recursive functionals},
  journal = {Arch. Math. Logic},
  volume = 36,
  pages = {31--71},
  year = 1996
}
@INPROCEEDINGS{Koh:96b,
  author = {Kohlenbach, Ulrich},
  title = {Analysing proofs in analysis},
  editor = {Hodges, W. and Hyland, M. and Steinhorn C. and Truss, J.},
  booktitle = {Logic: from foundations to applications. 
             Proceeedings of the Logic Colloquium'93},
  publisher = {Oxford University Press},
  pages = {225--260},
  year = 1996
}
@ARTICLE{Koh:95a,
  author = {Kohlenbach, Ulrich},
  title = {A note on the $\Pi^0_2$-induction rule},
  journal = {Arch. Math. Logic},
  volume = 34,
  pages = {279--283},
  year = 1995
}
@ARTICLE{Koh:93a,
  author = {Kohlenbach, Ulrich},
  title = {Effective moduli from ineffective uniqueness proofs. 
             An unwinding of de La Vallee Poussin's proof for 
             Chebycheff approximation},
  journal = {Annals of Pure and Logic},
  volume = 64,
  pages = {27--94},
  year = 1993
}
@ARTICLE{Koh:93b,
  author = {Kohlenbach, Ulrich},
  title = {New effective moduli of uniqueness and uniform a-priori 
             estimates for constants of strong unicity by logical 
             analysis of known proofs in best approximation theory},
  journal = {Numerical Functional Analysis and Optimization},
  volume = 14,
  pages = {581--606},
  year = 1993
}
@ARTICLE{Koh:92a,
  author = {Kohlenbach, Ulrich},
  title = {Remarks on Herbrand normal forms and Herbrand Realizations},
  journal = {Arch. Math. Logic},
  volume = 31,
  pages = {305--317},
  year = 1992
}
@ARTICLE{Koh:92b,
  author = {Kohlenbach, Ulrich},
  title = {Pointwise hereditary majorization and some applications},
  journal = {Arch. Math. Logic},
  volume = 31,
  pages = {227--241},
  year = 1992
}
@ARTICLE{Koh:92c,
  author = {Kohlenbach, Ulrich},
  title = {Effective bounds from ineffective proofs in analysis: 
             an application of functional interpretation and majorization},
  journal = {Journal of Symbolic Logic},
  volume = 57,
  pages = {1239--1273},
  year = 1992
}
@ARTICLE{KohLeu:03,
  author = {Kohlenbach, Ulrich and Leu\c stean, Laurentiu},
  title = {{M}ann iterates of directionally nonexpansive mappings in
                  hyperbolic spaces},
  journal = {Abstract and Applied Analysis},
  volume = 8,
  pages = {449--477},
  year = 2003
}
@MISC{KohLeu:05b,
  author = {Kohlenbach, Ulrich and Leu\c stean, Laurentiu},
  title = {Approximate fixed point property in product spaces (abstract)},
  note = {In Oberwolfach Report 14/2005, Mathematisches Forschungsinstitut Oberwolfach, Workshop Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics, March 20-26 2005, 795-797},
  year = 2005
}
@ARTICLE{KohLeu:07a,
  author = {Kohlenbach, Ulrich and Leu\c stean, Lauren\c tiu},
  title = {Approximate fixed points of nonexpansive functions in product spaces},
  journal = {Nonlinear Analysis},
  volume = 66,
  pages = {806-818},
  year = 2007
}
@ARTICLE{KohLeu:07b,
  author = {Kohlenbach, Ulrich and Leu\c stean, Lauren\c tiu},
  title = { Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces},
  journal = {Journal of the European Mathematical Society},
  note = {to appear},
  number = { },
  year = 2008
}
@ARTICLE{KohLeu:08y,
  author = {Kohlenbach, Ulrich and Leu\c stean, Lauren\c tiu},
  title = {A quantitative Mean Ergodic Theorem for uniformly convex 
Banach spaces},
  journal = {Ergodic Theory and Dynamical Systems},
  note = {to appear},
  number = { },
  year = 2008
}
@INPROCEEDINGS{BarLeu:00,
  author = {Barb\u alat\u a, Costel and Leu\c stean, Lauren\c tiu},
  title = {Applications of feed-forward neural networks to ecological phenomena forecasting},
  editor = {Ioni\c t a, Angela},
  booktitle = {Proceedings of ICTPA'2000, Bucharest, Romania, October 18-20},
  year = 2000
}
@MISC{BarLeu:04,
  author = {Barb\u alat\u a, Costel and Leu\c stean, Lauren\c tiu},
  title = {Average monthly liquid flow forecasting using neural networks},
  note = {draft},
  year = 2004
}
@ARTICLE{DiNoGeoLeu:00,
  author = {Di Nola, Antonio and Georgescu, George and  Leu\c stean, Lauren\c tiu},
  title = {Boolean products of BL-algebras},
  journal = {Journal of Mathematical Analysis and Applications},
  volume = 251,
  pages = {106--131},
  year = 2000
}
@ARTICLE{DiNoLeu:03,
  author = {Di Nola, Antonio and  Leu\c stean,Lauren\c tiu},
  title = {Compact representations of BL-algebras},
  journal = {Archive for Mathematical Logic},
  volume = 42,
  number = 8,
  pages = {737--761},
  year = 2003
}
@ARTICLE{Leu:00,
  author = {Leu\c stean,Lauren\c tiu},
  title = {Some algebraic properties of non-commutative fuzzy structures},
  journal = {Studies in Informatics and Control},
  volume = 9,
  number = 4,
  pages = {365--370},
  year = 2000
}
@ARTICLE{Leu:01,
  author = {Leu\c stean,Lauren\c tiu},
  title = {Liquid flow time series prediction using feed-forward neural networks and Rprop learning algorithm},
  journal = {Studies in Informatics and Control},
  volume = 10,
  number = 4,
  pages = {287--299},
  year = 2001
}
@ARTICLE{Leu:02a,
  author = {Leu\c stean, Lauren\c tiu},
  title = {Canonical models and filtrations in three-valued propositional modal logic},
  journal = {Journal of Multiple-Valued Logic},
  volume = 8,
  number = {1--2},
  pages = {577--590},
  year = 2002
}
@ARTICLE{Leu:02b,
  author = {Leu\c stean, Lauren\c tiu},
  title = {Liquid flow time series prediction using feed-forward neural networks and SuperSAB learning algorithm},
  journal = {Buletinul \c stiin\c tific al Universit\u a\c tii Politehnica din Timi\c soara},
  series = {Automatic\u a \c si Calculatoare},
  volume = {47(61)},
  number = {1},
  pages = {77--82},
  year = 2002
}
@ARTICLE{Leu:03,
  author = {Leu\c stean, Lauren\c tiu},
  title = {The prime and maximal spectra and the reticulation of BL-algebras},
  journal = {Central European Journal of Mathematics},
  volume = {1},
  number = {3},
  pages = {382--397},
  year = 2003
}
@MISC{Leu:04,
  author = {Leu\c stean, Lauren\c tiu},
  title = {Representations of many-valued algebras},
  year = 2004,
  note = {PhD Thesis, University of Bucharest}
}
@ARTICLE{Leu:05,
  author = {Leu\c stean, Lauren\c tiu},
  title = {Sheaf representations of BL-algebras},
  journal = { Soft Computing - A Fusion of Foundations, Methodologies and Applications },
  volume = 9,
  number = 12,
  pages = {897--909},
  year = 2005
}
@ARTICLE{Leu:06a,
  author = {Leu\c stean, Lauren\c tiu},
  title = {Proof mining in $R$-trees and hyperbolic spaces },
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = 165,
  pages = {95-106},
  note = {in Proceedings of the 13th Workshop on Logic, Language, Information and Computation (WoLLIC'2006), Stanford, CA, USA, July 18-21, 2006},
  year = 2006
}
@ARTICLE{Leu:06b,
  author = {Leu\c stean, Lauren\c tiu},
  title = {Baer extensions of BL-algebras},
  journal = {Journal of Multiple-Valued Logic and Soft Computing (to appear)},
  year = 2006
}
@ARTICLE{Leu:07a,
  author = {Leu\c stean, Lauren\c tiu},
  title = {A quadratic rate of asymptotic regularity in CAT(0)-spaces},
  journal = {Journal of Mathematical Analysis and Applications},
  volume = 325,
  number = 1,
  pages = { 386-399},
  year = 2007
}
@ARTICLE{Leu:07b,
  author = {Leu\c stean, Lauren\c tiu},
  title = {Rates of asymptotic regularity for Halpern iterations of nonexpansive mappings},
  journal = {Journal of Universal Computer Science},
  volume = 13,
  number = 11,
  pages = {1680-1691},
  year = 2007,
  note = {in C.S. Calude, G. Stefanescu, and M. Zimand (Eds.): Combinatorics and Related Areas. A Collection of Papers in Honour of the 65th Birthday of Ioan Tomescu.}
}
@TECHREPORT{LeuRos:03,
  author = {Leu\c stean, Lauren\c tiu and Ro\c su, Grigore},
  title = {Certifying Kalman Filters},
  institution = {Research Institute for Advanced Computer Science (RIACS), NASA Ames Research Center},
  address = {NASA Ames Research Center, Moffet Field, California, USA},
  number = {TR.03.02},
  month = {January},
  year = 2003
}
@ARTICLE{PriLeu:00,
  author = {Pribeanu, Costin and Leu\c stean,Lauren\c tiu},
  title = {Consistence evaluation of a man-machine interaction language using connectionist models},
  journal = {Revista Rom\^ an\u a de Informatic\u a \c si Automatic\u a},
  volume = 10,
  number = 3,
  pages = {40--45},
  year = 2000
}
@INPROCEEDINGS{LeuCAV:03,
  author = {Ro\c su, Grigore and  Prasad Venkatesan, Ram and  Whittle, Jon and Leu\c stean, Lauren\c tiu},
  title = {Certifying optimality of state estimation programs},
  editor = {Hunt Jr., Warren A. and Somenzi, Fabio},
  booktitle = {Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003},
  publisher = {Springer },
  series = {Lecture Notes in Computer Science},
  volume = 2725,
  pages = {301--314},
  year = 2003
}
@INCOLLECTION{Bur:04a,
  author = {Peter Burmeister},
  title = {Galois Connections for Partial Algebras},
  booktitle = {Galois Connections and Applications},
  pages = {345 - 370},
  publisher = {Kluwer},
  year = 2004,
  editor = {Denecke, K. and Ern\'{e}, M. and Wismath, S.L.},
  volume = 565,
  series = {Mathematics and its Applications}
}
@INCOLLECTION{Bur:04b,
  author = {Peter Burmeister},
  title = {Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras},
  booktitle = {Special Issue of Studia Logica: ``Algebraic Theory of Quasivarieties''},
  pages = {129 - 153},
  publisher = {Kluver Academic Publishers},
  year = 2004,
  editor = {Adams, M.E. and Adaricheva, K.V. and Dzobiak, W. and Kravchenko, A.V.},
  volume = 78,
  series = {Studia Logica}
}
@ARTICLE{BlumensathKreutzer05,
  author = {A. Blumensath and S. Kreutzer},
  title = {{An Extension to Muchnik's Theorem}},
  journal = {Journal of Logic and Computation},
  volume = 15,
  year = {2005},
  pages = {59--74}
}
@ARTICLE{BlumensathGraedel04,
  author = {A. Blumensath and E. {Gr\"adel}},
  title = {{Finite Presentations of Infinite Structures: Automata and Interpretations}},
  journal = {Theory of Computing Systems},
  volume = 37,
  year = {2004},
  pages = {641--674}
}
@ARTICLE{Blumensath04,
  author = {A. Blumensath},
  title = {{Axiomatising tree-interpretable structures}},
  journal = {Theory of Computing Systems},
  volume = 37,
  year = {2004},
  pages = {3--27}
}
@PHDTHESIS{Blumensath03b,
  author = {A. Blumensath},
  title = {{Structures of Bounded Partition Width}},
  school = {{RWTH Aachen}},
  address = {Aachen},
  type = {{Ph.\,D.\ Thesis}},
  year = 2003
}
@INCOLLECTION{BerwangerBlumensath02a,
  author = {D. Berwanger and A. Blumensath},
  title = {{The Monadic Theory of Tree-like Structures}},
  editor = {E. {Gr\"adel} and W. Thomas and T. Wilke},
  booktitle = {{Automata, Logic, and Infinite Games}},
  series = {{LNCS 2500}},
  publisher = {Springer Verlag},
  year = 2002,
  pages = {285--301}
}
@INCOLLECTION{BerwangerBlumensath02b,
  author = {D. Berwanger and A. Blumensath},
  title = {{Automata for Guarded Fixed Point Logics}},
  editor = {E. {Gr\"adel} and W. Thomas and T. Wilke},
  booktitle = {{Automata, Logic, and Infinite Games}},
  series = {{LNCS 2500}},
  publisher = {Springer Verlag},
  year = 2002,
  pages = {343--355}
}
@INPROCEEDINGS{BlumensathGraedel02,
  author = {A. Blumensath and E. {Gr\"adel}},
  title = {{Finite Presentations of Infinite Structures: Automata and Interpretations}},
  booktitle = {{Proc.\ 2nd Int.\ Workshop on Complexity in Automata Deduction, CiAD}},
  year = 2002
}
@INPROCEEDINGS{Blumensath03,
  author = {A. Blumensath},
  title = {{Axiomatising Tree-Interpretable Structures}},
  booktitle = {{Proc.\ 19th Int.\ Symp.\ on Theoretical Aspects of Computer Science, STACS, LNCS 2285}},
  year = 2003,
  pages = {596--607}
}
@TECHREPORT{Blumensath01,
  author = {A. Blumensath},
  title = {{Prefix-Recognisable Graphs and Monadic Second-Order Logic}},
  institution = {{RWTH Aachen}},
  number = {{AIB-2001-06}},
  year = 2001
}
@INPROCEEDINGS{Blumensath00,
  author = {A. Blumensath},
  title = {{Bounded Arithmetic and Descriptive Complexity}},
  booktitle = {{Proc.\ 14th Ann. Conference of the European Association for Computer Science Logic, LNCS 1862}},
  year = 2000,
  pages = {232--246}
}
@INPROCEEDINGS{BlumensathGraedel00,
  author = {A. Blumensath and E. {Gr\"adel}},
  title = {{Automatic Structures}},
  booktitle = {{Proc.\ 15th IEEE Symp.\ on Logic in Computer Science, LICS}},
  year = 2000,
  pages = {51--62}
}
@PHDTHESIS{Blumensath99,
  author = {A. Blumensath},
  title = {{Automatic Structures}},
  school = {{RWTH Aachen}},
  address = {Aachen},
  type = {{Diploma Thesis}},
  year = 1999
}
@ARTICLE{Blumensath06,
  author = {A. Blumensath},
  title = {{A Model Theoretic Characterisation of Clique-Width}},
  journal = {Annals of Pure and Applied Logic},
  volume = 142,
  year = {2006},
  pages = {321--350}
}
@ARTICLE{BlumensathCourcelle06,
  author = {A. Blumensath and B. Courcelle},
  title = {{Recognizability, Hypergraph Operations, and Logical Types}},
  journal = {Information and Computation},
  volume = 204,
  year = {2006},
  pages = {853--919}
}
@ARTICLE{Wil:04,
  author = {Wille, Annika M.},
  title = {The variety of lattice-ordered monoids generated by the natural numbers},
  journal = {Studia Logica},
  volume = 76,
  number = 2,
  pages = {275--290},
  year = 2004
}
@ARTICLE{Wil:05,
  author = {Wille, Annika M.},
  title = {A Gentzen system for involutive residuated lattices},
  journal = {Algebra Universalis},
  volume = 54,
  number = 4,
  pages = {449--463},
  year = 2005
}
@ARTICLE{Briseid:07a,
  author = {Eyvind Martol Briseid},
  title = {A Rate of Convergence for Asymptotic Contractions},
  journal = {Journal of Mathematical Analysis and Applications},
  year = {2007},
  volume = {330},
  pages = {364--376}
}
@ARTICLE{Briseid:07b,
  author = {Eyvind Martol Briseid},
  title = {Addendum to the Paper: 
                   Some Results on {Kirk's} Asymptotic Contractions},
  journal = {Fixed Point Theory},
  year = {2007},
  volume = {8},
  number = {2},
  pages = {321--322}
}
@ARTICLE{Briseid:07c,
  author = {Eyvind Martol Briseid},
  title = {Some Results on {Kirk's} Asymptotic Contractions},
  journal = {Fixed Point Theory},
  year = {2007},
  volume = {8},
  number = {1},
  pages = {17--27}
}

This file has been generated by bibtex2html 1.85.