Domagoj Babić

994 total citations
26 papers, 546 citations indexed

About

Domagoj Babić is a scholar working on Software, Computational Theory and Mathematics and Information Systems. According to data from OpenAlex, Domagoj Babić has authored 26 papers receiving a total of 546 indexed citations (citations by other indexed papers that have themselves been cited), including 19 papers in Software, 14 papers in Computational Theory and Mathematics and 13 papers in Information Systems. Recurrent topics in Domagoj Babić's work include Software Testing and Debugging Techniques (16 papers), Formal Methods in Verification (13 papers) and Software Engineering Research (11 papers). Domagoj Babić is often cited by papers focused on Software Testing and Debugging Techniques (16 papers), Formal Methods in Verification (13 papers) and Software Engineering Research (11 papers). Domagoj Babić collaborates with scholars based in Canada, United States and United Kingdom. Domagoj Babić's co-authors include Alan J. Hu, Dawn Song, Holger H. Hoos, Frank Hutter, Stephen McCamant, Lorenzo Martignoni, Chia Yuan Cho, Pongsin Poosankam, Stefan Bucur and Yaohui Chen and has published in prestigious journals such as SHILAP Revista de lepidopterología, IEEE Transactions on Computers and ACM SIGPLAN Notices.

In The Last Decade

Domagoj Babić

24 papers receiving 504 citations

Peers

Countries citing papers authored by Domagoj Babić

Since Specialization

Citations

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

Fields of papers citing papers by Domagoj Babić

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Domagoj Babić

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

#	Work	Indexed citations
1	FUDGE: fuzz driver generation at scale 2019 ·Domagoj Babić, Stefan Bucur, Yaohui Chen, Franjo Ivančić, Tim L. King, Markus Kusano, Caroline Lemieux, László Szekeres, Wei Wang	67
2	A scalable, flow-and-context-sensitive taint analysis of android applications 2018 ·Wontae Choi, Jayanthkumar Kannan, Domagoj Babić	3
3	Implementation of a Flexible Bayesian Classifier for the Assessment of Patient’s Activities within a Real-time Personalized Mobile Application 2017 ·SHILAP Revista de lepidopterología ·(unknown), Domagoj Babić	2
4	SunDew: systematic automated security testing (keynote) 2017 ·Domagoj Babić	2
5	Interactive Code Snippet Synthesis Through Repository Mining 2013 ·(unknown), Domagoj Babić	1
6	Sigma* 2013 ·ACM SIGPLAN Notices ·(unknown), Domagoj Babić	6
7	Extraction of statistically significant malware behaviors 2013 ·(unknown), Domagoj Babić, Swarat Chaudhuri, Daniel Kifer	23
8	Sigma* 2013 ·(unknown), Domagoj Babić	28
9	Recognizing malicious software behaviors with tree automata inference 2012 ·Formal Methods in System Design ·Domagoj Babić, Daniel Reynaud, Dawn Song	9
10	MACE: model-inference-assisted concolic exploration for protocol and vulnerability discovery 2011 ·USENIX Security Symposium ·Chia Yuan Cho, Domagoj Babić, Pongsin Poosankam, (unknown), (unknown), Dawn Song	68
11	Statically-directed dynamic automated test generation 2011 ·Domagoj Babić, Lorenzo Martignoni, Stephen McCamant, Dawn Song	83
12	Approximating the safely reusable set of learned facts 2009 ·International Journal on Software Tools for Technology Transfer ·Domagoj Babić, Alan J. Hu	2
13	Calysto 2008 ·Domagoj Babić, Alan J. Hu	99
14	Boosting Verification by Automatic Tuning of Decision Procedures 2007 ·Frank Hutter, Domagoj Babić, Holger H. Hoos, Alan J. Hu	56
15	Proving Termination by Divergence. 2007 ·Lirias (KU Leuven) ·Domagoj Babić, Alan J. Hu, Zvonimir Rakamarić, Byron Cook	8
16	Boosting Verification by Automatic Tuning of Decision Procedures 2007 ·Frank Hutter, Domagoj Babić, Holger H. Hoos, Alan J. Hu	24
17	B-cubing theory: new possibilities for efficient SAT-solving 2006 ·Domagoj Babić, Jesse Bingham, Alan J. Hu	1
18	Modular Arithmetic Decision Procedure 2005 ·Domagoj Babić, (unknown)	18
19	Integration of supercubing and learning in a SAT solver 2005 ·Domagoj Babić, Alan J. Hu	4
20	Simulation of Real-Time Scheduling Algorithms in Object Oriented Systems 2002 ·Information Technology Interfaces ·(unknown), Zvonimir Rakamarić, Domagoj Babić	0

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