Roger Villemaire

869 total citations
33 papers, 362 citations indexed

About

Roger Villemaire is a scholar working on Computational Theory and Mathematics, Information Systems and Artificial Intelligence. According to data from OpenAlex, Roger Villemaire has authored 33 papers receiving a total of 362 indexed citations (citations by other indexed papers that have themselves been cited), including 18 papers in Computational Theory and Mathematics, 14 papers in Information Systems and 13 papers in Artificial Intelligence. Recurrent topics in Roger Villemaire's work include Service-Oriented Architecture and Web Services (12 papers), Formal Methods in Verification (10 papers) and Business Process Modeling and Analysis (9 papers). Roger Villemaire is often cited by papers focused on Service-Oriented Architecture and Web Services (12 papers), Formal Methods in Verification (10 papers) and Business Process Modeling and Analysis (9 papers). Roger Villemaire collaborates with scholars based in Canada, United States and Belgium. Roger Villemaire's co-authors include Sylvain Hallé, Christian Michaux, G. Hansel, Omar Cherkaoui, Graham Hughes, Muath Alkhalaf, Tevfik Bultan, Naouel Moha, Omar Cherkaοui and Petko Valtchev and has published in prestigious journals such as IEEE Transactions on Software Engineering, Computer and Theoretical Computer Science.

In The Last Decade

Roger Villemaire

26 papers receiving 345 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Roger Villemaire Canada	9	210	197	121	88	56	33	362
Ernst–Erich Doberkat Germany	9	200 1.0×	163 0.8×	43 0.4×	55 0.6×	13 0.2×	59	282
Roberto Di Cosmo France	13	240 1.1×	144 0.7×	179 1.5×	125 1.4×	7 0.1×	41	412
Alexandra Silva Netherlands	11	313 1.5×	265 1.3×	51 0.4×	86 1.0×	6 0.1×	68	399
Anca Muscholl France	14	307 1.5×	337 1.7×	29 0.2×	98 1.1×	8 0.1×	46	431
Daniele Gorla Italy	10	205 1.0×	116 0.6×	59 0.5×	116 1.3×	15 0.3×	39	263
R.J. vanGlabbeek United States	6	247 1.2×	296 1.5×	24 0.2×	61 0.7×	12 0.2×	10	349
Michele Boreale Italy	13	390 1.9×	230 1.2×	138 1.1×	195 2.2×	16 0.3×	43	470
Roberto M. Amadio France	12	682 3.2×	438 2.2×	135 1.1×	230 2.6×	5 0.1×	31	773
Barbara König Germany	9	169 0.8×	157 0.8×	72 0.6×	59 0.7×	19 0.3×	65	317
Paola Giannini Italy	10	285 1.4×	148 0.8×	81 0.7×	86 1.0×	6 0.1×	61	324

Countries citing papers authored by Roger Villemaire

Since Specialization

Citations

This map shows the geographic impact of Roger Villemaire'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 Roger Villemaire with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Roger Villemaire more than expected).

Fields of papers citing papers by Roger Villemaire

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Roger Villemaire. 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 Roger Villemaire. The network helps show where Roger Villemaire may publish in the future.

Co-authorship network of co-authors of Roger Villemaire

This figure shows the co-authorship network connecting the top 25 collaborators of Roger Villemaire. A scholar is included among the top collaborators of Roger Villemaire 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 Roger Villemaire. Roger Villemaire is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Moha, Naouel, et al.. (2024). DynAMICS: A Tool-Based Method for the Specification and Dynamic Detection of Android Behavioral Code Smells. IEEE Transactions on Software Engineering. 50(4). 765–784. 2 indexed citations

Villemaire, Roger, et al.. (2024). Delegation-Relegation for Boolean Matrix Factorization. Proceedings of the AAAI Conference on Artificial Intelligence. 38(18). 20632–20639.

Villemaire, Roger, et al.. (2022). Undercover Boolean Matrix Factorization with MaxSAT. Proceedings of the AAAI Conference on Artificial Intelligence. 36(4). 3672–3681. 1 indexed citations

Moha, Naouel, et al.. (2022). An empirical study of Android behavioural code smells detection. Empirical Software Engineering. 27(7). 6 indexed citations

Villemaire, Roger, et al.. (2018). CDCL with Less Destructive Backtracking through Partial Ordering. EPiC series in computing. 21. 124–108.

Villemaire, Roger, et al.. (2016). A Position-Based Method for the Extraction of Financial Information in PDF Documents. 9–16. 1 indexed citations

Hallé, Sylvain, et al.. (2013). Distributed firewall anomaly detection through LTL model checking. Integrated Network Management. 194–201. 6 indexed citations

Hallé, Sylvain & Roger Villemaire. (2012). Constraint-based invocation of stateful web services: the beep store (case study). 61–62.

Hallé, Sylvain, et al.. (2012). ValidMaker: A tool for managing device configurations using logical constraints. 8. 1111–1118. 2 indexed citations

10.

Hallé, Sylvain & Roger Villemaire. (2010). Runtime verification for the web: a tutorial introduction to interface contracts in web applications. 106–121. 5 indexed citations

11.

Villemaire, Roger, et al.. (2010). Scalable formula decomposition for propositional satisfiability. 43–52. 2 indexed citations

12.

Hallé, Sylvain & Roger Villemaire. (2009). Runtime monitoring of web service choreographies using streaming XML. 2118–2125. 9 indexed citations

13.

Hallé, Sylvain & Roger Villemaire. (2009). 15th International Symposium on Temporal Repres Entati on and Reasoning (Time 2008). Bulletin of Symbolic Logic. 15(3). 377–378. 1 indexed citations

14.

Hallé, Sylvain & Roger Villemaire. (2008). Runtime Monitoring of Message-Based Workflows with Data. 63–72. 35 indexed citations

15.

Hallé, Sylvain, et al.. (2007). Model Checking Data-Aware Workflow Properties with CTL-FO+. Constellation (Université du Québec à Chicoutimi). 1. 267–267. 6 indexed citations

16.

Michaux, Christian & Roger Villemaire. (1996). Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems. Annals of Pure and Applied Logic. 77(3). 251–277. 27 indexed citations

17.

Hansel, G., et al.. (1994). Logic and {$p$}-recognizable sets of integers. Bulletin of the Belgian Mathematical Society - Simon Stevin. 1(2). 102 indexed citations

18.

Villemaire, Roger. (1992). The theory of 〈N, +, Vk, Vl〉 is undecidable. Theoretical Computer Science. 106(2). 337–349. 14 indexed citations

19.

Villemaire, Roger. (1990). Abelian groups ℵ0-categorical over a subgroup. Journal of Pure and Applied Algebra. 69(2). 193–204. 1 indexed citations

20.

Villemaire, Roger. (1988). Aleph-zero-categoricity over a predicate. 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.

Explore authors with similar magnitude of impact