×

zbMATH — the first resource for mathematics

Edit Profile

Carette, Jacques

Compute Distance To:
Author ID: carette.jacques
Published as: Carette, J.; Carette, Jacques
Documents Indexed: 35 Publications since 2004, including 6 Books
all top 5

Co-Authors

4 single-authored
10 Farmer, William M.
4 Sorge, Volker
3 Anand, Christopher Kumar
2 Janicki, Ryszard
2 Kahl, Wolfram
2 Kiselyov, Oleg
2 O’Connor, Russell
2 Sabry, Amr
2 Shan, Chung-chieh
2 Sojka, Petr
2 Watt, Stephen Michael
2 Wenzel, Makarius
1 Aspinall, David
1 Campbell, John A.
1 Curtis, Andrew Thomas
1 Dixon, Lucas
1 Dos Reis, Gabriel
1 Hutslar, Christian
1 Jeuring, Johan
1 Ji, Xiaoheng
1 Kaliszyk, Cezary
1 Kerber, Manfred
1 Kohlhase, Michael
1 Korobkine, Alexandre
1 Kucera, Michael
1 Lange, Christoph
1 Laskowski, Patrick
1 McCutchan, John
1 Miller, David R.
1 Narayanan, Praveen
1 Rabe, Florian
1 Romano, Wren
1 Sacerdoti Coen, Claudio
1 Sexton, Alan P.
1 Sharoda, Yasmine
1 Smith, Spencer A.
1 Wiedijk, Freek
1 Windsteiger, Wolfgang
1 Zinkov, Robert
all top 5

Serials

4 Lecture Notes in Computer Science
3 Science of Computer Programming
1 Journal of Automated Reasoning
1 Journal of Functional Programming
1 Fundamenta Informaticae
1 Electronic Notes in Theoretical Computer Science
all top 5

Fields

32 Computer science (68-XX)
6 General and overarching topics; collections (00-XX)
3 Numerical analysis (65-XX)
2 Information and communication theory, circuits (94-XX)
1 Mathematical logic and foundations (03-XX)
1 Category theory; homological algebra (18-XX)
1 Quantum theory (81-XX)

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription