Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
Van Muylder, Antoine (author)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(4/103)
Export
export all inquiry results
(1)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
journal article EST
/
journal article ENG
SSProve : a foundational framework for modular cryptographic proofs in Coq
Haselwarter, Philipp G.
;
Rivas, Exequiel
;
Van Muylder, Antoine
;
Winterhalter, Théo
;
Abate, Carmine
;
Sidorenco, Nikolaj
;
Hriţcu, Cǎtǎlin
;
Maillard, Kenji
;
Spitters, Bas
ACM Transactions on Programming Languages and Systems
2023
/
art. 15
https://doi.org/10.1145/3594735
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Number of records 1, displaying
1 - 1
author
96
1.
Van Muylder, Antoine
2.
Cremiere, Antoine
3.
Crémière, Antoine
4.
Frappe, Antoine
5.
Gautier, Antoine
6.
Gremare, Antoine
7.
Junique, Antoine
8.
Laurain, Antoine
9.
Laurent, Antoine
10.
Leuzy, Antoine
11.
Pierquin, Antoine
12.
Saint-Exupéry, Antoine de
13.
Scalabre, Antoine
14.
Asselt, Marjolein B.A. van
15.
Ballegooij, Wouter van
16.
Bendegem, Jean Paul Van
17.
Boogaart, J. van der
18.
Brink, J.W.van den
19.
Campen, Dick H. van
20.
Dievoet, Marie-Astrid van
21.
Dobbelsteen, Andy van den
22.
Donk, Wilfried A. van der
23.
Duursen, Majorie B.M. van
24.
Eekelen, M. van
25.
Geld, C. W. M., van der
26.
Huijsduijnen, Lies Hooft van
27.
Huynh, Van Khang
28.
Hyunh, Van Khang
29.
Khang, Huynh Van
30.
Kompus-van der Hoeven, M.
31.
Laan, Marten D. van der
32.
Lehmann, Kjong-Van
33.
Linde, Karina van der
34.
Merwe, Brink van der
35.
Noordt, Colin Pascal van
36.
Oorschot, John van
37.
Overbeek, Leo S. van
38.
Par, Steven van de
39.
Perk, Marcel van der
40.
Pieterman, Frank van de
41.
Ploeg, Martine J. van der
42.
Raaij, Fred van
43.
Raaij, W. Fred van
44.
Zyl-Bulitta, Verena Helen van
45.
Treeck, Ruben van
46.
van Alebeek, G.
47.
Van Assche, G.
48.
van Assema, Daniëlle M.E.
49.
Van Berckel, Bart N.M.
50.
van Camp, M.
51.
Van Camp, Marc
52.
Van de Loock, Julien
53.
Van de Wal, Roderik S. W.
54.
Van Den Bogaard, Ellen H
55.
Van Den Bogaard, Ellen H.
56.
Van Den Brink, Noa J.M.
57.
van den Broek, Egidius Leon
58.
van den Hoogen, Johan
59.
van den Hurk, Martijn
60.
van der Flier, Wiesje M.
61.
Van der Perk, M.
62.
van der Sluijs, Jeroen P.
63.
van der Walt, Stefan J.
64.
Van der Wel, L. G.
65.
van der Vlugt, Rene AA
66.
van Doninck, D.
67.
Van Doninck, Dries
68.
Van Duursen, M.
69.
Van Eek, Stella M
70.
Van Eek, Stella M.
71.
Van Erp, Piet E. J.
72.
Van Geem, Kevin M.
73.
Van Gelderen, Marco
74.
van Gog, Heleen
75.
Van Gorp, Hans
76.
van Groesen, E.
77.
van Huis, Marijn A.
78.
Van Khang, Hyunh
79.
van Kranendonk, M. J.
80.
Van Laere, Katrijn
81.
van Leest, Nicolaas P.
82.
Van Maris, Antionius
83.
Van Maris, Antionius J. A.
84.
van Nes, Akkelies
85.
Van Netten, Sietse M.
86.
van Overbeek, Leo
87.
Van Zuilen, Mark A.
88.
van Thiel, Sandra
89.
Van Wieren, Arie
90.
Van Winkle, Taylor
91.
Van, Peter
92.
Weele, Harry van
93.
Veenstra, Anne Fleur van
94.
Weide, Niels van der
95.
Westende, Jos M.C.van't
96.
Wijk, Sam van
keyword
3
1.
antoine equation constants
2.
van der Pauw method
3.
Van der Waals interlayer interaction
CV
3
1.
Noordt, Colin Pascal van
2.
Noordt, Colin van 1996
3.
Van Noordt, Colin
name of the person
1
1.
Stevin, Simon van
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT