2008 |
12 | EE | Jiri Barnat,
Lubos Brim,
Pavel Simecek,
M. Weber:
Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking.
TACAS 2008: 48-62 |
11 | EE | A. Guerler,
S. Moll,
M. Weber,
H. Meyer,
F. Cordes:
Selection and flexible optimization of binding modes from conformation ensembles.
Biosystems 92(1): 42-48 (2008) |
2003 |
10 | | D. Erickson,
M. Weber,
Inna Sharf:
Contact Stiffness and Damping Estimation for Robotic Systems.
I. J. Robotic Res. 22(1): 41-58 (2003) |
9 | EE | M. Krüger,
J. Krinke,
K. Ritter,
B. Zierle,
M. Weber:
Laser-assisted decapsulation of plastic-encapsulated devices.
Microelectronics Reliability 43(9-11): 1827-1831 (2003) |
1998 |
8 | | Jens Nedon,
M. Weber:
Evaluation der Lehre.
Informatik und Ausbildung 1998: 282-283 |
1997 |
7 | | Daniel M. Berry,
M. Weber:
A Pragmatic, Rigorous Integration of Structural and Behavioral Modeling Notations.
ICFEM 1997: 38- |
6 | | Jörg Henrichs,
M. Weber,
Wolfgang E. Nagel,
Roland Völpel,
Helmut Grund:
Metacomputing in a Regional ATM-Testbed - Experience with Reality.
PARCO 1997: 455-458 |
1996 |
5 | | Fritz Gutbrod,
Norbert Attig,
M. Weber:
The SU(2)-Lattice Gauge Theory Simulation Code on the Intel Paragon Supercomputer.
Parallel Computing 22(3): 443-463 (1996) |
1990 |
4 | | Reiner W. Hartenstein,
Alexander G. Hirschbiel,
M. Weber:
Xputers: An Open Family of Non-Von Neumann Architectures.
ARCS 1990: 45-58 |
3 | | Reiner W. Hartenstein,
Alexander G. Hirschbiel,
M. Weber:
A Novel Paradigm of Parallel Computation and its Use to Implement Simple High Performance Hardware.
CONPAR 1990: 51-62 |
2 | | Reiner W. Hartenstein,
Alexander G. Hirschbiel,
M. Riedmüller,
Karin Schmidt,
M. Weber:
Automatic Synthesis of Cheap Hardware Accelerators for Signal Processing and Image Processing.
DAGM-Symposium 1990: 404-417 |
1 | | Reiner W. Hartenstein,
Alexander G. Hirschbiel,
M. Weber:
The Machine Paradigm of Xputers and its Application to Digital Signal Processing Acceleration.
ICPP (1) 1990: 609-610 |