B. Labaw

1.6k citations
16 papers · 836 indexed · h-index 10

B. Labaw

14 papers receiving 738 citations

Peers

B. Labaw
Comparison fields: 5 of 33
  • Software 578
  • Computational Theory and Mathematics 457
  • Hardware and Architecture 112
  • Artificial Intelligence 416
  • Information Systems 252
Replace Ralph D. Jeffords with:
Ralph D. Jeffords United States
Jan Madey Canada
Arie Gurfinkel United States
Sam Owre United States
Vı́ctor Braberman Argentina
Jan Tretmans Netherlands
François Laroussinie France
Sascha Konrad United States
Stefano Tonetta Italy
Thierry Jéron France
B. Labaw relative to Ralph D. Jeffords United States Ralph D. Jeffords's profile →
Citations per field
00.5×
Ralph D. Jeffords · 1×
Citations per year

Countries citing papers authored by B. Labaw

Since Specialization
Citations

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

Fields of papers citing papers by B. Labaw

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network

The 8 scholars most cited alongside B. Labaw, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.

Border = papers with B. Labaw Line = papers co-authored together B. Labaw links everyone, so they are left out of the graph.

All Works

16 of 16 papers shown
#Work
1 20030
2 200265
3 20024
4 20021
5 200218
6 200261
7 20023
8 20027
9 200233
10 199815
11 1998119
12 199733
13 1996419
14
Comparing different approaches for specifying and verifying real-time systems
199323
15
A Benchmark for Comparing Different Approaches for Specifying and Verifying Real-Time Systems
199334
16
Software development for hard real-time systems
19901

About B. Labaw

B. Labaw is a scholar working on Software, Hardware and Architecture, Computational Theory and Mathematics, Control and Systems Engineering and Safety, Risk, Reliability and Quality, having authored 16 papers that have together received 836 indexed citations. Recurring topics across this work include Formal Methods in Verification (11 papers), Software Reliability and Analysis Research (8 papers), Software Testing and Debugging Techniques (6 papers), Real-Time Systems Scheduling (5 papers), Real-time simulation and control systems (4 papers), Advanced Software Engineering Methodologies (3 papers), Model-Driven Software Engineering Techniques (2 papers) and Software Engineering Research (2 papers). The work is most often cited by research in Software (578 citations), Computational Theory and Mathematics (457 citations), Hardware and Architecture (112 citations), Artificial Intelligence (416 citations) and Information Systems (252 citations). B. Labaw has collaborated with scholars based in United States. Frequent co-authors include Constance Heitmeyer, Ralph D. Jeffords, James Kirby, Myla Archer, Ramesh Bharadwaj, Paul Clements, Farnam Jahanian and Aloysius K. Mok. Their work appears in journals such as ACM Transactions on Software Engineering and Methodology, IEEE Transactions on Software Engineering and Defense Technical Information Center (DTIC).

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

Rankless by CCL
2026