Vincent van Oostrom - Author Profile

Edit Profile

van Oostrom, Vincent

Author ID:	van-oostrom.vincent
Published as:	van Oostrom, Vincent; Van Oostrom, Vincent; van Oostrom, V. more...less

Documents Indexed:	44 Publications since 1993
	3 Contributions as Editor
Co-Authors:	32 Co-Authors with 35 Joint Publications
	558 Co-Co-Authors

all top 5

Co-Authors

12	single-authored
10	Klop, Jan Willem
5	de Vrijer, Roel
5	Grabmayer, Clemens
4	van Raamsdonk, Femke
3	Endrullis, Jörg
3	Hendriks, Dimitri
3	Khasidashvili, Zurab O.
2	de Vries, Fer-Jan J.
2	Engelfriet, Joost
2	Felgenhauer, Bertram
2	Kennaway, Richard
2	Middeldorp, Aart
2	Ogawa, Mizuhito
2	Visser, Albert
1	Appel, Claus
1	Bezem, Marc
1	de Vink, Erik P.
1	Dehornoy, Patrick
1	Frontull, Samuel
1	Hirokawa, Nao
1	Jouannaud, Jean-Pierre
1	Ketema, Jeroen
1	Leo, Joop
1	Luttik, Bas
1	Moser, Georg
1	Nagele, Julian
1	Oyamaguchi, Michio
1	Simonsen, Jakob Grue
1	Toyama, Yoshihito
1	van Eijck, Jan
1	Zankl, Harald
1	Zantema, Hans

all top 5

Serials

6	Theoretical Computer Science
2	Journal of Computer and System Sciences
2	Information and Computation
2	Lecture Notes in Computer Science
1	Journal of Logic and Computation
1	Mathematical Structures in Computer Science
1	The Journal of Functional and Logic Programming
1	ACM Transactions on Computational Logic
1	Lecture Notes in Logic
1	Logical Methods in Computer Science
1	The Review of Symbolic Logic

all top 5

Fields

