×
Edit Profile (opens in new tab)

Tews, Hendrik

Co-Author Distance
Author ID: tews.hendrik Recent zbMATH articles by "Tews, Hendrik"
Published as: Tews, Hendrik
Documents Indexed: 7 Publications since 2000
Co-Authors: 4 Co-Authors with 2 Joint Publications
89 Co-Co-Authors

Co-Authors

5 single-authored
1 Jacobs, Bart
1 Rothe, Jan
1 Völp, Marcus
1 Weber, Tjark

Serials

1 Journal of Automated Reasoning
1 RAIRO. Theoretical Informatics and Applications
1 Journal of Universal Computer Science

Fields

7 Computer science (68-XX)
2 Mathematical logic and foundations (03-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

6 Publications have been cited 32 times in 23 Documents Cited by ▼ Year ▼
The coalgebraic class specification language CCSL. Zbl 0970.68104
Rothe, Jan; Tews, Hendrik; Jacobs, Bart
13
2001
Formalizing cut elimination of coalgebraic logics in Coq. Zbl 1401.68280
Tews, Hendrik
6
2013
Formal memory models for the verification of low-level operating-system code. Zbl 1191.68178
Tews, Hendrik; Völp, Marcus; Weber, Tjark
4
2009
Coalgebras for binary methods: Properties of bisimulations and invariants. Zbl 0983.68126
Tews, Hendrik
4
2001
Coalgebras for binary methods. Zbl 0966.68049
Tews, Hendrik
3
2000
Greatest bisimulations for binary methods. Zbl 1270.68228
Tews, Hendrik
2
2002
Formalizing cut elimination of coalgebraic logics in Coq. Zbl 1401.68280
Tews, Hendrik
6
2013
Formal memory models for the verification of low-level operating-system code. Zbl 1191.68178
Tews, Hendrik; Völp, Marcus; Weber, Tjark
4
2009
Greatest bisimulations for binary methods. Zbl 1270.68228
Tews, Hendrik
2
2002
The coalgebraic class specification language CCSL. Zbl 0970.68104
Rothe, Jan; Tews, Hendrik; Jacobs, Bart
13
2001
Coalgebras for binary methods: Properties of bisimulations and invariants. Zbl 0983.68126
Tews, Hendrik
4
2001
Coalgebras for binary methods. Zbl 0966.68049
Tews, Hendrik
3
2000
all cited Publications top 5 cited Publications
all top 5

Cited by 38 Authors

3 Schröder, Lutz
2 Chaudhuri, Kaustuv
2 Dawson, Jeremy E.
2 Goré, Rajeev Prabhakar
2 Reis, Giselle
2 Rothe, Jan
2 Tews, Hendrik
1 Abramsky, Samson
1 Amato, Gianluca
1 Barbosa, Luís Soares
1 Barthe, Gilles
1 Bentzen, Bruno
1 Betarte, Gustavo
1 Campo, Juan Diego
1 Cao, Qinxiang
1 D’Abrera, Caitlin
1 Hughes, Jesse
1 Jacobs, Bart
1 Klein, Gerwin
1 Kolanski, Rafal
1 Lipton, James B.
1 Luna, Carlos
1 Mašulović, Dragan
1 McGrail, Robert W.
1 Mossakowski, Till
1 Oliveira, José Nuno
1 Poll, Erik
1 Qiao, Lei
1 Reichel, Horst
1 Rodrigues, César J.
1 Roggenbach, Markus
1 Roşu, Grigore
1 Sanán, David
1 Tao, Yichen
1 Wu, Jesse
1 Zhang, Jinkun
1 Zhao, Yongwang
1 Zwanenburg, Jan

Cited in 5 Serials

4 Theoretical Computer Science
2 RAIRO. Theoretical Informatics and Applications
2 The Journal of Logic and Algebraic Programming
1 Journal of Philosophical Logic
1 Journal of Automated Reasoning
all top 5

Cited in 8 Fields

20 Computer science (68-XX)
11 Mathematical logic and foundations (03-XX)
3 Category theory; homological algebra (18-XX)
1 Order, lattices, ordered algebraic structures (06-XX)
1 General algebraic systems (08-XX)
1 Nonassociative rings and algebras (17-XX)
1 Quantum theory (81-XX)
1 Information and communication theory, circuits (94-XX)

Citations by Year