Andreas Holzer

609 total citations
13 papers, 142 citations indexed

About

Andreas Holzer is a scholar working on Software, Artificial Intelligence and Computational Theory and Mathematics. According to data from OpenAlex, Andreas Holzer has authored 13 papers receiving a total of 142 indexed citations (citations by other indexed papers that have themselves been cited), including 6 papers in Software, 5 papers in Artificial Intelligence and 5 papers in Computational Theory and Mathematics. Recurrent topics in Andreas Holzer's work include Software Testing and Debugging Techniques (6 papers), Software Reliability and Analysis Research (4 papers) and Formal Methods in Verification (4 papers). Andreas Holzer is often cited by papers focused on Software Testing and Debugging Techniques (6 papers), Software Reliability and Analysis Research (4 papers) and Formal Methods in Verification (4 papers). Andreas Holzer collaborates with scholars based in Austria, Germany and United Kingdom. Andreas Holzer's co-authors include Helmut Veith, Stefan Katzenbeisser, Martin Franz, Azadeh Farzan, Christian Schallhart, Michael Tautschnig, Martin Daumiller, Stefan Kugele and Daniel Kroening and has published in prestigious journals such as European Journal of Psychology of Education, Formal Methods in System Design and Oxford University Research Archive (ORA) (University of Oxford).

In The Last Decade

Andreas Holzer

10 papers receiving 133 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Andreas Holzer Austria	4	76	51	42	34	32	13	142
Mihaela Sighireanu France	6	70 0.9×	48 0.9×	93 2.2×	53 1.6×	46 1.4×	18	158
Dilian Gurov Sweden	7	91 1.2×	47 0.9×	92 2.2×	21 0.6×	33 1.0×	38	140
Mamoun Filali France	8	49 0.6×	54 1.1×	43 1.0×	40 1.2×	23 0.7×	29	118
Matthew Fairbairn United Kingdom	4	64 0.8×	45 0.9×	40 1.0×	27 0.8×	75 2.3×	7	126
Gudmund Grov United Kingdom	6	77 1.0×	60 1.2×	40 1.0×	16 0.5×	36 1.1×	30	143
Omar Inverso Italy	6	35 0.5×	55 1.1×	70 1.7×	44 1.3×	44 1.4×	22	118
Simona Orzan Netherlands	6	77 1.0×	41 0.8×	92 2.2×	19 0.6×	35 1.1×	11	129
Aina Niemetz Austria	5	58 0.8×	49 1.0×	54 1.3×	18 0.5×	17 0.5×	14	110
Lukáš Holík Czechia	9	80 1.1×	58 1.1×	41 1.0×	18 0.5×	36 1.1×	26	136
Jorge Sousa Pinto Portugal	6	94 1.2×	31 0.6×	58 1.4×	24 0.7×	35 1.1×	37	144

Countries citing papers authored by Andreas Holzer

Since Specialization

Citations

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

Fields of papers citing papers by Andreas Holzer

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Andreas Holzer

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

13 of 13 papers shown

1.

Holzer, Andreas & Martin Daumiller. (2025). Building trust in the classroom: perspectives from students and teachers. European Journal of Psychology of Education. 40(2). 1 indexed citations

2.

Franz, Martin, et al.. (2017). On compiling Boolean circuits optimized for secure multi-party computation. Formal Methods in System Design. 51(2). 308–331. 5 indexed citations

3.

Farzan, Azadeh, Andreas Holzer, & Helmut Veith. (2015). Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution. 2013. 1–11. 3 indexed citations

4.

Farzan, Azadeh, et al.. (2014). Concolic Testing of Concurrent Programs. 101–102. 1 indexed citations

5.

Holzer, Andreas, Christian Schallhart, Michael Tautschnig, & Helmut Veith. (2013). On the Structure and Complexity of Rational Sets of Regular Languages. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 1 indexed citations

6.

Farzan, Azadeh, et al.. (2013). Con2colic testing. 37–47. 45 indexed citations

7.

Holzer, Andreas, Daniel Kroening, Christian Schallhart, Michael Tautschnig, & Helmut Veith. (2012). Proving Reachability Using FShell (Competition Contribution). Oxford University Research Archive (ORA) (University of Oxford). 538–541. 1 indexed citations

8.

Holzer, Andreas, Martin Franz, Stefan Katzenbeisser, & Helmut Veith. (2012). Secure two-party computations in ANSI C. 772–783. 65 indexed citations

9.

Holzer, Andreas. (2011). Zur Kategorie der Form in neuer Musik. 1 indexed citations

10.

Holzer, Andreas, Christian Schallhart, Michael Tautschnig, & Helmut Veith. (2010). How did you specify your test suite. 407–416. 16 indexed citations

11.

Holzer, Andreas, et al.. (2009). Slope Testing for Activity Diagrams and Safety Critical Software. 1 indexed citations

12.

Holzer, Andreas, Christian Schallhart, Michael Tautschnig, & Helmut Veith. (2009). Dependency Coverage Criteria with FQL. 1 indexed citations

13.

Holzer, Andreas, Christian Schallhart, Michael Tautschnig, & Helmut Veith. (2009). A Precise Specification Framework for White Box Program Testing. 1 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