Concepedia

Author

Michel Balser

TU Wien

Also Known As

Michel Balser

1

Publications

115

Citations

1

H-Index

8

Concepts

All Affiliations

TU Wien
MB

About

Michel Balser is an author at TU Wien specializing in formal verification, health informatics, and verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

115

2

Medicine

1

1

115

3

Emergency Medicine

1

1

115

4

Health Informatics

1

1

115

5

Formal Methods

1

1

115

Michel Balser

×

1

Publications

115

Citations

1

H-Index

YearCitations

Improving medical protocols by formal methods

Annette ten Teije, Mar Marcos, Michel Balser,

Artificial Intelligence in Medicine

2006

115

Page 1