Ali Mili

1.6k total citations
115 papers, 860 citations indexed

About

Ali Mili is a scholar working on Software, Information Systems and Artificial Intelligence. According to data from OpenAlex, Ali Mili has authored 115 papers receiving a total of 860 indexed citations (citations by other indexed papers that have themselves been cited), including 56 papers in Software, 54 papers in Information Systems and 41 papers in Artificial Intelligence. Recurrent topics in Ali Mili's work include Software Testing and Debugging Techniques (38 papers), Software Reliability and Analysis Research (38 papers) and Software Engineering Research (35 papers). Ali Mili is often cited by papers focused on Software Testing and Debugging Techniques (38 papers), Software Reliability and Analysis Research (38 papers) and Software Engineering Research (35 papers). Ali Mili collaborates with scholars based in United States, Tunisia and Canada. Ali Mili's co-authors include Anis Ben Aissa, Frederick T. Sheldon, Robert K. Abercrombie, Jules Desharnais, Latifa Ben Arfa Rabai, Noureddine Boudriga, Mouna Jouini, Sherif Yacoub, Fathi Elloumi and Fatma Mili and has published in prestigious journals such as SHILAP Revista de lepidopterología, Computers in Human Behavior and ACM Computing Surveys.

In The Last Decade

Ali Mili

103 papers receiving 774 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Ali Mili United States	16	506	387	280	242	171	115	860
Richard C. Linger United States	12	544 1.1×	303 0.8×	259 0.9×	340 1.4×	100 0.6×	33	850
Daniel Ratiu Germany	13	524 1.0×	319 0.8×	153 0.5×	453 1.9×	92 0.5×	52	765
Domenico Bianculli Luxembourg	18	501 1.0×	373 1.0×	358 1.3×	274 1.1×	108 0.6×	69	837
Javier Troya Spain	17	420 0.8×	291 0.8×	307 1.1×	594 2.5×	69 0.4×	67	909
Kurt Wallnau United States	15	567 1.1×	520 1.3×	295 1.1×	197 0.8×	37 0.2×	53	845
Paulo César Masiero Brazil	14	531 1.0×	304 0.8×	165 0.6×	447 1.8×	52 0.3×	86	800
Juergen Dingel Canada	18	431 0.9×	509 1.3×	330 1.2×	673 2.8×	233 1.4×	88	1.1k
Pei Hsia United States	18	837 1.7×	369 1.0×	262 0.9×	825 3.4×	75 0.4×	61	1.2k
Derek Coleman United States	11	647 1.3×	518 1.3×	221 0.8×	459 1.9×	122 0.7×	42	967
Markus Voelter Germany	15	630 1.2×	638 1.6×	224 0.8×	584 2.4×	92 0.5×	47	1.1k

Countries citing papers authored by Ali Mili

Since Specialization

Citations

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

Fields of papers citing papers by Ali Mili

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Ali Mili

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

Mili, Ali, et al.. (2024). Subsumption, correctness and relative correctness: Implications for software testing. Science of Computer Programming. 239. 103177–103177.

2.

Mili, Ali, et al.. (2024). Mutation Coverage is not Strongly Correlated with Mutation Coverage. 1–11. 1 indexed citations

3.

Desharnais, Jules, et al.. (2018). Convergence: Integrating termination and abort-freedom. Journal of Logical and Algebraic Methods in Programming. 97. 1–29. 2 indexed citations

4.

Mili, Ali, et al.. (2017). A generic algorithm for program repair. Formal Methods. 65–71. 1 indexed citations

5.

Mili, Ali, et al.. (2015). Correctness and relative correctness. International Conference on Software Engineering. 2. 591–594. 7 indexed citations

6.

Jouini, Mouna, et al.. (2012). Towards quantitative measures of Information Security: A Cloud Computing case study. 1(3). 248–262. 24 indexed citations

7.

Mili, Ali, et al.. (2012). A versatile concept for the analysis of loops. The Journal of Logic and Algebraic Programming. 81(5). 606–622. 5 indexed citations

8.

Mili, Ali, et al.. (2007). Monitoring software technology evolution, one trend at a time. 349–355. 2 indexed citations

9.

Mili, Ali, et al.. (2001). Reuse-based software engineering: techniques, organization, and controls. Wiley-Interscience eBooks. 75 indexed citations

10.

Ayed, Rahma Ben, Jules Desharnais, Marc Frappier, & Ali Mili. (2000). A calculus of program adaptation and its applications. Science of Computer Programming. 38(1-3). 73–123. 5 indexed citations

11.

Desharnais, Jules, Marc Frappier, Ridha Khédri, & Ali Mili. (1997). Integration of sequential scenarios. 22(6). 310–326. 3 indexed citations

12.

Frappier, Marc, et al.. (1997). Detecting Feature Interactions on Relational Specifications.. 123–137. 6 indexed citations

13.

Skuce, Douglas & Ali Mili. (1994). Using Parameterized Classes to Achieve Reusability while Maintaining the Coupling of Application-Specific Objects.. Journal of Object-oriented Programming. 7. 41–44. 2 indexed citations

14.

Desharnais, Jules, Ali Mili, & Fatma Mili. (1993). On the mathematics of sequential decompositions. Science of Computer Programming. 20(3). 253–289. 1 indexed citations

15.

Desharnais, Jules, Ali Jaoua, Fatma Mili, Noureddine Boudriga, & Ali Mili. (1993). A relational division operator: the conjugate kernel. Theoretical Computer Science. 114(2). 247–272. 13 indexed citations

16.

Mili, Ali. (1990). Introduction to Program Fault Tolerance. Prentice Hall PTR eBooks. 9 indexed citations

17.

Mili, Ali, Fatma Mili, & Noureddine Boudriga. (1990). Structured Specifying: Techniques and Applications. 1 indexed citations

18.

Mili, Ali, Noureddine Boudriga, & Fatma Mili. (1989). Towards structured specifying : theory, practice, applications. 1 indexed citations

19.

Mili, Ali. (1983). BOTTOM UP ANALYSIS OF WHILE STATEMENTS: STRONGEST INVARIANT FUNCTIONS.. IFIP Congress. 339–343. 1 indexed citations

20.

Mili, Ali. (1981). Self-checking programs: an axiomatic approach to the validation of programs by the use of assertions. PubMed Central. 40(1). 26–33. 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