×

zbMATH — the first resource for mathematics

Arts, Thomas

Compute Distance To:
Author ID: arts.thomas Recent zbMATH articles by "Arts, Thomas"
Published as: Arts, T.; Arts, Thomas
External Links: MGP · Wikidata
Documents Indexed: 13 Publications since 1994, including 2 Books

Publications by Year

Citations contained in zbMATH

7 Publications have been cited 142 times in 125 Documents Cited by Year
Termination of term rewriting using dependency pairs. Zbl 0938.68051
Arts, T.; Giesl, J.
106
2000
Verification of Erlang processes by dependency pairs. Zbl 0973.68101
Giesl, Jürgen; Arts, Thomas
14
2001
Proving innermost normalisation automatically. Zbl 1379.68191
Arts, Thomas; Giesl, Jürgen
11
1997
Intra- and interventricular asynchrony of electromechanics in the ventricularly paced heart. Zbl 1047.92016
Kerckhoffs, R. C. P.; Bovendeerd, P. H. M.; Prinzen, F. W.; Smits, K.; Arts, T.
4
2003
Verifying Erlang code: A resource locker case-study. Zbl 1064.68548
Arts, Thomas; Earle, Clara Benac; Derrick, John
3
2002
Biomechanics of the heart muscle. Zbl 0815.73045
van Campen, D. H.; Huyghe, J. M.; Bovendeerd, P. H. M.; Arts, T.
3
1994
System description: The dependency pair method. Zbl 0964.68562
Arts, Thomas
1
2000
Intra- and interventricular asynchrony of electromechanics in the ventricularly paced heart. Zbl 1047.92016
Kerckhoffs, R. C. P.; Bovendeerd, P. H. M.; Prinzen, F. W.; Smits, K.; Arts, T.
4
2003
Verifying Erlang code: A resource locker case-study. Zbl 1064.68548
Arts, Thomas; Earle, Clara Benac; Derrick, John
3
2002
Verification of Erlang processes by dependency pairs. Zbl 0973.68101
Giesl, Jürgen; Arts, Thomas
14
2001
Termination of term rewriting using dependency pairs. Zbl 0938.68051
Arts, T.; Giesl, J.
106
2000
System description: The dependency pair method. Zbl 0964.68562
Arts, Thomas
1
2000
Proving innermost normalisation automatically. Zbl 1379.68191
Arts, Thomas; Giesl, Jürgen
11
1997
Biomechanics of the heart muscle. Zbl 0815.73045
van Campen, D. H.; Huyghe, J. M.; Bovendeerd, P. H. M.; Arts, T.
3
1994
all top 5

Cited by 147 Authors

19 Lucas, Salvador
13 Giesl, Jürgen
9 Middeldorp, Aart
8 Schneider-Kamp, Peter
8 Thiemann, René
7 Endrullis, Jörg
7 Gutiérrez, Raúl
7 Vidal, Germán
6 Zantema, Hans
5 Alarcón, Beatriz
5 Fuhs, Carsten
5 Iborra, José
5 Nishida, Naoki
5 Urbain, Xavier
4 Gnaedig, Isabelle
4 Hirokawa, Nao
4 Kirchner, Hélène
4 Meseguer Guaita, José
4 Moser, Georg
4 Zankl, Harald
3 Alpuente, María
3 Blanqui, Frédéric
3 Falke, Stephan
3 Greco, Sergio
3 Hendriks, Dimitri
3 Marché, Claude
3 Sakabe, Toshiki
3 Sakai, Masahiko
3 Sternagel, Christian
3 Trubitsyna, Irina
3 Waldmann, Johannes
2 Avanzini, Martin
2 Calautti, Marco
2 Codish, Michael
2 de Vrijer, Roel
2 Emmes, Fabian
2 Escobar, Santiago
2 Fernández, Mirtha-Lina
2 Fissore, Olivier
2 Franzone, P. Colli
2 Geuvers, Jan Herman
2 Grabmayer, Clemens
2 Korp, Martin
2 Krauss, Alexander
2 Molinaro, Cristian
2 Navarro-Marset, Rafael
2 Noschinski, Lars
2 Parting, Michael
2 Pavarino, Luca Franco
2 Rao, M. R. K. Krishna
2 Rohan, Eduard
2 Rubio, Albert
2 Scacchi, Simone
2 Swiderski, Stephan
2 Yamada, Akihisa
1 Abel, Andreas M.
1 Aoto, Takahito
1 Arts, Tony
1 Ballis, Demis
1 Blanchette, Jasmin Christian
1 Bofill, Miquel
1 Bonfante, Guillaume
1 Boogaard, Frits L.
1 Borovanský, Peter
1 Borralleras, Cristina
1 Bouajjani, Ahmed
1 Bromberger, Martin
1 Bruggink, H. J. Sander
1 Bustos, Cesar
1 Chateau, Xavier
1 Cheda, Diego
1 Cimrman, Robert
1 Contejean, Evelyne
1 Correa, Francisco José
1 Courtieu, Pierre
1 Crozier, Stuart
1 de Buhan, Patrick
1 De Schreye, Danny
1 Deloup, Florian L.
1 Deng, Dongdong
1 Dershowitz, Nachum
1 Dormieux, Luc
1 Dou, Jianhong
1 Durán, Francisco
1 Falaschi, Moreno
1 Forest, Julien
1 Fu, Peng
1 Geser, Alfons
1 Gramlich, Bernhard
1 Guiraud, Yves
1 Habermehl, Peter
1 Haß, Lars Helge
1 Henrot, Antoine
1 Huch, Frank
1 Kapur, Deepak
1 Keiichirou, Kusakari
1 Kirchner, Claude
1 Klop, Jan Willem
1 Komendantskaya, Ekaterina
1 Kop, Cynthia
...and 47 more Authors

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.