M. Blume

3.8k total citations
43 papers, 698 citations indexed

About

M. Blume is a scholar working on Artificial Intelligence, Hardware and Architecture and Computational Theory and Mathematics. According to data from OpenAlex, M. Blume has authored 43 papers receiving a total of 698 indexed citations (citations by other indexed papers that have themselves been cited), including 34 papers in Artificial Intelligence, 18 papers in Hardware and Architecture and 11 papers in Computational Theory and Mathematics. Recurrent topics in M. Blume's work include Logic, programming, and type systems (26 papers), Parallel Computing and Optimization Techniques (16 papers) and Formal Methods in Verification (11 papers). M. Blume is often cited by papers focused on Logic, programming, and type systems (26 papers), Parallel Computing and Optimization Techniques (16 papers) and Formal Methods in Verification (11 papers). M. Blume collaborates with scholars based in United States, Japan and Switzerland. M. Blume's co-authors include Amal Ahmed, Umut A. Acar, David McAllester, Andrew W. Appel, Kanat Tangwongsan, Guy E. Blelloch, Lal George, Sadik C. Esener, Robert Harper and Dayne Freitag and has published in prestigious journals such as Journal of Lightwave Technology, Neural Networks and European Journal of Organic Chemistry.

In The Last Decade

M. Blume

41 papers receiving 644 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
M. Blume United States 17 527 222 182 150 147 43 698
Andreas Rossberg Germany 14 559 1.1× 180 0.8× 238 1.3× 191 1.3× 198 1.3× 29 769
Alan Mycroft United Kingdom 15 491 0.9× 293 1.3× 271 1.5× 256 1.7× 283 1.9× 80 852
Peter Thiemann Germany 18 687 1.3× 213 1.0× 148 0.8× 262 1.7× 282 1.9× 118 858
Chris Okasaki United States 12 443 0.8× 196 0.9× 204 1.1× 103 0.7× 254 1.7× 28 596
David Chase United States 9 428 0.8× 424 1.9× 310 1.7× 209 1.4× 212 1.4× 14 798
Martin Odersky Switzerland 8 457 0.9× 318 1.4× 223 1.2× 176 1.2× 152 1.0× 18 673
Simon Peyton-Jones United Kingdom 9 372 0.7× 397 1.8× 548 3.0× 140 0.9× 154 1.0× 14 826
Robert Glück Denmark 16 673 1.3× 227 1.0× 107 0.6× 127 0.8× 439 3.0× 70 795
Andrew Tolmach United States 15 688 1.3× 360 1.6× 237 1.3× 228 1.5× 243 1.7× 35 828
Jean-Christophe Filliâtre France 10 596 1.1× 151 0.7× 127 0.7× 99 0.7× 487 3.3× 25 783

Countries citing papers authored by M. Blume

Since Specialization
Citations

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

Fields of papers citing papers by M. Blume

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

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

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

All Works

20 of 20 papers shown
1.
Acar, Umut A., Guy E. Blelloch, M. Blume, & Robert Harper. (2018). Self-Adjusting Programming. KiltHub Repository.
2.
Acar, Umut A., et al.. (2013). A consistent semantics of self-adjusting computation. Journal of Functional Programming. 23(3). 249–292. 2 indexed citations
3.
Xie, Jianjun, et al.. (2011). Feature engineering in user's music preference prediction. Knowledge Discovery and Data Mining. 183–197. 2 indexed citations
4.
Blume, M.. (2010). Functional and logic programming : 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19 - 21, 2010, proceedings. Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)). 1 indexed citations
5.
Acar, Umut A., Amal Ahmed, & M. Blume. (2008). Imperative self-adjusting computation. 309–322. 59 indexed citations
6.
Ahmed, Amal & M. Blume. (2008). Typed closure conversion preserves observational equivalence. 157–168. 41 indexed citations
7.
Ahmed, Amal & M. Blume. (2008). Typed closure conversion preserves observational equivalence. ACM SIGPLAN Notices. 43(9). 157–168. 30 indexed citations
8.
Blume, M., et al.. (2008). Building a Family of Compilers. 307–316. 10 indexed citations
9.
Ji, Heng, M. Blume, Dayne Freitag, et al.. (2007). NYU-Fair Issac-RWTH Chinese to English entity translation 07 system. 6 indexed citations
10.
Blume, M. & David McAllester. (2006). Sound and complete models of contracts. Journal of Functional Programming. 16(4-5). 375–414. 53 indexed citations
11.
Blume, M., et al.. (2006). Extensible programming with first-class cases. ACM SIGPLAN Notices. 41(9). 239–250. 1 indexed citations
12.
Blume, M., et al.. (2006). Extensible programming with first-class cases. 239–250. 15 indexed citations
13.
Freitag, Dayne, M. Blume, John Byrnes, et al.. (2005). New experiments in distributional representations of synonymy. 25–25. 39 indexed citations
14.
Blume, M. & David McAllester. (2004). A sound (and complete) model of contracts. 189–200. 3 indexed citations
15.
George, Lal & M. Blume. (2003). Taming the IXP network processor. 26–37. 20 indexed citations
16.
Blume, M., et al.. (2002). Optimization of smart pixel receivers. 68–69.
17.
Herbertz, Torsten, et al.. (2000). Oxidation of Aryl- and Diarylcyclopropanes in a Pentasil Zeolite: Ring Opening with Deprotonation or Net Hydrogen Migration. European Journal of Organic Chemistry. 2000(3). 467–472. 3 indexed citations
18.
Blume, M.. (1998). Hierarchical modulatory and intermodule optimization. 3 indexed citations
19.
Blume, M. & Andrew W. Appel. (1997). Lambda-splitting. 112–124. 12 indexed citations
20.
Blume, M. & Sadik C. Esener. (1995). Optoelectronic Fuzzy ARTMAP Processor. OTuE19–OTuE19. 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

Breakdown of academic impact, for papers by Andreas Rossberg Breakdown of academic impact, for papers by Alan Mycroft Breakdown of academic impact, for papers by Peter Thiemann Breakdown of academic impact, for papers by Chris Okasaki Breakdown of academic impact, for papers by David Chase Breakdown of academic impact, for papers by Martin Odersky Breakdown of academic impact, for papers by Simon Peyton-Jones Breakdown of academic impact, for papers by Robert Glück Breakdown of academic impact, for papers by Andrew Tolmach Breakdown of academic impact, for papers by Jean-Christophe Filliâtre
Rankless by CCL
2026