Edit Profile Reichel, Horst Compute Distance To: Compute Author ID: reichel.horst Published as: Reichel, H.; Reichel, Horst Documents Indexed: 40 Publications since 1930, including 8 Books all top 5 Co-Authors 22 single-authored 3 Kaphengst, Heinz 3 Mossakowski, Till 2 Roggenbach, Markus 2 Schröder, Lutz 1 Benecke, Klaus 1 Burmeister, Peter 1 Cerioli, Maura 1 Ehrig, Hartmut 1 Ferreira, Afonso Galvao 1 Hasse, Maria 1 Hupbach, Ulrich L. 1 Jacobs, Bart 1 Jantke, Klaus-Peter 1 Moss, Larry 1 Orejas, Fernando 1 Rutten, Jan J. M. M. 1 Tison, Sophie all top 5 Serials 4 Lecture Notes in Computer Science 2 Mathematische Nachrichten 2 Mitteilungen der Mathematischen Gesellschaft der Deutschen Demokratischen Republik 2 Electronic Notes in Theoretical Computer Science 1 Algebra Universalis 1 Commentationes Mathematicae Universitatis Carolinae 1 Bulletin of the European Association for Theoretical Computer Science (EATCS) 1 MSCS. Mathematical Structures in Computer Science 1 Elektronische Informationsverarbeitung und Kybernetik 1 Wissenschaftliche Zeitschrift der Technischen Universität Dresden 1 RAIRO. Theoretical Informatics and Applications 1 The Journal of Logic and Algebraic Programming all top 5 Fields 27 Computer science (68-XX) 8 General algebraic systems (08-XX) 7 General and overarching topics; collections (00-XX) 7 Mathematical logic and foundations (03-XX) 4 Category theory; homological algebra (18-XX) 1 Combinatorics (05-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 17 Publications have been cited 149 times in 117 Documents Cited by ▼ Year ▼ An approach to object semantics based on terminal co-algebras. Zbl 0854.18006Reichel, Horst 43 1995 Initial computability, algebraic specifications, and partial algebras. Zbl 0634.68001Reichel, Horst 25 1987 Behavioural equivalence - a unifying concept for initial and final specification methods. Zbl 0479.68017Reichel, H. 23 1981 Initially-restricting algebraic theories. Zbl 0469.68026Reichel, H. 11 1980 Behavioural validity of conditional equations in abstract data types. Zbl 0616.68020Reichel, H. 9 1985 Structural induction on partial algebras. Introduction to theory and application of partial algebras. Part II. Zbl 0553.08002Reichel, Horst 6 1984 Algebraic-coalgebraic specification in CoCASL. Zbl 1088.68115Mossakowski, Till; Schröder, Lutz; Roggenbach, Markus; Reichel, Horst 5 2006 Algebraic-coalgebraic specification in CoCasl. Zbl 1278.68209Mossakowski, Till; Reichel, Horst; Roggenbach, Markus; Schröder, Lutz 5 2003 From total equational to partial first-order logic. Zbl 0949.03028Cerioli, Maura; Mossakowski, Till; Reichel, Horst 4 1999 Initial algebraic semantics for non context-free languages. Zbl 0395.68070Kaphengst, Heinz; Reichel, Horst 4 1977 Coalgebraic methods in computer science, CMCS ’98. Proceedings of the 1st workshop, Lisbon, Portugal, March 28–29, 1998. Zbl 0903.00067Jacobs, Bart (ed.); Moss, Larry (ed.); Reichel, Horst (ed.); Rutten, Jan (ed.) 3 1998 Initial restrictions of behaviour. Zbl 0594.68013Reichel, Horst 3 1986 Equational partiality. Zbl 0524.08005Benecke, Klaus; Reichel, Horst 3 1983 Partial algebras - a sound basis for structural induction. Zbl 0546.08004Reichel, H. 2 1984 A uniform model theory for the specification of data and process types. Zbl 0965.18004Reichel, Horst 1 2000 Specification semantics. Zbl 0945.68131Reichel, Horst 1 1999 Kanonische Zerlegung von Funktoren. Zbl 0185.04101Reichel, Horst 1 1969 Algebraic-coalgebraic specification in CoCASL. Zbl 1088.68115Mossakowski, Till; Schröder, Lutz; Roggenbach, Markus; Reichel, Horst 5 2006 Algebraic-coalgebraic specification in CoCasl. Zbl 1278.68209Mossakowski, Till; Reichel, Horst; Roggenbach, Markus; Schröder, Lutz 5 2003 A uniform model theory for the specification of data and process types. Zbl 0965.18004Reichel, Horst 1 2000 From total equational to partial first-order logic. Zbl 0949.03028Cerioli, Maura; Mossakowski, Till; Reichel, Horst 4 1999 Specification semantics. Zbl 0945.68131Reichel, Horst 1 1999 Coalgebraic methods in computer science, CMCS ’98. Proceedings of the 1st workshop, Lisbon, Portugal, March 28–29, 1998. Zbl 0903.00067Jacobs, Bart (ed.); Moss, Larry (ed.); Reichel, Horst (ed.); Rutten, Jan (ed.) 3 1998 An approach to object semantics based on terminal co-algebras. Zbl 0854.18006Reichel, Horst 43 1995 Initial computability, algebraic specifications, and partial algebras. Zbl 0634.68001Reichel, Horst 25 1987 Initial restrictions of behaviour. Zbl 0594.68013Reichel, Horst 3 1986 Behavioural validity of conditional equations in abstract data types. Zbl 0616.68020Reichel, H. 9 1985 Structural induction on partial algebras. Introduction to theory and application of partial algebras. Part II. Zbl 0553.08002Reichel, Horst 6 1984 Partial algebras - a sound basis for structural induction. Zbl 0546.08004Reichel, H. 2 1984 Equational partiality. Zbl 0524.08005Benecke, Klaus; Reichel, Horst 3 1983 Behavioural equivalence - a unifying concept for initial and final specification methods. Zbl 0479.68017Reichel, H. 23 1981 Initially-restricting algebraic theories. Zbl 0469.68026Reichel, H. 11 1980 Initial algebraic semantics for non context-free languages. Zbl 0395.68070Kaphengst, Heinz; Reichel, Horst 4 1977 Kanonische Zerlegung von Funktoren. Zbl 0185.04101Reichel, Horst 1 1969 all cited Publications top 5 cited Publications all top 5 Cited by 134 Authors 9 Sannella, Donald T. 9 Tarlecki, Andrzej 6 Bidoit, Michel 6 Hennicker, Rolf 6 Schröder, Lutz 5 Goldblatt, Robert Ian 4 Diaconescu, Răzvan 4 Ehrig, Hartmut 4 Goguen, Joseph Amadee 4 Kurz, Alexander 4 Mossakowski, Till 4 Roşu, Grigore 3 Jacobs, Bart 3 Lucanu, Dorel 3 Martins, Manuel António 3 Meseguer Guaita, José 3 Poll, Erik 3 Wolter, Uwe E. 2 Astesiano, Egidio 2 Cîrstea, Corina 2 Gaĭnă, Daniel 2 Große-Rhode, Martin 2 König, Harald 2 Kreowski, Hans-Jörg 2 Malcolm, Grant 2 Padawitz, Peter 2 Parisi-Presicce, Francesco 2 Pattinson, Dirk 2 Reichel, Horst 2 Roggenbach, Markus 2 Rothe, Jan 2 Rutten, Jan J. M. M. 2 Scollo, Giuseppe 2 Tews, Hendrik 2 Wirsing, Martin 1 Adámek, Jiří 1 Amato, Gianluca 1 Apetrei, Adriana 1 Artamonov, Vyacheslav Aleksandrovich 1 Babenyshev, Sergey 1 Barbosa, Luís Soares 1 Benecke, Klaus 1 Bentley, H. Lamar 1 Bergstra, Jan A. 1 Bernot, Gilles 1 Blum, Edward Kenneth 1 Brinksma, Ed 1 Bruce, Kim B. 1 Burmeister, Peter 1 Burstall, Rod M. 1 Cabrera, Inma P. 1 Caleiro, Carlos 1 Cardelli, Luca 1 Cerioli, Maura 1 Codescu, Mihai 1 Colvin, Robert J. 1 Cordero, Pablo 1 Corradini, Andrea 1 de Vink, Erik P. 1 Denecke, Klaus Dieter 1 Donnadieu, Marie-Renee 1 Durán, Francisco 1 Dzierzon, Christian 1 Ferreirim, Isabel M. A. 1 Friggens, David 1 Gheorghies, Ovidiu 1 Gonçalves, Ricardo 1 Gumm, Heinz-Peter 1 Gutiérrez, Gloria 1 Hausmann, Daniel 1 Heckel, Reiko 1 Hermida, Claudio 1 Herrlich, Horst 1 Hoehnke, Hans-Jürgen 1 Hofmann, Martin 1 Hughes, Jesse 1 Jacobs, Byron A. 1 Johnstone, Peter T. 1 Kahrs, Stefan Michael 1 Kemp, Tom 1 Kirchner, Hélène 1 Knapik, Teodor 1 Krieg-Brückner, Bernd 1 Lasota, Sławomir 1 Lipton, James B. 1 Maeder, Christian 1 Manca, Vincenzo 1 Martínez del Castillo, Javier 1 Mašulović, Dragan 1 McGrail, Robert W. 1 Middelburg, Cornelis A. 1 Milius, Stefan 1 Mosses, Peter D. 1 Murthy, N. K. Adi 1 Navarro, Marisa 1 Nepeĭvoda, Nikolaĭ Nikolaevich 1 Nipkow, Tobias 1 Ojeda-Aciego, Manuel 1 Oliveira, José Nuno 1 Orejas, Fernando ...and 34 more Authors all top 5 Cited in 24 Serials 48 Theoretical Computer Science 5 Acta Informatica 5 Journal of Computer and System Sciences 5 Studia Logica 4 Information and Computation 4 RAIRO. Theoretical Informatics and Applications 4 The Journal of Logic and Algebraic Programming 3 Journal of Soviet Mathematics 2 Algebra Universalis 2 Cahiers de Topologie et Géométrie Différentielle Catégoriques 2 Annals of Pure and Applied Logic 2 Formal Aspects of Computing 2 Applied Categorical Structures 2 Journal of Applied Logic 1 Artificial Intelligence 1 Information Processing Letters 1 Applied Mathematics and Computation 1 Journal of Pure and Applied Algebra 1 Quaestiones Mathematicae 1 MSCS. Mathematical Structures in Computer Science 1 The Bulletin of Symbolic Logic 1 Logical Methods in Computer Science 1 Asian-European Journal of Mathematics 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 7 Fields 97 Computer science (68-XX) 37 Mathematical logic and foundations (03-XX) 25 Category theory; homological algebra (18-XX) 13 General algebraic systems (08-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 1 Commutative algebra (13-XX) 1 Geometry (51-XX) Citations by Year