M. Rusinowitch

2.0k total citations
12 papers, 300 citations indexed

About

M. Rusinowitch is a scholar working on Artificial Intelligence, Computer Networks and Communications and Computational Theory and Mathematics. According to data from OpenAlex, M. Rusinowitch has authored 12 papers receiving a total of 300 indexed citations (citations by other indexed papers that have themselves been cited), including 12 papers in Artificial Intelligence, 4 papers in Computer Networks and Communications and 3 papers in Computational Theory and Mathematics. Recurrent topics in M. Rusinowitch's work include Logic, programming, and type systems (7 papers), Logic, Reasoning, and Knowledge (5 papers) and Semantic Web and Ontologies (3 papers). M. Rusinowitch is often cited by papers focused on Logic, programming, and type systems (7 papers), Logic, Reasoning, and Knowledge (5 papers) and Semantic Web and Ontologies (3 papers). M. Rusinowitch collaborates with scholars based in France, United States and Tunisia. M. Rusinowitch's co-authors include Mathieu Turuani, Adel Bouhoula, Tarek Abbes, Yannick Chevalier, Ralf Küsters, Adel Bouhoula, Laurent Vigneron, Pierre Marquis, Paliath Narendran and Emmanuel Kounalis and has published in prestigious journals such as Journal of Automated Reasoning, Annals of Mathematics and Artificial Intelligence and Applicable Algebra in Engineering Communication and Computing.

In The Last Decade

M. Rusinowitch

12 papers receiving 272 citations

Peers

M. Rusinowitch
F. Javier Thayer United States
Josyula R. Rao United States
Eike Ritter United Kingdom
W. Marrero United States
Nadia Tawbi Canada
Xiaoyang Sean Wang United States
M.E. Segal United States
Antoine Delignat-Lavaud United Kingdom
Gary Herman United States
Per Brand Sweden
F. Javier Thayer United States
M. Rusinowitch
Citations per year, relative to M. Rusinowitch M. Rusinowitch (= 1×) peers F. Javier Thayer

Countries citing papers authored by M. Rusinowitch

Since Specialization
Citations

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

Fields of papers citing papers by M. Rusinowitch

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of M. Rusinowitch

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

All Works

12 of 12 papers shown
1.
Abbes, Tarek, Adel Bouhoula, & M. Rusinowitch. (2010). Efficient decision tree for protocol analysis in intrusion detection. International Journal of Security and Networks. 5(4). 220–220. 26 indexed citations
2.
Rusinowitch, M. & Mathieu Turuani. (2005). Protocol insecurity with finite number of sessions is NP-complete. HAL (Le Centre pour la Communication Scientifique Directe). 174–187. 71 indexed citations
3.
Abbes, Tarek, Adel Bouhoula, & M. Rusinowitch. (2004). Protocol analysis in intrusion detection using decision tree. 2616. 404–408 Vol.1. 49 indexed citations
4.
Chevalier, Yannick, Ralf Küsters, M. Rusinowitch, & Mathieu Turuani. (2003). An NP decision procedure for protocol insecurity with XOR. 261–270. 62 indexed citations
5.
Narendran, Paliath & M. Rusinowitch. (2002). The unifiability problem in ground AC theories. 7. 364–370. 3 indexed citations
6.
Comon, Hubert, Paliath Narendran, Robert Nieuwenhuis, & M. Rusinowitch. (2002). Decision problems in ordered rewriting. 4. 276–286. 5 indexed citations
7.
Narendran, Paliath & M. Rusinowitch. (1996). Any ground associative-commutative theory has a finite canonical system. Journal of Automated Reasoning. 17(1). 5 indexed citations
8.
Kounalis, Emmanuel & M. Rusinowitch. (1995). Reasoning with conditional axioms. Annals of Mathematics and Artificial Intelligence. 15(2). 125–149. 3 indexed citations
9.
Bouhoula, Adel & M. Rusinowitch. (1995). Implicit induction in conditional theories. Journal of Automated Reasoning. 14(2). 189–235. 46 indexed citations
10.
Rusinowitch, M. & Laurent Vigneron. (1995). Automated deduction with associative-commutative operators. Applicable Algebra in Engineering Communication and Computing. 6(1). 23–56. 13 indexed citations
11.
Rusinowitch, M. & Jean-Luc Rémy. (1993). Conditional term rewriting systems : Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992 : proceedings. Springer eBooks. 1 indexed citations
12.
Marquis, Pierre, et al.. (1993). Preferring diagnoses by abduction. IEEE Transactions on Systems Man and Cybernetics. 23(3). 792–808. 16 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

Breakdown of academic impact, for papers by F. Javier Thayer Breakdown of academic impact, for papers by Josyula R. Rao Breakdown of academic impact, for papers by Eike Ritter Breakdown of academic impact, for papers by W. Marrero Breakdown of academic impact, for papers by Nadia Tawbi Breakdown of academic impact, for papers by Xiaoyang Sean Wang Breakdown of academic impact, for papers by M.E. Segal Breakdown of academic impact, for papers by Antoine Delignat-Lavaud Breakdown of academic impact, for papers by Gary Herman Breakdown of academic impact, for papers by Per Brand
Rankless by CCL
2026