Concepedia

Author

Andreas Holzer

TU Wien

Also Known As

Andreas Holzer, Dementiev, Roman, Holzer, Andreas

55

Publications

625

Citations

12

H-Index

20

Concepts

All Affiliations

TU Wien
AH

About

Andreas Holzer is an author at TU Wien specializing in formal methods, formal verification, and computer science.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

236

2

Computer Science

3

3

236

3

Computer Engineering

2

2

173

4

Data Privacy

1

1

128

5

Data Security

1

1

128

Andreas Holzer

×

3

Publications

236

Citations

3

H-Index

YearCitations

Secure two-party computations in ANSI C

Andreas Holzer, Martin Franz, Stefan Katzenbeisser,

2012

128

Con2colic testing

Azadeh Farzan, Andreas Holzer, Niloofar Razavi,

2013

63

How did you specify your test suite

Andreas Holzer, Christian Schallhart, Michael Tautschnig,

2010

45

Page 1