Search results for: Wolfgang Paul
Macromolecular Theory and Simulations > 32 > 5 > n/a - n/a
Biotechnology and Bioengineering > 120 > 9 > 2509 - 2522
Macromolecular Chemistry and Physics > 224 > 7 > n/a - n/a
Annalen der Physik > 535 > 1 > n/a - n/a
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Verification Tools > 19-25
NATO Science Series II: Mathematics, Physics and Chemistry > Computer Simulations of Liquid Crystals and Polymers > 149-170
Lecture Notes in Physics > Bridging Time Scales: Molecular Simulations for the Next Decade > Slow Dynamics and Reactivity > 199-228
Advances in Polymer Science > Polymer Thermodynamics > 329-387
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Verification of Memory Hierarchy Mechanisms > 301-316
NATO Science Series II: Mathematics, Physics and Chemistry > Computer Simulations of Liquid Crystals and Polymers > 171-190
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Tutorial > 3-4
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Verification Techniques > 40-54
Lecture Notes in Computer Science > Graph Drawing > Papers > 256-267
Lecture Notes in Computer Science > Program Analysis and Compilation, Theory and Practice > Technical Papers > 53-81