Concepedia

Author

Marianne Baudinet

Stanford University

Also Known As

M. Baudinet, Marianne Baudinet, Marianne Baudinet*

17

Publications

433

Citations

9

H-Index

16

Concepts

All Affiliations

Stanford UniversityUniversity of Liège
MB

About

Marianne Baudinet is an author at Stanford University specializing in formal methods, automated reasoning, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

5

5

149

2

Computer Science

3

3

96

3

Programming Languages

2

2

40

4

Semantics

2

2

67

5

Mathematical Foundations

1

1

23

Marianne Baudinet

×

8

Publications

392

Citations

8

H-Index

YearCitations

Page 1