Browse by doctype - Department of Formal methods Access content directly

Journal articles

381

Total

187

Documents

1

Attachments

193

Records

Conference papers

990

Total

584

Documents

2

Attachments

404

Records

Conference poster

5

Total

4

Documents

0

Attachments

1

Records

Proceedings

17

Total

1

Documents

0

Attachments

16

Records

Special issue

10

Total

0

Documents

0

Attachments

10

Records

Books

30

Total

3

Documents

0

Attachments

27

Records

Book sections

58

Total

24

Documents

0

Attachments

34

Records

Scientific blog post

1

Total

0

Documents

0

Attachments

1

Records

Dictionary entry

2

Total

0

Documents

0

Attachments

2

Records

Other publications

18

Total

9

Documents

0

Attachments

9

Records

Preprints, Working Papers, ...

101

Total

74

Documents

0

Attachments

27

Records

Reports

261

Total

250

Documents

0

Attachments

11

Records

Theses

70

Total

70

Documents

0

Attachments

0

Records

Habilitation à diriger des recherches

13

Total

13

Documents

0

Attachments

0

Records

Master thesis

6

Total

5

Documents

0

Attachments

1

Records

Software

1

Total

1

Documents

0

Attachments

0

Records