Bernd Mahr - RankMe

44 papers A* 1B 4Journal 14Unranked 17

Year	Rank	Type	Title / Venue / Authors
2010	J	`jnl`	On Judgements and Propositions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Bernd Mahr
2010	J	`jnl`	Position Statement: Models in Software and Systems Development. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Bernd Mahr
2010	—	`conf`	Zuses Auffassung vom Rechnen. GI Jahrestagung (2) Bernd Mahr
2009	J	`jnl`	Die Informatik und die Logik der Modelle. Inform. Spektrum Bernd Mahr
2009	J	`jnl`	Information science and the logic of models. Softw. Syst. Model. Bernd Mahr
2008	—	`ed.`	Autonomous Systems - Self-Organization, Management, and Control, Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6-7, 2008. SJTU-TUB Joint Workshop Bernd Mahr, Huanye Sheng
2005	—	`conf`	in Formal Methods in Software and Systems Modeling Bernd Mahr, Sebastian Bab
2001	—	`ch.`	Algebraic Techniques in Software Development: A Review of Progress up to the Mid Nineties. Current Trends in Theoretical Computer Science Hartmut Ehrig, Bernd Mahr
2001	—	`book`	Mathematisch-strukturelle Grundlagen der Informatik, 2. Auflage Mathematisch-strukturelle Grundlagen der Informatik, 2. Auflage Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornelius, Philip Zeitz
2001	—	`ch.`	Theory and Practice of Software Development: A Review of Driving Forces and Expectations of TAPSOFT from 1985 to 1997. Current Trends in Theoretical Computer Science Hartmut Ehrig, Bernd Mahr
2000	—	`conf`	Commentary on Donald MacKenzie, "A View from the Sonnenbichl". ICHC Bernd Mahr
1999	—	`book`	Mathematisch-strukturelle Grundlagen der Informatik Mathematisch-strukturelle Grundlagen der Informatik Hartmut Ehrig, Bernd Mahr, Felix Cornelius, Martin Große-Rhode, Philip Zeitz
1997	—	`conf`	Future Trends of TAPSOFT. TAPSOFT Hartmut Ehrig, Bernd Mahr
1996	J	`jnl`	Algebraic Techniques in Software Development. Bull. EATCS Hartmut Ehrig, Bernd Mahr
1995	—	`conf`	A Decade of TAPSOFT: Aspects of Process and Prospects in Theory and Practice of Software Development. TAPSOFT Hartmut Ehrig, Bernd Mahr
1995	J	`jnl`	Theory and Practice of Software Development: A Review of Driving Forces and Expectations. Bull. EATCS Hartmut Ehrig, Bernd Mahr
1994	—	`ed.`	Open Distributed Processing, II: Proceedings of the IFIP TC6/WG6.1 International Conference on Open Distributed Processing, Berlin, Germany, 13-16 September 1993 Open Distributed Processing Jan de Meer, Bernd Mahr, Silke Storp
1993	—	`conf`	An ODP-Oriented Framework for European Services in Telemedicine. Open Distributed Processing Dirk Lutzebäck, Bernd Mahr, Gavin Venters, M. Howard Williams
1993	—	`conf`	Applications of Type Theory. TAPSOFT Bernd Mahr
1993	—	`conf`	Coordination and Logic Programming. GI Jahrestagung Bernd Mahr, Robert Tolksdorf
1993	—	`conf`	Report on the Workshop "The Role of ODP in Medical Applications". Open Distributed Processing Bernd Mahr, M. Gerneth
1992	J	`jnl`	Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development. Comput. J. Hartmut Ehrig, Bernd Mahr, Ingo Claßen, Fernando Orejas
1992	J	`jnl`	Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications. Comput. J. Hartmut Ehrig, Bernd Mahr, Ingo Claßen, Fernando Orejas
1990	—	`book`	Fundamentals of Algebraic Specification 2 Hartmut Ehrig, Bernd Mahr
1989	—	`conf`	Functor-Argument Structures for the Meaning of Natural Language Sentences and Their Formal Interpretation. Sorts and Types in Artificial Intelligence Bernd Mahr, Carla Umbach
1989	J	`jnl`	Informatik und Verantwortung, Arbeitskeis "Grenzen eines verantwortbaren Einsatzes von Informationstechnik" der Gesellschaft für Informatik. Inform. Spektrum Karl-Heinz Rödiger, Wolfgang Coy, Günter Feuerstein, Rolf Günther, Werner Langenheder, Bernd Mahr, Peter Molzberger, Hartmut Przybylski, Horst Röpke, Eva Senghaas-Knobloch, Birgit Volmerg, Walter Volpert, Hellmut Weber, Herbert Wiedemann
1988	—	`conf`	Concepts of Algebraic Database Programming Languages. ADT Dean Jacobs, Bernd Mahr
1988	—	`conf`	Empty Carriers: The Categorical Burden on Logic. Categorial Methods in Computer Science Bernd Mahr
1988	—	`conf`	Informatik und Verantwortung. GI Jahrestagung (1) Wolfgang Coy, Günter Feuerstein, Rolf Günther, Werner Langenheder, Bernd Mahr, Peter Molzberger, Hartmut Przybylski, Karl-Heinz Rödiger, Horst Röpke, Eva Senghaas-Knobloch, Birgit Volmerg, Walter Volpert, Hellmut Weber, Herbert Wiedemann
1986	J	`jnl`	A remark on the equational calculus for many-sorted algebras with possibly empty carrier sets. Bull. EATCS Hartmut Ehrig, Jacques Loeckx, Bernd Mahr
1986	—	`conf`	Term Evaluation in Partial Algebras. ADT Bernd Mahr
1985	—	`book`	Fundamentals of Algebraic Specification 1: Equations and Initial Semantics Hartmut Ehrig, Bernd Mahr
1984	J	`jnl`	Characterizing Specification Languages which Admit Initial Semantics. Theor. Comput. Sci. Bernd Mahr, Johann A. Makowsky
1983	—	`conf`	An axiomatic approach to semantics of specification languages. Theoretical Computer Science Johann A. Makowsky, Bernd Mahr
1983	—	`conf`	Characterizing Specification Languages Which Admit Initial Semantics. CAAP Bernd Mahr, Johann A. Makowsky
1982	J	`jnl`	Algebraic Complexity of Path Problems. RAIRO Theor. Informatics Appl. Bernd Mahr
1982	J	`jnl`	Algebraic Implementation of Abstract Data Types. Theor. Comput. Sci. Hartmut Ehrig, Hans-Jörg Kreowski, Bernd Mahr, Peter Padawitz
1982	B	`conf`	Graph Grammars as a Tool for Description in Computer Processed Control: A Case Study. WG Bernd Mahr, Anne Wilharm
1981	J	`jnl`	Complexity of Algebraic Implementations for Abstract Data Types. J. Comput. Syst. Sci. Hartmut Ehrig, Bernd Mahr
1981	—	`conf`	Relating Uniform and Nonuniform Models of Computation. GI Jahrestagung Bernd Mahr, Dirk Siefkes
1980	B	`conf`	A Birds Eye View to Path Problems. WG Bernd Mahr
1980	A*	`conf`	Complexity of Implementations on the Level of Algebraic Specifications STOC Hartmut Ehrig, Bernd Mahr
1980	B	`conf`	Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems. MFCS Hartmut Ehrig, Hans-Jörg Kreowski, Bernd Mahr, Peter Padawitz
1975	B	`conf`	Gründe, Techniken und Konsequenzen der Verallgemeinerung von Wegealgorithmen. WG Bernd Mahr, Jürgen Perl