Browse by doctype - Department of Formal methods Access content directly

Journal articles

389

Total

193

Documents

1

Attachments

Conference papers

998

Total

592

Documents

2

Attachments

Conference poster

5

Total

4

Documents

0

Attachments

Proceedings

17

Total

1

Documents

0

Attachments

Special issue

10

Total

0

Documents

0

Attachments

Books

30

Total

3

Documents

0

Attachments

Book sections

59

Total

26

Documents

0

Attachments

Scientific blog post

1

Total

0

Documents

0

Attachments

Dictionary entry

2

Total

0

Documents

0

Attachments

Other publications

18

Total

9

Documents

0

Attachments

Preprints, Working Papers, ...

104

Total

76

Documents

0

Attachments

Reports

261

Total

250

Documents

0

Attachments

Theses

71

Total

71

Documents

0

Attachments

Habilitation à diriger des recherches

13

Total

13

Documents

0

Attachments

Software

1

Total

1

Documents

0

Attachments