Browse by doctype - Department of Formal methods Access content directly

Journal articles

377

Total

185

Documents

1

Attachments

191

Records

Conference papers

966

Total

565

Documents

2

Attachments

399

Records

Conference poster

5

Total

4

Documents

0

Attachments

1

Records

Proceedings

16

Total

1

Documents

0

Attachments

15

Records

Special issue

10

Total

0

Documents

0

Attachments

10

Records

Books

30

Total

3

Documents

0

Attachments

27

Records

Book sections

56

Total

21

Documents

0

Attachments

35

Records

Scientific blog post

1

Total

0

Documents

0

Attachments

1

Records

Dictionary entry

2

Total

0

Documents

0

Attachments

2

Records

Other publications

17

Total

8

Documents

0

Attachments

9

Records

Preprints, Working Papers, ...

104

Total

77

Documents

0

Attachments

27

Records

Reports

260

Total

249

Documents

0

Attachments

11

Records

Theses

68

Total

68

Documents

0

Attachments

0

Records

Habilitation à diriger des recherches

13

Total

13

Documents

0

Attachments

0

Records