Salem Derisavi

1.1k total citations
18 papers, 642 citations indexed

About

Salem Derisavi is a scholar working on Computational Theory and Mathematics, Hardware and Architecture and Software. According to data from OpenAlex, Salem Derisavi has authored 18 papers receiving a total of 642 indexed citations (citations by other indexed papers that have themselves been cited), including 14 papers in Computational Theory and Mathematics, 9 papers in Hardware and Architecture and 6 papers in Software. Recurrent topics in Salem Derisavi's work include Formal Methods in Verification (11 papers), Petri Nets in System Modeling (10 papers) and Real-Time Systems Scheduling (7 papers). Salem Derisavi is often cited by papers focused on Formal Methods in Verification (11 papers), Petri Nets in System Modeling (10 papers) and Real-Time Systems Scheduling (7 papers). Salem Derisavi collaborates with scholars based in United States, Canada and Germany. Salem Derisavi's co-authors include William H. Sanders, Tod Courtney, Holger Hermanns, David Daly, G.M.G. Clark, Daniel D. Deavours, Greg Franks, Murray Woodside, Olivia Das and Peter Kemper and has published in prestigious journals such as IEEE Transactions on Software Engineering, Linear Algebra and its Applications and Information Processing Letters.

In The Last Decade

Salem Derisavi

17 papers receiving 595 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Salem Derisavi United States	9	306	261	197	140	140	18	642
Tod Courtney United States	10	285 0.9×	159 0.6×	130 0.7×	124 0.9×	91 0.7×	24	575
David Daly United States	9	306 1.0×	125 0.5×	96 0.5×	99 0.7×	59 0.4×	30	515
Huibiao Zhu China	13	287 0.9×	278 1.1×	119 0.6×	236 1.7×	298 2.1×	176	729
Man‐Tak Shing United States	13	162 0.5×	155 0.6×	188 1.0×	155 1.1×	164 1.2×	79	504
Serge Haddad France	14	193 0.6×	493 1.9×	137 0.7×	129 0.9×	197 1.4×	82	740
Béatrice Bérard France	11	172 0.6×	521 2.0×	246 1.2×	90 0.6×	256 1.8×	31	760
Laure Petrucci France	7	130 0.4×	364 1.4×	191 1.0×	99 0.7×	179 1.3×	38	569
Gerd Behrmann Denmark	12	292 1.0×	363 1.4×	209 1.1×	48 0.3×	160 1.1×	31	726
Ph. Schnoebelen France	12	150 0.5×	668 2.6×	286 1.5×	91 0.7×	392 2.8×	26	877
Marina Ribaudo Italy	11	138 0.5×	271 1.0×	78 0.4×	109 0.8×	106 0.8×	42	474

Countries citing papers authored by Salem Derisavi

Since Specialization

Citations

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

Fields of papers citing papers by Salem Derisavi

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Salem Derisavi

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

18 of 18 papers shown

Wimmer, Ralf, Salem Derisavi, & Holger Hermanns. (2010). Symbolic partition refinement with automatic balancing of time and space. Performance Evaluation. 67(9). 816–836. 6 indexed citations

Bondhugula, Uday, et al.. (2009). Compact multi-dimensional kernel extraction for register tiling. 1–12. 7 indexed citations

Wimmer, Ralf, Salem Derisavi, & Holger Hermanns. (2008). Symbolic Partition Refinement with Dynamic Balancing of Time and Space. 4114. 65–74. 3 indexed citations

Franks, Greg, et al.. (2008). Enhanced Modeling and Solution of Layered Queueing Networks. IEEE Transactions on Software Engineering. 35(2). 148–161. 132 indexed citations

Derisavi, Salem. (2007). Signature-based Symbolic Algorithm for Optimal Markov Chain Lumping. HAL (Le Centre pour la Communication Scientifique Directe). 141–150. 14 indexed citations

Derisavi, Salem, et al.. (2007). Deriving distribution of thread service time in layered queueing networks. 66–77. 3 indexed citations

Derisavi, Salem, et al.. (2007). Performance Modeling of a Quorum Pattern in Layered Service Systems. 201–210. 5 indexed citations

Courtney, Tod, Salem Derisavi, Shravan Gaonkar, et al.. (2005). The Mobius Modeling Environment: Recent Extensions - 2005. 28. 259–260. 7 indexed citations

Sanders, William H. & Salem Derisavi. (2005). Solution of large markov models using lumping techniques and symbolic data structures. 6 indexed citations

10.

Derisavi, Salem, Peter Kemper, & William H. Sanders. (2005). Lumping Matrix Diagram Representations of Markov Models. 2090. 742–751. 14 indexed citations

11.

Derisavi, Salem, Peter Kemper, & William H. Sanders. (2004). Symbolic state-space exploration and numerical analysis of state-sharing composed models. Linear Algebra and its Applications. 386. 137–166. 26 indexed citations

12.

Bohnenkamp, Henrik, Tod Courtney, David Daly, et al.. (2004). On integrating the MOBIUS and MODEST modeling tools. University of Twente Research Information. 28. 671–671. 9 indexed citations

13.

Courtney, Tod, David Daly, Salem Derisavi, et al.. (2004). The Mobius modeling environment: recent developments. 28. 328–329. 7 indexed citations

14.

Derisavi, Salem, Holger Hermanns, & William H. Sanders. (2003). Optimal state-space lumping in Markov chains. Information Processing Letters. 87(6). 309–315. 101 indexed citations

15.

Derisavi, Salem, Peter Kemper, William H. Sanders, & Tod Courtney. (2003). The Möbius state-level abstract functional interface. Performance Evaluation. 54(2). 105–128. 12 indexed citations

16.

Clark, G.M.G., Tod Courtney, David Daly, et al.. (2002). The Mobius modeling tool. 241–250. 109 indexed citations

17.

Deavours, Daniel D., G.M.G. Clark, Tod Courtney, et al.. (2002). The Mobius framework and its implementation. IEEE Transactions on Software Engineering. 28(10). 956–969. 181 indexed citations

18.

Sanders, William H., Constantine D. Polychronopoulos, Ting Huang, et al.. (2002). Overview: an integrated framework for performance engineering and resource-aware compilation. 8 pp–8 pp.

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