A formal approach to rigorous development of critical systems von Singh, Neeraj Kumar, Lawford, Mark, Maibaum, Thomas S. E., Wassyng, Alan

Volltext

Simulation relations for fault-tolerance von Demasi, Ramiro, Castro, Pablo F., Maibaum, Thomas S. E., Aguirre, Nazareno

Volltext

Hilft eine zusätzliche Vitamin-D-Gabe bei Atemwegsinfekten und Corona?: Zwei neue Studien aus Großbritannien und Norwegen geben dazu Auskunft von Maibaum, Thomas

Volltext

TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991 von Abramsky, S, Maibaum, T. S. E

Volltext

Encapsulating deontic and branching time specifications von Castro, Pablo F., Maibaum, Thomas S.E.

Volltext

Immaterial Conflicts of Interest Present von Kühlein, Thomas, Maibaum, Thomas

Volltext

Equivalent Treatment Options von Maibaum, Thomas

Volltext

Correspondence von Maibaum, Thomas

Volltext

Open Questions von Maibaum, Thomas

Volltext

Myokarditis nach mRNA-Impfung: milderer Verlauf als nach COVID-19? von Maibaum, Thomas

Volltext

Kardiovaskuläre Primärprävention: bestehende ASS-Therapie fortführen oder absetzen?: Treat and stop or don’t forget to keep treating? von Maibaum, Thomas

Volltext

Betablocker bei Postinfarktpatienten mit normaler Pumpfunktion: Ein Paradigma kippt – brauchen medizinische Empfehlungen ein Verfallsdatum? von Maibaum, Thomas

Volltext

Actions and Events in Concurrent Systems Design von Cassano, Valentin, Maibaum, Thomas S. E.

Volltext

GLP-1-Rezeptor-Agonist reduziert das kardiovaskuläre Risiko auch bei Menschen ohne Diabetes von Maibaum, Thomas

Volltext

72/w mit Palpitationen: Vorbereitung auf die Facharztprüfung: Fall 48 von Maibaum, Thomas

Volltext

Kann die Orbita-2-Studie helfen, dass Deutschland Weltmeister bei Herzkathetern bleibt? von Maibaum, Thomas

Volltext

Hilft eine zusätzliche Vitamin-D-Gabe bei Atemwegsinfekten und Corona?: Zwei neue Studien aus Großbritannien und Norwegen geben dazu Auskunft von Maibaum, Thomas

Volltext

Automated Reasoning over Deontic Action Logics with Finite Vocabularies von Castro, Pablo F., Maibaum, Thomas S. E.

Volltext

Effekte der Früherkennungs‑/Vorsorgekoloskopie von Maibaum, Thomas

Volltext

Does supplemental vitamin D help with respiratory infections and Covid-19? von Maibaum, Thomas

Volltext