Concepedia

Martin Suda

MS

Statistics

Publications

21

Citations

447

H-Index

13

Active since

1979

Affiliations

TU Wien(Current)

Seibersdorf Laboratories (Austria)

Austrian Institute of Technology

Helsinki Institute for Information Technology

Carnegie Mellon University

Martin Suda is an author at TU Wien specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningPhysicsFormal MethodsNatural SciencesFormal VerificationVerificationSatisfiabilityApplied Physics

Publications per year

1979–2022

21

Publications

21

SAT Competition 2020

Nils Froleyks, Marijn J. H. Heule, Markus Iser et al. · Artificial Intelligence · 2021 · 79 citations · Full text

Artificial Intelligence, Engineering, Verification +21

The structure factor of liquid copper at 1393K and 1833K

Otto J. Eder, B. Kunsch, Martin Suda et al. · Journal of Physics F Metal Physics · 1980 · 44 citations

Crystal Structure, Engineering, Chemistry +16

A NOVEL PROTOCOL-AUTHENTICATION ALGORITHM RULING OUT A MAN-IN-THE MIDDLE ATTACK IN QUANTUM CRYPTOGRAPHY

Momtchil Peev, Michael Nölle, O. Maurhardt et al. · International Journal of Quantum Information · 2004 · 37 citations

Hardware Security, Quantum Science, Quantum Cryptography +14

New Techniques in Clausal Form Generation

Giles Reger, Martin Suda · EPiC series in computing · 2018 · 29 citations · Full text

Syntax, Engineering, Automated Reasoning +15

AVATAR Modulo Theories

Giles Reger, Nikolaj Bjørner, Martin Suda · EPiC series in computing · 2018 · 24 citations · Full text

Engineering, Verification, Modular Form +17

1–5 of 21