Oded Maler

12.3k total citations
65 papers, 1.2k citations indexed

About

Oded Maler is a scholar working on Computational Theory and Mathematics, Hardware and Architecture and Artificial Intelligence. According to data from OpenAlex, Oded Maler has authored 65 papers receiving a total of 1.2k indexed citations (citations by other indexed papers that have themselves been cited), including 42 papers in Computational Theory and Mathematics, 25 papers in Hardware and Architecture and 17 papers in Artificial Intelligence. Recurrent topics in Oded Maler's work include Formal Methods in Verification (34 papers), Embedded Systems Design Techniques (18 papers) and Logic, programming, and type systems (11 papers). Oded Maler is often cited by papers focused on Formal Methods in Verification (34 papers), Embedded Systems Design Techniques (18 papers) and Logic, programming, and type systems (11 papers). Oded Maler collaborates with scholars based in France, Israel and United States. Oded Maler's co-authors include Eugène Asarin, Amir Pnueli, Thao Dang, Joseph Sifakis, Dejan Ničković, Olivier Bournez, Alexandre Donzé, Ludwig Staiger, P. Caspi and Selma Saidi and has published in prestigious journals such as SHILAP Revista de lepidopterología, PLoS ONE and Proceedings of the IEEE.

In The Last Decade

Oded Maler

61 papers receiving 1.1k citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Oded Maler France	19	881	369	290	269	217	65	1.2k
Howard Wong-Toi United States	12	935 1.1×	260 0.7×	306 1.1×	308 1.1×	150 0.7×	23	1.1k
Alfredo Olivero Argentina	7	902 1.0×	292 0.8×	298 1.0×	403 1.5×	206 0.9×	14	1.1k
Xavier Nicollin France	9	1.5k 1.8×	525 1.4×	617 2.1×	656 2.4×	229 1.1×	11	1.8k
Franjo Ivančić United States	18	570 0.6×	309 0.8×	274 0.9×	451 1.7×	140 0.6×	53	1.0k
Jyotirmoy V. Deshmukh United States	16	473 0.5×	376 1.0×	159 0.5×	372 1.4×	176 0.8×	61	885
Peter W. Kopke United States	5	681 0.8×	301 0.8×	184 0.6×	258 1.0×	115 0.5×	7	892
Roderick Bloem Austria	24	1.1k 1.3×	750 2.0×	306 1.1×	810 3.0×	94 0.4×	90	1.7k
Tiziano Villa Italy	22	905 1.0×	527 1.4×	694 2.4×	283 1.1×	141 0.6×	110	1.7k
Sergio Yovine France	19	2.2k 2.4×	750 2.0×	927 3.2×	972 3.6×	293 1.4×	62	2.6k
Rosaria Simone France	13	760 0.9×	338 0.9×	994 3.4×	192 0.7×	65 0.3×	54	1.4k

Countries citing papers authored by Oded Maler

Since Specialization

Citations

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

Fields of papers citing papers by Oded Maler

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Oded Maler

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

Poplavko, Peter, et al.. (2016). A Runtime Environment for Real-time Streaming Applications on Clustered Multi-cores.

Stoma, Szymon, Alexandre Donzé, François Bertaux, Oded Maler, & Grégory Batt. (2013). STL-based Analysis of TRAIL-induced Apoptosis Challenges the Notion of Type I/Type II Cell Line Classification. PLoS Computational Biology. 9(5). e1003056–e1003056. 6 indexed citations

Saidi, Selma, et al.. (2013). Optimizing two-dimensional DMA transfers for scratchpad Based MPSoCs platforms. Microprocessors and Microsystems. 37(8). 848–857. 3 indexed citations

Donzé, Alexandre, et al.. (2011). Robustness Analysis and Behavior Discrimination in Enzymatic Reaction Networks. PLoS ONE. 6(9). e24246–e24246. 33 indexed citations

Dang, Thao, Colas Le Guernic, & Oded Maler. (2011). Computing reachable states for nonlinear biological models. Theoretical Computer Science. 412(21). 2095–2107. 13 indexed citations

Bouajjani, Ahmed & Oded Maler. (2009). Computer aided verification : 21th international conference, CAV 2009, Grenoble, France, June 26-July 2, 2009 : proceedings. Springer eBooks. 2 indexed citations

Dang, Thao, et al.. (2008). Sensitive state-space exploration. 4049–4054. 30 indexed citations

Asarin, Eugène, et al.. (2005). Scheduling with timed automata. Theoretical Computer Science. 354(2). 272–300. 97 indexed citations

Maler, Oded & Amir Pnueli. (2003). Hybrid Systems: Computation and Control. Lecture notes in computer science. 37 indexed citations

10.

Niebert, Peter, et al.. (2002). A Satisfiability Checker for Difference Logic. 4 indexed citations

11.

Kesten, Yonit, et al.. (2001). Symbolic model checking with rich assertional languages. Theoretical Computer Science. 256(1-2). 93–112. 48 indexed citations

12.

Bozga, Marius, Conrado Daws, Oded Maler, et al.. (1998). Kronos: a model-checking tool for real-time systems. HAL (Le Centre pour la Communication Scientifique Directe). 1 indexed citations

13.

Asarin, Eugène & Oded Maler. (1998). Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy. Journal of Computer and System Sciences. 57(3). 389–398. 9 indexed citations

14.

Maler, Oded, et al.. (1997). Hybrid and real-time systems : International Workshop, HART'97, Grenoble, France, March 26-28, 1997 : proceedings. Springer eBooks.

15.

Maler, Oded & Ludwig Staiger. (1997). On syntactic congruences for ω-languages. Theoretical Computer Science. 183(1). 93–112. 18 indexed citations

16.

Asarin, Eugène, Oded Maler, & Amir Pnueli. (1995). Reachability analysis of dynamical systems having piecewise-constant derivatives. Theoretical Computer Science. 138(1). 35–65. 106 indexed citations

17.

Maler, Oded & Amir Pnueli. (1995). On the Learnability of Infinitary Regular Sets. Information and Computation. 118(2). 316–326. 29 indexed citations

18.

Maler, Oded. (1995). A decomposition theorem for probabilistic transition systems. Theoretical Computer Science. 145(1-2). 391–396. 7 indexed citations

19.

Maler, Oded & Ludwig Staiger. (1993). On Syntactic Congruences for Omega-Languages. 586–594. 7 indexed citations

20.

Maler, Oded & Amir Pnueli. (1991). On the learnability of infinitary regular sets. Conference on Learning Theory. 128–138. 9 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