Citations per year, relative to Michel Bidoit Michel Bidoit (= 1×)
peers
Ph. Schnoebelen
Countries citing papers authored by Michel Bidoit
Since
Specialization
Citations
This map shows the geographic impact of Michel Bidoit's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Michel Bidoit with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Michel Bidoit more than expected).
This network shows the impact of papers produced by Michel Bidoit. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Michel Bidoit. The network helps show where Michel Bidoit may publish in the future.
Co-authorship network of co-authors of Michel Bidoit
This figure shows the co-authorship network connecting the top 25 collaborators of Michel Bidoit.
A scholar is included among the top collaborators of Michel Bidoit based on the total number of
citations received by their joint publications. Widths of edges
represent the number of papers authors have co-authored together.
Node borders
signify the number of papers an author published with Michel Bidoit. Michel Bidoit is excluded from
the visualization to improve readability, since they are connected to all nodes in the network.
Bidoit, Michel & Rolf Hennicker. (2005). Constructor-based observational logic. The Journal of Logic and Algebraic Programming. 67(1-2). 3–51.14 indexed citations
3.
Bidoit, Michel & Peter D. Mosses. (2004). Casl User Manual: Introduction to Using the Common Algebraic Specification Language Casl (Lecture Notes in Computer Science, 2900). Springer eBooks.20 indexed citations
Bidoit, Michel, Rolf Hennicker, & Alexander Kurz. (2002). Observational logic, constructor-based logic, and their duality. Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands. 1–33.1 indexed citations
7.
Bidoit, Michel, Donald Sannella, & Andrzej Tarlecki. (2002). Toward Component-Oriented Formal Software Development: An Algebraic Approach.
Bidoit, Michel & Max Dauchet. (1997). TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings. Springer eBooks.
Bidoit, Michel & Christine Choppy. (1993). Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : selected papers. Springer eBooks.1 indexed citations
14.
Bidoit, Michel. (1992). Development of modular specifications by stepwise refinements using the PLUSS specification language. Oxford University Press eBooks. 171–192.
15.
Bidoit, Michel, et al.. (1991). SPOKE: an object-oriented programming environment. Journal of Object-oriented Programming. 3(6). 30–38.4 indexed citations
16.
Bernot, Gilles & Michel Bidoit. (1991). Proving the Correctness of Algebraically Specified Software: Modularity and Observability Issues. 216–239.12 indexed citations
17.
Bidoit, Michel, et al.. (1989). How to make algebraic specifications more understandable. Springer eBooks. 31–67.2 indexed citations
Bidoit, Michel, et al.. (1983). A Rehabilitation of Robinson's Unification Algorithm.. IFIP Congress. 909–914.42 indexed citations
20.
Bidoit, Michel, et al.. (1979). A system which synthesizes array-manipulating programs from specifications. International Joint Conference on Artificial Intelligence. 63–65.2 indexed citations
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive
bibliographic database. While OpenAlex provides broad and valuable coverage of the global
research landscape, it—like all bibliographic datasets—has inherent limitations. These include
incomplete records, variations in author disambiguation, differences in journal indexing, and
delays in data updates. As a result, some metrics and network relationships displayed in
Rankless may not fully capture the entirety of a scholar's output or impact.