Browse by doctype - Laboratoire de Recherche en Informatique. Équipe: Vérification d'Algorithmes, Langages et Systèmes Access content directly

Journal articles

53

Total

32

Documents

0

Attachments

21

Records

Conference papers

187

Total

134

Documents

0

Attachments

53

Records

Conference poster

2

Total

0

Documents

0

Attachments

2

Records

Proceedings

4

Total

1

Documents

0

Attachments

3

Records

Special issue

1

Total

0

Documents

0

Attachments

1

Records

Books

8

Total

0

Documents

0

Attachments

8

Records

Book sections

5

Total

2

Documents

0

Attachments

3

Records

Patents

1

Total

0

Documents

0

Attachments

1

Records

Other publications

7

Total

2

Documents

0

Attachments

5

Records

Preprints, Working Papers, ...

11

Total

11

Documents

0

Attachments

0

Records

Reports

26

Total

22

Documents

0

Attachments

4

Records

Theses

15

Total

15

Documents

0

Attachments

0

Records

Habilitation à diriger des recherches

3

Total

3

Documents

0

Attachments

0

Records