Concepedia

Martin Suda

MS

Statistics

Publications

21

Citations

456

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 computer science, computing, and natural sciences.

Publications per year

1979–2022

21

Publications

21

SAT Competition 2020

Nils Froleyks, Marijn J. H. Heule, Matti Järvisalo et al. · Artificial Intelligence · 2021 · 83 citations · Full text

Computing, Computer Science, Algorithms +11

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 · 46 citations

Natural Sciences, Materials Science, Physics +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 · 38 citations

Computing, Computer Engineering, Computer Science +13

New Techniques in Clausal Form Generation

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

Computing, Computer Science, Algorithms +11

AVATAR Modulo Theories

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

Computing, Computer Science, Algorithms +12

1–5 of 21