Physical sciences

Physical sciences (3661)

Astronomy (158)
Chemistry (109)
Computer science (2282)
Mathematics (328)
Physics (883)

Model checking, theorem proving, and abstract
kifu Thomas Henzinger 15 years ago - 41:21

The German VeriSoft Project 2003-2007
kifu Wolfgang J. Paul 15 years ago - 44:05

Temporal annotations and their validation
kifu Amir Pnueli 15 years ago - 47:40

Have we learned from the Wasa disaster?
kifu Jean-Raymond Abrial 15 years ago - 38:02

A million lines of verified code
kifu Jim Woodcock 15 years ago - 40:26

The ideal of program correctness
kifu Prof. Sir Tony Hoare 15 years ago - 42:46

Opening & welcome
kifu Dr. Péter Szeredi
Dines Bjørner
Prof. Emer Ákos Detrekői 15 years ago - 11:49

FEM25D - Egy geofizikai elektromágneses modellező
kifu Lajos Ficsor
Dr. Gábor Pethő
Adrián Tóth 15 years ago - 19:38

Effektív grid alkalmazás teherhordó gerendák
kifu Dr. János Török 15 years ago - 18:22

Szegedi mini-HPC csoport - az első három év
kifu Dr. Zoltán Fekete 15 years ago - 32:59

Szuperszámítógépek a tudományos kutatásban - a
kifu Dr. Béla Viskolcz 15 years ago - 35:00

A TITAN grid rendszer kommunikációs protokollja
kifu Roland Király
Zoltán Hernyák
Péter Tömösközi 15 years ago - 18:40