Henny B. Sipma
- Computational Theory and Mathematics top 1%
- Artificial Intelligence top 5%
- Software top 2%
- Hardware and Architecture top 5%
- Computer Networks and Communications top 10%
- Co-authors
- Zohar MannaSriram SankaranarayananBernd FinkbeinerTomás E. UribeCésar SánchezNikolaj BjørnerS. SankaranarayananMichael A. Colón
- Topics
- Formal Methods in Verification (18 papers)Logic, programming, and type systems (13 papers)Distributed systems and fault tolerance (6 papers)
- Partner nations
- United StatesGermanySwitzerland
In The Last Decade
Henny B. Sipma
24 papers receiving 474 citations
Peers
Comparison fields: 5 of 40
- Computational Theory and Mathematics 402
- Artificial Intelligence 289
- Software 194
- Hardware and Architecture 104
- Computer Networks and Communications 77
Countries citing papers authored by Henny B. Sipma
This map shows the geographic impact of Henny B. Sipma'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 Henny B. Sipma with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Henny B. Sipma more than expected).
Fields of papers citing papers by Henny B. Sipma
This network shows the impact of papers produced by Henny B. Sipma. 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 Henny B. Sipma. The network helps show where Henny B. Sipma may publish in the future.
Co-authorship network of co-authors of Henny B. Sipma
This figure shows the co-authorship network connecting the top 25 collaborators of Henny B. Sipma. A scholar is included among the top collaborators of Henny B. Sipma 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 Henny B. Sipma. Henny B. Sipma is excluded from the visualization to improve readability, since they are connected to all nodes in the network.
All Works
| # | Work | Indexed citations |
|---|---|---|
| 1 | Vulnerabilities in Bytecode Removed by Analysis, Nuanced Confinement and Diversification (VIBRANCE) | 1 |
| 2 | 50 | |
| 3 | 7 | |
| 4 | 2 | |
| 5 | 1 | |
| 6 | 6 | |
| 7 | 91 | |
| 8 | 18 | |
| 9 | 107 | |
| 10 | 38 | |
| 11 | 18 | |
| 12 | 12 | |
| 13 | 18 | |
| 14 | 24 | |
| 15 | 17 | |
| 16 | 44 | |
| 17 | Verification of Parameterized Systems by Dynamic Induction on Diagrams | 3 |
| 18 | 17 | |
| 19 | Diagram-based verification of discrete, real-time and hybrid systems | 7 |
| 20 | Deductive Verification of Modular Systems | 2 |
About Henny B. Sipma
Henny B. Sipma is a scholar working on Software, Computational Theory and Mathematics and Hardware and Architecture, having authored 25 papers that have together received 513 indexed citations. Recurring topics across this work include Formal Methods in Verification (18 papers), Logic, programming, and type systems (13 papers) and Distributed systems and fault tolerance (6 papers). The work is most often cited by research in Software (194 citations), Computational Theory and Mathematics (402 citations) and Hardware and Architecture (104 citations). Henny B. Sipma has collaborated with scholars based in United States, Germany and Switzerland. Frequent co-authors include Zohar Manna, Sriram Sankaranarayanan, Bernd Finkbeiner, Tomás E. Uribe, César Sánchez, Nikolaj Bjørner, S. Sankaranarayanan, Michael A. Colón, Anca Browne and Christopher Gill. Their work appears in journals such as Theoretical Computer Science, ACM SIGPLAN Notices and Information and Computation.
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.