Marc Boulé

514 total citations
19 papers, 369 citations indexed

About

Marc Boulé is a scholar working on Software, Computational Theory and Mathematics and Electrical and Electronic Engineering. According to data from OpenAlex, Marc Boulé has authored 19 papers receiving a total of 369 indexed citations (citations by other indexed papers that have themselves been cited), including 11 papers in Software, 10 papers in Computational Theory and Mathematics and 8 papers in Electrical and Electronic Engineering. Recurrent topics in Marc Boulé's work include Software Testing and Debugging Techniques (11 papers), Formal Methods in Verification (10 papers) and Radiation Effects in Electronics (6 papers). Marc Boulé is often cited by papers focused on Software Testing and Debugging Techniques (11 papers), Formal Methods in Verification (10 papers) and Radiation Effects in Electronics (6 papers). Marc Boulé collaborates with scholars based in Canada, France and China. Marc Boulé's co-authors include Željko Žilić, Danuta Radzioch, Thomas J. Hudson, Luigi Varesio, Luis F. Barrera, J W Urbance, Emil Skamene and D. Borrione and has published in prestigious journals such as Journal of Leukocyte Biology, American Journal of Physics and IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

In The Last Decade

Marc Boulé

17 papers receiving 352 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Marc Boulé Canada	8	211	171	112	85	60	19	369
Utsav Patel United States	10	278 1.3×	311 1.8×	24 0.2×	17 0.2×	59 1.0×	22	469
Tung Thanh Hoang Vietnam	11	100 0.5×	80 0.5×	28 0.3×	8 0.1×	42 0.7×	44	439
Luiz G. A. Martins Brazil	9	72 0.3×	57 0.3×	53 0.5×	20 0.2×	47 0.8×	39	241
Steven S. Lumetta United States	15	424 2.0×	202 1.2×	15 0.1×	20 0.2×	36 0.6×	58	709
Tyler Sorensen United States	10	262 1.2×	46 0.3×	32 0.3×	47 0.6×	62 1.0×	31	357
Brian Hackett United States	9	144 0.7×	22 0.1×	85 0.8×	223 2.6×	293 4.9×	12	553
Troy A. Johnson United States	11	121 0.6×	33 0.2×	10 0.1×	16 0.2×	17 0.3×	22	374
Shigeru Igarashi Japan	7	29 0.1×	6 0.0×	85 0.8×	34 0.4×	102 1.7×	29	233
Annalisa Massini Italy	11	42 0.2×	80 0.5×	111 1.0×	19 0.2×	13 0.2×	47	275
Robbert Krebbers Netherlands	16	220 1.0×	22 0.1×	399 3.6×	97 1.1×	872 14.5×	50	1.1k

Countries citing papers authored by Marc Boulé

Since Specialization

Citations

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

Fields of papers citing papers by Marc Boulé

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Marc Boulé

This figure shows the co-authorship network connecting the top 25 collaborators of Marc Boulé. A scholar is included among the top collaborators of Marc Boulé 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 Marc Boulé. Marc Boulé 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:

19 of 19 papers shown

Boulé, Marc. (2023). DC power transported by two infinite parallel wires. American Journal of Physics. 92(1). 14–22.

Boulé, Marc. (2014). The role of Finite Element Method software in the teaching of electromagnetics. 44–51. 2 indexed citations

Boulé, Marc, et al.. (2013). Efficient Data Encoding for Improving Fault Simulation Performance on GPUs. 138–142. 6 indexed citations

Boulé, Marc, et al.. (2013). Mu-GSIM: A mutation testing simulator on GPUs. 302–311.

Boulé, Marc, et al.. (2013). Test compaction techniques for assertion-based test generation. ACM Transactions on Design Automation of Electronic Systems. 19(1). 1–29. 6 indexed citations

Boulé, Marc, et al.. (2012). Assertion clustering for compacted test sequence generation. 694–701. 9 indexed citations

Boulé, Marc, et al.. (2011). Generating compact assertions for control-based logic signals. Espace ÉTS (ETS). 1–4. 3 indexed citations

Boulé, Marc, et al.. (2010). Validating Assertion Language Rewrite Rules and Semantics With Automated Theorem Provers. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 29(9). 1436–1448. 4 indexed citations

Boulé, Marc, et al.. (2010). Defining and Providing Coverage for Assertion-Based Dynamic Verification. Journal of Electronic Testing. 26(2). 211–225. 5 indexed citations

10.

Boulé, Marc, et al.. (2009). Airwolf-TG: A test generator for assertion-based dynamic verification. Espace ÉTS (ETS). 106–113. 4 indexed citations

11.

Boulé, Marc & Željko Žilić. (2008). Assertion checkers - enablers of quality design. Espace ÉTS (ETS). 97–100. 1 indexed citations

12.

Boulé, Marc & Željko Žilić. (2008). Generating Hardware Assertion Checkers. Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)). 57 indexed citations

13.

Boulé, Marc & Željko Žilić. (2008). Automata-based assertion-checker synthesis of PSL properties. ACM Transactions on Design Automation of Electronic Systems. 13(1). 1–21. 61 indexed citations

14.

Boulé, Marc & Željko Žilić. (2007). Efficient Automata-Based Assertion-Checker Synthesis of SEREs for Hardware Emulation. Espace ÉTS (ETS). 324–329. 21 indexed citations

15.

Boulé, Marc, et al.. (2006). Adding Debug Enhancements to Assertion Checkers for Hardware Emulation and Silicon Debug. Espace ÉTS (ETS). 294–299. 41 indexed citations

16.

Boulé, Marc & Željko Žilić. (2006). Efficient Automata-Based Assertion-Checker Synthesis of PSL Properties. Espace ÉTS (ETS). 2. 69–76. 30 indexed citations

17.

Boulé, Marc, et al.. (2006). Incorporating efficient assertion checkers into hardware emulation. Espace ÉTS (ETS). 221–228. 42 indexed citations

18.

Boulé, Marc, et al.. (2003). An FPGA based move generator for the game of chess. Espace ÉTS (ETS). 71–74. 5 indexed citations

19.

Radzioch, Danuta, Thomas J. Hudson, Marc Boulé, et al.. (1991). Genetic Resistance/Susceptibility to Mycobacteria: Phenotypic Expression in Bone Marrow Derived Macrophage Lines. Journal of Leukocyte Biology. 50(3). 263–272. 72 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