Patrice Chalin

945 total citations
37 papers, 236 citations indexed

About

Patrice Chalin is a scholar working on Artificial Intelligence, Information Systems and Software. According to data from OpenAlex, Patrice Chalin has authored 37 papers receiving a total of 236 indexed citations (citations by other indexed papers that have themselves been cited), including 25 papers in Artificial Intelligence, 20 papers in Information Systems and 13 papers in Software. Recurrent topics in Patrice Chalin's work include Advanced Software Engineering Methodologies (17 papers), Logic, programming, and type systems (15 papers) and Software Engineering Research (11 papers). Patrice Chalin is often cited by papers focused on Advanced Software Engineering Methodologies (17 papers), Logic, programming, and type systems (15 papers) and Software Engineering Research (11 papers). Patrice Chalin collaborates with scholars based in Canada, United States and Germany. Patrice Chalin's co-authors include Ferhat Khendek, John Hatcliff, Brian Larson, Robby, Peter Grogono, Nicholas S. Thompson, Brandon C. Irwin, Greg Butler, P.R. James and Gary T. Leavens and has published in prestigious journals such as American Journal of Obstetrics and Gynecology, IEEE Transactions on Software Engineering and Journal of Medical Internet Research.

In The Last Decade

Patrice Chalin

35 papers receiving 196 citations

Peers

Patrice Chalin

AI

SOFTW

IS

CTM

CNC

Martyn Thomas United Kingdom

Oksana Tkachuk United States

Christophe Damas Belgium

Bernard Lambeau Belgium

Yamine Aït‐Ameur France

Jarle Hulaas Switzerland

Dennis Griffith United States

Shmuel Tyszberowicz Israel

Lydie du Bousquet France

Timothy Kelly United Kingdom

Martyn Thomas United Kingdom

Patrice Chalin

63 ×0.4

AI

95 ×0.9

SOFTW

64 ×0.7

IS

50 ×0.7

CTM

18 ×0.7

CNC

Citations per year, relative to Patrice Chalin Patrice Chalin (= 1×) peers Martyn Thomas

Countries citing papers authored by Patrice Chalin

Since Specialization

Citations

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

Fields of papers citing papers by Patrice Chalin

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Patrice Chalin

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

1.

Irwin, Brandon C., et al.. (2016). Testing the Efficacy of OurSpace, a Brief, Group Dynamics-Based Physical Activity Intervention: A Randomized Controlled Trial. Journal of Medical Internet Research. 18(4). e87–e87. 15 indexed citations

2.

Chalin, Patrice. (2014). Ensuring that your dart will hit the mark: An introduction to dart contracts. 7. 369–377. 2 indexed citations

3.

Hatcliff, John, et al.. (2013). Explicating symbolic execution (xSymExe): an evidence-based verification framework. International Conference on Software Engineering. 222–231. 3 indexed citations

4.

Larson, Brian, John Hatcliff, & Patrice Chalin. (2013). Open source Patient-Controlled Analgesic pump requirements documentation. PubMed. 28–34. 9 indexed citations

5.

Hatcliff, John, et al.. (2013). Explicating symbolic execution (xSymExe): An evidence-based verification framework. 2013 35th International Conference on Software Engineering (ICSE). 178. 222–231. 2 indexed citations

6.

Larson, Brian, et al.. (2012). Requirements specification for apps in medical application platforms. 26–32. 10 indexed citations

7.

Hatcliff, John, et al.. (2011). Enhancing spark's contract checking facilities using symbolic execution. 47–60. 1 indexed citations

8.

Butler, Greg, et al.. (2010). Techniques for use case modeling in Fujaba. V1–487. 1 indexed citations

9.

Khendek, Ferhat, et al.. (2010). Partial order semantics for use case and task models. Formal Aspects of Computing. 23(3). 307–332. 5 indexed citations

10.

Chalin, Patrice. (2009). Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less. 2031. 317–324. 1 indexed citations

11.

Chalin, Patrice, et al.. (2009). Faster and More Complete Extended Static Checking for the Java Modeling Language. Journal of Automated Reasoning. 44(1-2). 145–174. 2 indexed citations

12.

Chalin, Patrice, et al.. (2008). Capturing business transaction requirements in use case models. 602–606. 1 indexed citations

13.

Chalin, Patrice, et al.. (2007). Non-null references by default in java: alleviating the nullity annotation burden. 227–247. 39 indexed citations

14.

Chalin, Patrice, et al.. (2007). An integrated verification environment for JML. 47–53. 8 indexed citations

15.

Chalin, Patrice. (2007). Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations?. Formal Aspects of Computing. 19(2). 139–158. 2 indexed citations

16.

Chalin, Patrice. (2007). A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler. 23–33. 10 indexed citations

17.

Chalin, Patrice, et al.. (2006). Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study. Electronic Notes in Theoretical Computer Science. 157(2). 119–132. 2 indexed citations

18.

Chalin, Patrice. (2005). Reassessing JML’s Logical Foundation. American Journal of Obstetrics and Gynecology. 115(7). 875–80. 4 indexed citations

19.

Chalin, Patrice. (2005). Logical foundations of program assertions: what do practitioners want?. 2805. 383–392. 9 indexed citations

20.

Chalin, Patrice. (2004). JML Support for Primitive Arbitrary Precision Numeric Types: Definition and Semantics.. The Journal of Object Technology. 3(6). 57–57. 7 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