 | 2009 |
| 7 |  | Christoph Weidenbach,
Dilyana Dimova,
Arnaud Fietzke,
Rohit Kumar,
Martin Suda,
Patrick Wischnewski:
SPASS Version 3.5.
CADE 2009: 140-145 |
| 6 |  | Martin Suda,
Geoff Sutcliffe,
Patrick Wischnewski,
Manuel Lamotte-Schubert,
Gerard de Melo:
External Sources of Axioms in Automated Theorem Proving.
KI 2009: 281-288 |
| 1998 |
| 5 |  | Christian Almeder,
Felix Breitenecker,
Siegfried Wassertheurer,
Karl Kaser,
Johannes Korcza,
Martin Suda:
Modelling of the Human Arterial Network for Preoperative Predictions.
ESM 1998: 313-315 |
| 4 |  | Christian Almeder,
Felix Breitenecker,
Siegfried Wassertheurer,
Karl Kaser,
J. Krocza,
Martin Suda:
Interaktive Beratungssoftware für Gefäßoperationen.
SimVis 1998: 287-300 |
| 1990 |
| 3 |  | Martin Suda,
Martin Gerzabek,
Heinrich Humer,
Barnabas Kunsch,
Wolfgang Loibl,
Konrad Mück,
Rudolf Orthofer:
OECOSYS - ein Computersimulationsmodell zur Prognose der Bevölkerungsdosis im Falle einer großräumigen radioaktiven Verstrahlung.
Informatik für den Umweltschutz 1990: 573-582 |
| 1988 |
| 2 |  | Otto J. Eder,
Martin Suda:
Dynamische Druck- und Flußsimulation im menschlichen Arteriennetz.
Simulationstechnik 1988: 500-505 |
| 1987 |
| 1 |  | Martin Suda:
Die dynamische Simulation von Druckschwankungen in komplexen hydraulischen Leitungsnetzen.
Simulationstechnik 1987: 422-429 |