46	Computer science (68-XX)
18	Mathematical logic and foundations (03-XX)
3	General and overarching topics; collections (00-XX)
1	Order, lattices, ordered algebraic structures (06-XX)
1	General algebraic systems (08-XX)
1	Group theory and generalizations (20-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

43 Publications have been cited 346 times in 219 Documents	Cited by ▼	Year ▼
Combinatory reduction systems: Introduction and survey. Zbl 0796.03024 Klop, Jan Willem; van Oostrom, Vincent; van Raamsdonk, Femke	61	1993
Confluence by decreasing diagrams. Zbl 0803.68058 van Oostrom, Vincent	39	1994
Meaningless terms in rewriting. Zbl 0924.68107 Kennaway, Richard; van Oostrom, Vincent; de Vries, Fer-Jan	21	1999
Developing developments. Zbl 0903.68104 van Oostrom, Vincent	21	1997
Weak orthogonality implies confluence: The higher-order case. Zbl 0964.68523 van Oostrom, Vincent; van Raamsdonk, Femke	20	1994
Confluence by decreasing diagrams. Converted. Zbl 1146.68044 van Oostrom, Vincent	20	2008
Lambda calculus with patterns. Zbl 1145.68012 Klop, Jan Willem; van Oostrom, Vincent; de Vrijer, Roel	15	2008
Logical description of context-free graph languages. Zbl 0897.68061 Engelfriet, Joost; van Oostrom, Vincent	13	1997
\(\rightthreetimes\). Zbl 1277.03011 Hendriks, Dimitri; van Oostrom, Vincent	10	2003
Random descent. Zbl 1203.68082 van Oostrom, Vincent	8	2007
Diagram techniques for confluence. Zbl 0919.68077 Bezem, Marc; Klop, Jan Willem; van Oostrom, Vincent	8	1998
Higher-order families. Zbl 1503.68164 van Oostrom, Vincent	8	1996
Context-sensitive conditional expression reduction systems. Zbl 0910.68098 Khasidashvili, Zurab; van Oostrom, Vincent	7	1995
Proof orders for decreasing diagrams. Zbl 1356.03054 Felgenhauer, Bertram; Van Oostrom, Vincent	7	2011
Finite family developments. Zbl 1379.68208 van Oostrom, Vincent	7	1997
Decomposition orders – another generalisation of the fundamental theorem of arithmetic. Zbl 1085.06009 Luttik, Bas; van Oostrom, Vincent	5	2005
Four equivalent equivalences of reductions. Zbl 1270.68142 van Oostrom, Vincent; de Vrijer, Roel	5	2002
On equal \(\mu \)-terms. Zbl 1227.68041 Endrullis, Jörg; Grabmayer, Clemens; Klop, Jan Willem; van Oostrom, Vincent	5	2011
Layer systems for proving confluence. Zbl 1354.68138 Felgenhauer, Bertram; Middeldorp, Aart; Zankl, Harald; Van Oostrom, Vincent	4	2015
A geometric proof of confluence by decreasing diagrams. Zbl 0965.68034 Klop, Jan Willem; van Oostrom, Vincent; de Vrijer, Roel	4	2000
Higher-order (non-)modularity. Zbl 1236.68117 Appel, Claus; van Oostrom, Vincent; Simonsen, Jakob Grue	4	2010
Sub-Birkhoff. Zbl 1122.68461 van Oostrom, Vincent	4	2004
Development closed critical pairs. Zbl 1407.68244 van Oostrom, Vincent	4	1996
Diagrammatic confluence and completion. Zbl 1248.68277 Jouannaud, Jean-Pierre; van Oostrom, Vincent	4	2009
Processes, terms and cycles: steps on the road to infinity. Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday. Zbl 1097.68007	3	2005
Perpetuality and uniform normalization in orthogonal rewrite systems. Zbl 1003.68057 Khasidashvili, Zurab; Ogawa, Mizuhito; van Oostrom, Vincent	3	2001
Regular description of context-free graph languages. Zbl 0869.68063 Engelfriet, Joost; van Oostrom, Vincent	3	1996
Triangulation in rewriting. Zbl 1437.68089 van Oostrom, Vincent; Zantema, Hans	3	2012
Meaningless terms in rewriting. Zbl 1355.68138 Kennaway, Richard; van Oostrom, Vincent; de Vries, Fer-Jan	3	1996
On the termination of Russell’s description elimination algorithm. Zbl 1252.03004 Grabmayer, Clemens; Leo, Joop; van Oostrom, Vincent; Visser, Albert	3	2011
Rewriting techniques and applications. 15th international conference, RTA 2004, Aachen, Germany, June 3–5, 2004. Proceedings. Zbl 1052.68009	3	2004
Normalisation by random descent. Zbl 1387.68151 Van Oostrom, Vincent; Toyama, Yoshihito	3	2016
Modularity of confluence. Constructed. Zbl 1165.03321 van Oostrom, Vincent	3	2008
Iterative lexicographic path orders. Zbl 1132.68430 Klop, Jan Willem; van Oostrom, Vincent; de Vrijer, Roel	2	2006
Uniform normalisation beyond orthogonality. Zbl 0981.68071 Khasidashvili, Zurab; Ogawa, Mizuhito; van Oostrom, Vincent	2	2001
Confluence by critical pair analysis revisited. Zbl 1535.68122 Hirokawa, Nao; Nagele, Julian; van Oostrom, Vincent; Oyamaguchi, Michio	2	2019
Reduction strategies and acyclicity. Zbl 1186.68237 Klop, Jan Willem; van Oostrom, Vincent; van Raamsdonk, Femke	2	2007
Z. Syntax-free developments. Zbl 07700629 van Oostrom, Vincent	2	2021
Logic colloquium ’99. Proceedings of the annual European summer meeting of the Association for Symbolic Logic, Utrecht, Netherlands, August 1–6, 1999. Zbl 1050.03004	1	2004
Nested term graphs (work in progress). Zbl 1476.68121 Grabmayer, Clemens; van Oostrom, Vincent	1	2015
Using groups for investigating rewrite systems. Zbl 1157.03015 Dehornoy, Patrick; van Oostrom, Vincent	1	2008
Infinitary term rewriting for weakly orthogonal systems: properties and counterexamples. Zbl 1290.68067 Endrullis, Joerg; Grabmayer, Clemens; Hendriks, Dimitri; Klop, Jan Willem; van Oostrom, Vincent	1	2014
Unique normal forms in infinitary weakly orthogonal rewriting. Zbl 1236.68127 Endrullis, Jörg; Grabmayer, Clemens; Hendriks, Dimitri; Klop, Jan Willem; van Oostrom, Vincent	1	2010
Z. Syntax-free developments. Zbl 07700629 van Oostrom, Vincent	2	2021
Confluence by critical pair analysis revisited. Zbl 1535.68122 Hirokawa, Nao; Nagele, Julian; van Oostrom, Vincent; Oyamaguchi, Michio	2	2019
Normalisation by random descent. Zbl 1387.68151 Van Oostrom, Vincent; Toyama, Yoshihito	3	2016
Layer systems for proving confluence. Zbl 1354.68138 Felgenhauer, Bertram; Middeldorp, Aart; Zankl, Harald; Van Oostrom, Vincent	4	2015
Nested term graphs (work in progress). Zbl 1476.68121 Grabmayer, Clemens; van Oostrom, Vincent	1	2015
Infinitary term rewriting for weakly orthogonal systems: properties and counterexamples. Zbl 1290.68067 Endrullis, Joerg; Grabmayer, Clemens; Hendriks, Dimitri; Klop, Jan Willem; van Oostrom, Vincent	1	2014
Triangulation in rewriting. Zbl 1437.68089 van Oostrom, Vincent; Zantema, Hans	3	2012
Proof orders for decreasing diagrams. Zbl 1356.03054 Felgenhauer, Bertram; Van Oostrom, Vincent	7	2011
On equal \(\mu \)-terms. Zbl 1227.68041 Endrullis, Jörg; Grabmayer, Clemens; Klop, Jan Willem; van Oostrom, Vincent	5	2011
On the termination of Russell’s description elimination algorithm. Zbl 1252.03004 Grabmayer, Clemens; Leo, Joop; van Oostrom, Vincent; Visser, Albert	3	2011
Higher-order (non-)modularity. Zbl 1236.68117 Appel, Claus; van Oostrom, Vincent; Simonsen, Jakob Grue	4	2010
Unique normal forms in infinitary weakly orthogonal rewriting. Zbl 1236.68127 Endrullis, Jörg; Grabmayer, Clemens; Hendriks, Dimitri; Klop, Jan Willem; van Oostrom, Vincent	1	2010
Diagrammatic confluence and completion. Zbl 1248.68277 Jouannaud, Jean-Pierre; van Oostrom, Vincent	4	2009
Confluence by decreasing diagrams. Converted. Zbl 1146.68044 van Oostrom, Vincent	20	2008
Lambda calculus with patterns. Zbl 1145.68012 Klop, Jan Willem; van Oostrom, Vincent; de Vrijer, Roel	15	2008
Modularity of confluence. Constructed. Zbl 1165.03321 van Oostrom, Vincent	3	2008
Using groups for investigating rewrite systems. Zbl 1157.03015 Dehornoy, Patrick; van Oostrom, Vincent	1	2008
Random descent. Zbl 1203.68082 van Oostrom, Vincent	8	2007
Reduction strategies and acyclicity. Zbl 1186.68237 Klop, Jan Willem; van Oostrom, Vincent; van Raamsdonk, Femke	2	2007
Iterative lexicographic path orders. Zbl 1132.68430 Klop, Jan Willem; van Oostrom, Vincent; de Vrijer, Roel	2	2006
Decomposition orders – another generalisation of the fundamental theorem of arithmetic. Zbl 1085.06009 Luttik, Bas; van Oostrom, Vincent	5	2005
Processes, terms and cycles: steps on the road to infinity. Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday. Zbl 1097.68007	3	2005
Sub-Birkhoff. Zbl 1122.68461 van Oostrom, Vincent	4	2004
Rewriting techniques and applications. 15th international conference, RTA 2004, Aachen, Germany, June 3–5, 2004. Proceedings. Zbl 1052.68009	3	2004
Logic colloquium ’99. Proceedings of the annual European summer meeting of the Association for Symbolic Logic, Utrecht, Netherlands, August 1–6, 1999. Zbl 1050.03004	1	2004
\(\rightthreetimes\). Zbl 1277.03011 Hendriks, Dimitri; van Oostrom, Vincent	10	2003
Four equivalent equivalences of reductions. Zbl 1270.68142 van Oostrom, Vincent; de Vrijer, Roel	5	2002
Perpetuality and uniform normalization in orthogonal rewrite systems. Zbl 1003.68057 Khasidashvili, Zurab; Ogawa, Mizuhito; van Oostrom, Vincent	3	2001
Uniform normalisation beyond orthogonality. Zbl 0981.68071 Khasidashvili, Zurab; Ogawa, Mizuhito; van Oostrom, Vincent	2	2001
A geometric proof of confluence by decreasing diagrams. Zbl 0965.68034 Klop, Jan Willem; van Oostrom, Vincent; de Vrijer, Roel	4	2000
Meaningless terms in rewriting. Zbl 0924.68107 Kennaway, Richard; van Oostrom, Vincent; de Vries, Fer-Jan	21	1999
Diagram techniques for confluence. Zbl 0919.68077 Bezem, Marc; Klop, Jan Willem; van Oostrom, Vincent	8	1998
Developing developments. Zbl 0903.68104 van Oostrom, Vincent	21	1997
Logical description of context-free graph languages. Zbl 0897.68061 Engelfriet, Joost; van Oostrom, Vincent	13	1997
Finite family developments. Zbl 1379.68208 van Oostrom, Vincent	7	1997
Higher-order families. Zbl 1503.68164 van Oostrom, Vincent	8	1996
Development closed critical pairs. Zbl 1407.68244 van Oostrom, Vincent	4	1996
Regular description of context-free graph languages. Zbl 0869.68063 Engelfriet, Joost; van Oostrom, Vincent	3	1996
Meaningless terms in rewriting. Zbl 1355.68138 Kennaway, Richard; van Oostrom, Vincent; de Vries, Fer-Jan	3	1996
Context-sensitive conditional expression reduction systems. Zbl 0910.68098 Khasidashvili, Zurab; van Oostrom, Vincent	7	1995
Confluence by decreasing diagrams. Zbl 0803.68058 van Oostrom, Vincent	39	1994
Weak orthogonality implies confluence: The higher-order case. Zbl 0964.68523 van Oostrom, Vincent; van Raamsdonk, Femke	20	1994
Combinatory reduction systems: Introduction and survey. Zbl 0796.03024 Klop, Jan Willem; van Oostrom, Vincent; van Raamsdonk, Femke	61	1993

all cited Publications top 5 cited Publications

all top 5

Cited by 242 Authors

15	Klop, Jan Willem
13	Kesner, Delia
13	van Oostrom, Vincent
11	Endrullis, Jörg
11	Fernández, Maribel
10	Middeldorp, Aart
8	Jouannaud, Jean-Pierre
7	Blanqui, Frédéric
7	Hirokawa, Nao
6	Bonelli, Eduardo
6	Khasidashvili, Zurab O.
6	Mackie, Ian
5	Cirstea, Horatiu
5	Kirchner, Claude
5	Zankl, Harald
4	Accattoli, Beniamino
4	Ayala-Rincón, Mauricio
4	Courcelle, Bruno
4	de Vries, Fer-Jan J.
4	Dezani-Ciancaglini, Mariangiola
4	Dowek, Gilles
4	Faggian, Claudia
4	Felgenhauer, Bertram
4	Gabbay, Murdoch James
4	Glauert, John
4	Ketema, Jeroen
4	Liquori, Luigi
4	Simonsen, Jakob Grue
4	Viso, Andrés
3	Alves, Sandra
3	Aoto, Takahito
3	Bertolissi, Clara
3	Engelfriet, Joost
3	Florido, Mário
3	Grabmayer, Clemens
3	Gramlich, Bernhard
3	Hendriks, Dimitri
3	Liu, Jiaxiang
3	Lucas, Salvador
3	Luttik, Bas
3	Nagele, Julian
3	Ogawa, Mizuhito
3	Overbeek, Roy
3	Pous, Damien
3	Ríos, Alejandro
3	Severi, Paula Gabriela
3	Sinot, François-Régis
3	Sørensen, Morten Heine B.
2	Amblard, Maxime
2	Ariola, Zena M.
2	Bahr, Patrick
2	Barbanera, Franco
2	Barthe, Gilles
2	Bloo, Roel
2	Bucciarelli, Antonio
2	Czajka, Łukasz
2	Dal Lago, Ugo
2	de Vrijer, Roel
2	Dershowitz, Nachum
2	Di Cosmo, Roberto
2	Dupont, Benjamin
2	Edi, Juan
2	Fischer, Eldar
2	Guerrieri, Giulio
2	Hamana, Makoto
2	Houtmann, Clément
2	Kahrs, Stefan Michael
2	Kohl, Christina
2	Lombardi, Carlos
2	Makowsky, Johann-Andreas
2	Maršík, Jirka
2	Mönnich, Uwe
2	Morawietz, Frank
2	Oyamaguchi, Michio
2	Paul, Christophe
2	Peyrot, Loïc
2	Polonsky, Andrew
2	Rocha-Oliveira, Ana Cristina
2	Rose, Kristoffer Høgsbro
2	Sakai, Masahiko
2	Shintani, Kiraku
2	Sternagel, Christian
2	Toyama, Yoshihito
2	van Bakel, Steffen
2	Lima Ventura, Daniel
2	Wack, Benjamin
2	Zantema, Hans
1	Aceto, Luca
1	Aiguier, Marc
1	Akama, Yohji
1	Alberucci, Luca
1	Alleaume, Clément
1	Asada, Kazuyuki
1	Bacelar Almeida, José
1	Baillot, Patrick
1	Balabonski, Thibaut
1	Baldan, Paolo
1	Barenbaum, Pablo
1	Barras, Bruno
1	Berarducci, Alessandro
...and 142 more Authors

all top 5

Cited in 31 Serials

41	Theoretical Computer Science
18	Information and Computation
13	Logical Methods in Computer Science
10	Mathematical Structures in Computer Science
9	Journal of Automated Reasoning
4	Journal of Functional Programming
4	ACM Transactions on Computational Logic
3	Information Processing Letters
3	Journal of Computer and System Sciences
2	The Journal of Symbolic Logic
2	Formal Aspects of Computing
2	Higher-Order and Symbolic Computation
2	Journal of Logical and Algebraic Methods in Programming
1	Acta Informatica
1	Discrete Applied Mathematics
1	Advances in Mathematics
1	Journal of Algebra
1	Journal of Combinatorial Theory. Series B
1	Journal of Philosophical Logic
1	Journal of Pure and Applied Algebra
1	Journal of Symbolic Computation
1	Algorithmica
1	Indagationes Mathematicae. New Series
1	Journal of Knot Theory and its Ramifications
1	Journal of Logic, Language and Information
1	Mathematical Logic Quarterly (MLQ)
1	The Journal of Logic and Algebraic Programming
1	Theory and Practice of Logic Programming
1	Journal of Applied Logic
1	Logica Universalis
1	The Review of Symbolic Logic

all top 5

Cited in 17 Fields

198	Computer science (68-XX)
93	Mathematical logic and foundations (03-XX)
7	Category theory; homological algebra (18-XX)
4	Combinatorics (05-XX)
3	Group theory and generalizations (20-XX)
2	General algebraic systems (08-XX)
2	Nonassociative rings and algebras (17-XX)
2	Manifolds and cell complexes (57-XX)
1	General and overarching topics; collections (00-XX)
1	Associative rings and algebras (16-XX)
1	Several complex variables and analytic spaces (32-XX)
1	General topology (54-XX)
1	Algebraic topology (55-XX)
1	Numerical analysis (65-XX)
1	Quantum theory (81-XX)
1	Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1	Biology and other natural sciences (92-XX)

van Oostrom, Vincent

Co-Authors

Serials

Fields

Publications by Year

Citations contained in zbMATH Open

Cited by 242 Authors

Cited in 31 Serials

Cited in 17 Fields

Citations by Year