Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Bernhard Möller" ( http://dblp.L3S.de/Authors/Bernhard_Möller )

URL (Homepage):  http://www.informatik.uni-augsburg.de/~moeller/  Author page on DBLP  Author page in RDF  Community of Bernhard Möller in ASPL-2

Publication years (Num. hits)
1981-1988 (15) 1989-1995 (16) 1996-2002 (15) 2003-2006 (21) 2007-2010 (18) 2011 (9)
Publication types (Num. hits)
article(30) book(2) inproceedings(53) proceedings(9)
Venues (Conferences, Journals, ...)
RelMiCS(16) J. Log. Algebr. Program.(9) MPC(8) Sci. Comput. Program.(8) AMAST(5) ADT(4) HOA(4) Formal Program Development(3) GI Jahrestagung(3) Prospects for Hardware Foundat...(3) CONCUR(2) Inf. Sci.(2) Theor. Comput. Sci.(2) ACM Trans. Comput. Log.(1) Acta Inf.(1) Algorithmic Languages and Calc...(1) More (+10 of total 36)
Authors
Bernhard Möller(94) Georg Struth(17) Peter Höfner(14) Jules Desharnais(9) Helmuth Partsch(7) Walter Dosch(7) Martin Wirsing(6) Rudolf Berghammer(6) Peter Pepper(5) Friedrich L. Bauer(4) Manfred Broy(4) Ridha Khédri(4) C. A. R. Hoare(3) Ian Wehrman(3) Martin Russling(3) Roland Glück(3) More (+10 of total 56)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 17 occurrences of 16 keywords
Results
Found 94 publication records. Showing 94 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Peter Höfner, Ridha Khédri, Bernhard Möller An algebra of product families. Search on Bibsonomy Software and System Modeling The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Tony Hoare, Bernhard Möller, Georg Struth, Ian Wehrman Concurrent Kleene Algebra and its Foundations. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Rudolf Berghammer, Ali Jaoua, Bernhard Möller Relations and Kleene algebras in computer science. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Han-Hing Dang, Peter Höfner, Bernhard Möller Algebraic separation logic. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Peter Höfner, Ridha Khédri, Bernhard Möller Supplementing Product Families with Behaviour. Search on Bibsonomy Int. J. Software and Informatics The full citation details ... 2011 DBLP  BibTeX  RDF
1Peter Höfner, Bernhard Möller Fixing Zeno gaps. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jules Desharnais, Bernhard Möller, Georg Struth Algebraic Notions of Termination Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare, Akbar Hussain, Bernhard Möller, Peter W. O'Hearn, Rasmus Lerchedahl Petersen, Georg Struth On Locality and the Exchange Law for Concurrent Processes. Search on Bibsonomy CONCUR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bernhard Möller Building Structured Theories - (Invited Paper). Search on Bibsonomy RAMICS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Walter Guttmann, Bernhard Möller Normal design algebra. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Rudolf Berghammer, Bernhard Möller, Georg Struth Relations and Kleene algebras in computer science. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sven Apel, Christian Lengauer, Bernhard Möller, Christian Kästner An algebraic foundation for automatic feature-based program synthesis. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Roland Glück, Bernhard Möller, Michel Sintzoff Model Refinement Using Bisimulation Quotients. Search on Bibsonomy AMAST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Peter Höfner, Bernhard Möller An algebra of hybrid systems. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman Concurrent Kleene Algebra. Search on Bibsonomy CONCUR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman Foundations of Concurrent Kleene Algebra. Search on Bibsonomy RelMiCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Rudolf Berghammer, Ali Jaoua, Bernhard Möller (eds.) Relations and Kleene Algebra in Computer Science, 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings Search on Bibsonomy RelMiCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Roland Glück, Bernhard Möller, Michel Sintzoff A Semiring Approach to Equivalences, Bisimulations and Control. Search on Bibsonomy RelMiCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Han-Hing Dang, Peter Höfner, Bernhard Möller Towards Algebraic Separation Logic. Search on Bibsonomy RelMiCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Peter Höfner, Bernhard Möller An extension for feature algebra. Search on Bibsonomy FOSD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF algebraic characterisation of FOSD, feature algebra, feature oriented software development
1Peter Höfner, Bernhard Möller Algebraic Neighbourhood Logic. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Peter Höfner, Ridha Khédri, Bernhard Möller Algebraic View Reconciliation. Search on Bibsonomy SEFM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Sven Apel, Christian Lengauer, Bernhard Möller, Christian Kästner An Algebra for Features and Feature Composition. Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Bernhard Möller Knowledge and Games in Modal Semirings. Search on Bibsonomy RelMiCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.) Relations and Kleene Algebra in Computer Science, 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings Search on Bibsonomy RelMiCS The full citation details ... 2008 DBLP  BibTeX  RDF
1Roland Glück, Bernhard Möller Circulations, Fuzzy Relations and Semirings. Search on Bibsonomy MPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Bernhard Möller Kleene getting lazy. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jules Desharnais, Bernhard Möller, Fairouz Tchier Kleene under a modal demonic star. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Bernhard Möller Guest editor's introduction: Special issue on Relation Algebra and Kleene Algebra. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Bernhard Möller, Georg Struth Algebras of modal operators and partial correctness. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jules Desharnais, Bernhard Möller, Georg Struth Kleene algebra with domain. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Idempotent semiring, codomain, image and preimage operation, program development and analysis, domain, Kleene algebra, equational reasoning, state transition systems
1Bernhard Möller, Peter Höfner, Georg Struth Quantales and Temporal Logics. Search on Bibsonomy AMAST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Peter Höfner, Bernhard Möller Lazy Semiring Neighbours and Some Applications. Search on Bibsonomy RelMiCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Peter Höfner, Bernhard Möller, Kim Solin Omega Algebra, Demonic Refinement Algebra and Commands. Search on Bibsonomy RelMiCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Peter Höfner, Ridha Khédri, Bernhard Möller Feature Algebra. Search on Bibsonomy FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Walter Guttmann, Bernhard Möller Modal Design Algebra. Search on Bibsonomy UTP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Bernhard Möller The Linear Algebra of UTP. Search on Bibsonomy MPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jules Desharnais, Bernhard Möller Least Reflexive Points of Relations. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2005 DBLP  DOI  BibTeX  RDF least reflexive point, greatest reflexive point, inflationary relation, lattice, relation, partial order, fixed point
1Bernhard Möller, Georg Struth p Is. Search on Bibsonomy RelMiCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Peter Höfner, Bernhard Möller Towards an Algebra of Hybrid Systems. Search on Bibsonomy RelMiCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Eerke A. Boiten, Bernhard Möller Foreword. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Bernhard Möller, Georg Struth Modal Kleene Algebra and Partial Correctness. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.) Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers Search on Bibsonomy RelMiCS The full citation details ... 2004 DBLP  BibTeX  RDF
1Jules Desharnais, Bernhard Möller, Georg Struth Termination in Modal Kleene Algebra. Search on Bibsonomy IFIP TCS The full citation details ... 2004 DBLP  BibTeX  RDF
1Bernhard Möller Lazy Kleene Algebra. Search on Bibsonomy MPC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jules Desharnais, Bernhard Möller, Georg Struth Kleene algebra with domain Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Thorsten Ehm, Bernhard Möller, Georg Struth Kleene Modules. Search on Bibsonomy RelMiCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Bernhard Möller, Georg Struth Greedy-Like Algorithms in Modal Kleene Algebra. Search on Bibsonomy RelMiCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Idempotent semiring, image and preimage operation, modal operators, Geach formula, program development and analysis, confluence, Kleene algebra
1Eerke A. Boiten, Bernhard Möller (eds.) Mathematics of Program Construction, 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings Search on Bibsonomy MPC The full citation details ... 2002 DBLP  BibTeX  RDF
1Jules Desharnais, Bernhard Möller Characterizing determinacy in Kleene algebras. Search on Bibsonomy Inf. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Jules Desharnais, Bernhard Möller, Fairouz Tchier Kleene under a Demonic Star. Search on Bibsonomy AMAST The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Jules Desharnais, Bernhard Möller Characterizing Functions in Kleene Algebras. Search on Bibsonomy RelMiCS The full citation details ... 2000 DBLP  BibTeX  RDF
1Bernhard Möller Calculating with Acyclic and Cyclic Lists. Search on Bibsonomy Inf. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Bernhard Möller, J. V. Tucker (eds.) Prospects for Hardware Foundations, ESPRIT Working Group 8533, NADA - New Hardware Design Methods, Survey Chapters Search on Bibsonomy Prospects for Hardware Foundations The full citation details ... 1998 DBLP  BibTeX  RDF
1Bernhard Möller Deductive Hardware Design: A Functional Approach. Search on Bibsonomy Prospects for Hardware Foundations The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Bernhard Möller Idel Stream Algebra. Search on Bibsonomy Prospects for Hardware Foundations The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Bernhard Möller Modal and temporal operators on partial orders. Search on Bibsonomy RelMiCS The full citation details ... 1998 DBLP  BibTeX  RDF
1Thomas Brunn, Bernhard Möller, Martin Russling Layered Graph Traversals and Hamiltonian Path Problems - An Algebraic Approach. Search on Bibsonomy MPC The full citation details ... 1998 DBLP  BibTeX  RDF
1Bernhard Möller Calculating with pointer structures. Search on Bibsonomy Algorithmic Languages and Calculi The full citation details ... 1997 DBLP  BibTeX  RDF
1Bernhard Möller Calculating With Pointer Structures (Extended Abstract). Search on Bibsonomy RelMiCS The full citation details ... 1997 DBLP  BibTeX  RDF
1Bernhard Möller Preface (Selected Papers from the Third International Conference on the Mathematics of Program Construction). Search on Bibsonomy Sci. Comput. Program. The full citation details ... 1996 DBLP  BibTeX  RDF
1Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller (eds.) Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers Search on Bibsonomy HOA The full citation details ... 1996 DBLP  BibTeX  RDF
1Walter Dosch, Bernhard Möller Calculating a Functional Module for Binary Search Trees. Search on Bibsonomy Implementation of Functional Languages The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Bernhard Möller (eds.) Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany, July 17-21, 1995, Proceedings Search on Bibsonomy MPC The full citation details ... 1995 DBLP  BibTeX  RDF
1Bernhard Möller Assertions and Recursions. Search on Bibsonomy HOA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Bernhard Möller, Martin Russling Shorter Paths to Graph Algorithms. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Bernhard Möller Ideal Streams. Search on Bibsonomy PROCOMET The full citation details ... 1994 DBLP  BibTeX  RDF
1Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow (eds.) Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993, Selected Papers Search on Bibsonomy HOA The full citation details ... 1994 DBLP  BibTeX  RDF
1Bernhard Möller Towards Pointer Algebra. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Bernhard Möller Algebraic Calculation of Graph and Sorting Algorithms (Invited Paper). Search on Bibsonomy Formal Methods in Programming and Their Applications The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Bernhard Möller, Helmuth Partsch, Stephen A. Schuman Introduction. Search on Bibsonomy Formal Program Development The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Bernhard Möller Derivation of Graph and Pointer Algorithms. Search on Bibsonomy Formal Program Development The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Bernhard Möller, Helmuth Partsch, Stephen A. Schuman (eds.) Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report Search on Bibsonomy Formal Program Development The full citation details ... 1993 DBLP  BibTeX  RDF
1Bernhard Möller Ordered and Continuous Models of Higher-Order Specifications. Search on Bibsonomy HOA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Bernhard Möller, Martin Russling Shorter Paths to Graph Algorithms. Search on Bibsonomy MPC The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Ulrich Berger, Werner Meixner, Bernhard Möller Calculating a Garbage Collector. Search on Bibsonomy Methods of Programming The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Bernhard Möller Systematic Derivation of Pointer Algorithms. Search on Bibsonomy GI Jahrestagung The full citation details ... 1990 DBLP  BibTeX  RDF
1Friedrich L. Bauer, Bernhard Möller, Helmuth Partsch, Peter Pepper Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF program construction by transformations, formal problem specification, Munich project CIP, computer-aided intuition-guided programming, software engineering, formal specification, software development, transformation rules, wide-spectrum language, transformational programming
1Bernhard Möller Applicative Assertions. Search on Bibsonomy MPC The full citation details ... 1989 DBLP  BibTeX  RDF
1Bernhard Möller, Andrzej Tarlecki, Martin Wirsing Algebraic Specification with Built-in Domain Constructions. Search on Bibsonomy CAAP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Helmuth Partsch, Bernhard Möller Konstruktion korrekter Programme durch Transformation. Search on Bibsonomy Informatik Spektrum The full citation details ... 1987 DBLP  BibTeX  RDF
1Friedrich L. Bauer, Herbert Ehler, A. Horsch, Bernhard Möller, Helmuth Partsch, O. Paukner, Peter Pepper The Munich Project CIP, Volume II: The Program Transformation System CIP-S Search on Bibsonomy 1987   DOI  RDF
1Bernhard Möller, Andrzej Tarlecki, Martin Wirsing Algebraic Specifications of Reachable Higher-Order Algebras. Search on Bibsonomy ADT The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Manfred Broy, Bernhard Möller, Peter Pepper, Martin Wirsing Algebraic Implementations Preserve Program Correctness. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Bernhard Möller Algebraic Specifications with Higher-Order Operations. Search on Bibsonomy ADT The full citation details ... 1986 DBLP  BibTeX  RDF
1Bernhard Möller On the Algebraic Specification of Infinite Objects - Ordered and Continuous Models of Algebraic Types. Search on Bibsonomy Acta Inf. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Friedrich L. Bauer, Rudolf Berghammer, Manfred Broy, Walter Dosch, Franz Geiselbrechtinger, Rupert Gnatz, E. Hangel, Wolfgang Hesse, Bernd Krieg-Brückner, Alfred Laut, Thomas Matzner, Bernhard Möller, Friederike Nickl, Helmuth Partsch, Peter Pepper, Klaus Samelson, Martin Wirsing, Hans Wössner The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L Search on Bibsonomy 1985   DOI  RDF
1Walter Dosch, Bernhard Möller Busy and Lazy FP with Infinite Objects. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1984 DBLP  BibTeX  RDF
1Bernhard Möller, Walter Dosch On the Algebraic Specification of Domains. Search on Bibsonomy ADT The full citation details ... 1984 DBLP  BibTeX  RDF
1Bernhard Möller An Algebraic Semantics for Busy (Data-Driven) and Lazy (Demand-Driven) Evaluation and its Application to a Functional Language. Search on Bibsonomy ICALP The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
1Walter Dosch, Bernhard Möller An Algebraic Semantics for Bachus' Functional Programming Language with Infinite Objects. Search on Bibsonomy GI Jahrestagung The full citation details ... 1983 DBLP  BibTeX  RDF
1Bernhard Möller Ordered and Continuous Models of Algebraic Types. Search on Bibsonomy ADT The full citation details ... 1983 DBLP  BibTeX  RDF
1Friedrich L. Bauer, Manfred Broy, Walter Dosch, Rupert Gnatz, Bernd Krieg-Brückner, Alfred Laut, M. Luckmann, Thomas Matzner, Bernhard Möller, Helmuth Partsch, Peter Pepper, Klaus Samelson, Ralf Steinbrüggen, Martin Wirsing, Hans Wössner Programming in a Wide Spectrum Language: A Collection of Examples. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Manfred Broy, Walter Dosch, Bernhard Möller, Martin Wirsing GOTOs - A Study in the Algebraic Specification of Programming Languages (Extended Abstract). Search on Bibsonomy GI Jahrestagung The full citation details ... 1981 DBLP  BibTeX  RDF
Displaying result #1 - #94 of 94 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.