×

zbMATH — the first resource for mathematics

Niehren, Joachim

Compute Distance To:
Author ID: niehren.joachim Recent zbMATH articles by "Niehren, Joachim"
Published as: Niehren, Joachim; Niehren, J.
External Links: MGP
Documents Indexed: 73 Publications since 1994, including 1 Book

Publications by Year

Citations contained in zbMATH Open

49 Publications have been cited 171 times in 99 Documents Cited by Year
On the minimization of XML schemas and tree automata for unranked trees. Zbl 1115.68099
Martens, Wim; Niehren, Joachim
17
2007
Querying unranked trees with stepwise tree automata. Zbl 1187.68188
Carme, Julien; Niehren, Joachim; Tommasi, Marc
13
2004
Streaming tree automata. Zbl 1191.68241
Gauwin, Olivier; Niehren, Joachim; Roos, Yves
12
2009
A concurrent lambda calculus with futures. Zbl 1110.68023
Niehren, J.; Schwinghammer, J.; Smolka, G.
10
2006
The attributed pi-calculus with priorities. Zbl 1275.92023
John, Mathias; Lhoussaine, Cédric; Niehren, Joachim; Uhrmacher, Adelinde M.
10
2010
A stochastic pi calculus for concurrent objects. Zbl 1126.92003
Kuttler, Céline; Lhoussaine, Cédric; Niehren, Joachim
8
2007
Biochemical reaction rules with constraints. Zbl 1326.68050
John, Mathias; Lhoussaine, Cédric; Niehren, Joachim; Versari, Cristian
7
2011
Observational semantics for a concurrent lambda calculus with reference cells and futures. Zbl 1316.68034
Niehren, Joachim; Sabel, David; Schmidt-Schauß, Manfred; Schwinghammer, Jan
7
2007
Earliest query answering for deterministic nested word automata. Zbl 1252.68085
Gauwin, Olivier; Niehren, Joachim; Tison, Sophie
6
2009
\(n\)-ary queries by tree automata. Zbl 1159.68426
Niehren, Joachim; Planque, Laurent; Talbot, Jean-Marc; Tison, Sophie
5
2005
The first-order theory of ordering constraints over feature trees. Zbl 0945.03540
Müller, Martin; Niehren, Joachim; Treinen, Ralf
4
1998
Well-nested context unification. Zbl 1135.03328
Levy, Jordi; Niehren, Joachim; Villaret, Mateu
4
2005
The constraint language for lambda structures. Zbl 0995.68131
Egg, Markus; Koller, Alexander; Niehren, Joachim
4
2001
Equivalence of deterministic nested word to word transducers. Zbl 1252.68184
Staworko, Sławomir; Laurence, Grégoire; Lemay, Aurélien; Niehren, Joachim
4
2009
Uniform confluence in concurrent computation. Zbl 0974.68061
Niehren, Joachim
3
2000
Dominance constraints: algorithms and complexity. Zbl 0976.68154
Koller, Alexander; Niehren, Joachim; Treinen, Ralf
3
2001
Learning node selecting tree transducer from completely annotated examples. Zbl 1111.68465
Carme, Julien; Lemay, Aurélien; Niehren, Joachim
3
2004
Minimizing tree automata for unranked trees. Zbl 1159.68425
Martens, Wim; Niehren, Joachim
3
2005
Efficient inclusion checking for deterministic tree automata and XML schemas. Zbl 1191.68377
Champavère, Jérôme; Gilleron, Rémi; Lemay, Aurélien; Niehren, Joachim
3
2009
Logics for unordered trees with data constraints on siblings. Zbl 1423.68135
Boiret, Adrien; Hugot, Vincent; Niehren, Joachim; Treinen, Ralf
3
2015
On rewrite constraints and context unification. Zbl 1014.68076
Niehren, Joachim; Tison, Sophie; Treinen, Ralf
3
2000
Streamable fragments of forward XPath. Zbl 1297.68129
Gauwin, Olivier; Niehren, Joachim
3
2011
Dominance constraints in context unification. Zbl 0976.68153
Niehren, Joachim; Koller, Alexander
2
2001
Dominance constraints with set operators. Zbl 0983.68543
Duchier, Denys; Niehren, Joachim
2
2000
Efficient inclusion checking for deterministic tree automata and DTDs. Zbl 1156.68448
Champavère, Jérôme; Gilleron, Rémi; Lemay, Aurélien; Niehren, Joachim
2
2008
Bounded delay and concurrency for earliest query answering. Zbl 1234.68087
Gauwin, Olivier; Niehren, Joachim; Tison, Sophie
2
2009
Observational program calculi and the correctness of translations. Zbl 1309.68052
Schmidt-Schauß, Manfred; Sabel, David; Niehren, Joachim; Schwinghammer, Jan
2
2015
Non-structural subtype entailment in automata theory. Zbl 1087.68524
Niehren, Joachim; Priesnitz, Tim
2
2001
A new algorithm for normal dominance constraints. Zbl 1318.05071
Bodirsky, Manuel; Duchier, Denys; Niehren, Joachim; Miele, Sebastian
2
2004
Early nested word automata for XPath query answering on XML streams. Zbl 1298.68130
Debarbieux, Denis; Gauwin, Olivier; Niehren, Joachim; Sebastian, Tom; Zergaoui, Mohamed
2
2013
Queries on XML streams with bounded delay and concurrency. Zbl 1221.68082
Gauwin, Olivier; Niehren, Joachim; Tison, Sophie
2
2011
Functional computation in a uniformly concurrent calculus with logical variables. (Funktionale Berechnung in einem uniform nebenläufigen Kalkül mit logischen Variablen.) Zbl 0931.03050
Niehren, Joachim
1
1994
Ordering constraints over feature trees. Zbl 0947.68137
Müller, Martin; Niehren, Joachim; Podelski, Andreas
1
2000
Entailment of non-structural subtype constraints. Zbl 0959.68029
Niehren, Joachim; Priesnitz, Tim
1
1999
Ordering constraints over feature trees expressed in second-order monadic logic. Zbl 0903.03006
Müller, Martin; Niehren, Joachim
1
1998
Ordering constraints over feature trees expressed in second-order monadic logic. Zbl 1046.68645
Müller, Martin; Niehren, Joachim
1
2000
Parallelism and tree regular constraints. Zbl 1023.03538
Niehren, Joachim; Villaret, Mateu
1
2002
A concurrent lambda calculus with futures. Zbl 1171.68409
Niehren, Joachim; Schwinghammer, Jan; Smolka, Gert
1
2005
An efficient algorithm for the configuration problem of dominance graphs. Zbl 0988.68139
Althaus, Ernst; Duchier, Denys; Koller, Alexander; Mehlhorn, Kurt; Niehren, Joachim; Thiel, Sven
1
2001
Describing lambda terms in context unification. Zbl 1082.68848
Niehren, Joachim; Villaret, Mateu
1
2005
Schema-guided induction of monadic queries. Zbl 1177.68080
Champavère, Jérôme; Gilleron, Rémi; Lemay, Aurélien; Niehren, Joachim
1
2008
Learning \(n\)-ary node selecting tree transducers from completely annotated examples. Zbl 1158.68411
Lemay, A.; Niehren, J.; Gilleron, R.
1
2006
Normalization of sequential top-down tree-to-word transducers. Zbl 1330.68167
Laurence, Grégoire; Lemay, Aurélien; Niehren, Joachim; Staworko, Sławek; Tommasi, Marc
1
2011
The first-order theory of subtyping constraints. Zbl 1323.68164
Su, Zhendong; Aiken, Alexander; Niehren, Joachim; Priesnitz, Tim; Treinen, Ralf
1
2002
Early nested word automata for XPath query answering on XML streams. Zbl 1312.68078
Debarbieux, Denis; Gauwin, Olivier; Niehren, Joachim; Sebastian, Tom; Zergaoui, Mohamed
1
2015
Sublinear DTD validity. Zbl 1451.68091
Ndione, Antoine; Lemay, Aurélien; Niehren, Joachim
1
2015
Automata for unordered trees. Zbl 1362.68128
Boiret, Adrien; Hugot, Vincent; Niehren, Joachim; Treinen, Ralf
1
2017
Query induction with schema-guided pruning strategies. Zbl 1307.68040
Niehren, Joachim; Champavère, Jérôme; Lemay, Aurélien; Gilleron, Rémi
1
2013
Approximate membership for regular languages modulo the edit distance. Zbl 1293.68307
Ndione, Antoine; Lemay, Aurélien; Niehren, Joachim
1
2013
Automata for unordered trees. Zbl 1362.68128
Boiret, Adrien; Hugot, Vincent; Niehren, Joachim; Treinen, Ralf
1
2017
Logics for unordered trees with data constraints on siblings. Zbl 1423.68135
Boiret, Adrien; Hugot, Vincent; Niehren, Joachim; Treinen, Ralf
3
2015
Observational program calculi and the correctness of translations. Zbl 1309.68052
Schmidt-Schauß, Manfred; Sabel, David; Niehren, Joachim; Schwinghammer, Jan
2
2015
Early nested word automata for XPath query answering on XML streams. Zbl 1312.68078
Debarbieux, Denis; Gauwin, Olivier; Niehren, Joachim; Sebastian, Tom; Zergaoui, Mohamed
1
2015
Sublinear DTD validity. Zbl 1451.68091
Ndione, Antoine; Lemay, Aurélien; Niehren, Joachim
1
2015
Early nested word automata for XPath query answering on XML streams. Zbl 1298.68130
Debarbieux, Denis; Gauwin, Olivier; Niehren, Joachim; Sebastian, Tom; Zergaoui, Mohamed
2
2013
Query induction with schema-guided pruning strategies. Zbl 1307.68040
Niehren, Joachim; Champavère, Jérôme; Lemay, Aurélien; Gilleron, Rémi
1
2013
Approximate membership for regular languages modulo the edit distance. Zbl 1293.68307
Ndione, Antoine; Lemay, Aurélien; Niehren, Joachim
1
2013
Biochemical reaction rules with constraints. Zbl 1326.68050
John, Mathias; Lhoussaine, Cédric; Niehren, Joachim; Versari, Cristian
7
2011
Streamable fragments of forward XPath. Zbl 1297.68129
Gauwin, Olivier; Niehren, Joachim
3
2011
Queries on XML streams with bounded delay and concurrency. Zbl 1221.68082
Gauwin, Olivier; Niehren, Joachim; Tison, Sophie
2
2011
Normalization of sequential top-down tree-to-word transducers. Zbl 1330.68167
Laurence, Grégoire; Lemay, Aurélien; Niehren, Joachim; Staworko, Sławek; Tommasi, Marc
1
2011
The attributed pi-calculus with priorities. Zbl 1275.92023
John, Mathias; Lhoussaine, Cédric; Niehren, Joachim; Uhrmacher, Adelinde M.
10
2010
Streaming tree automata. Zbl 1191.68241
Gauwin, Olivier; Niehren, Joachim; Roos, Yves
12
2009
Earliest query answering for deterministic nested word automata. Zbl 1252.68085
Gauwin, Olivier; Niehren, Joachim; Tison, Sophie
6
2009
Equivalence of deterministic nested word to word transducers. Zbl 1252.68184
Staworko, Sławomir; Laurence, Grégoire; Lemay, Aurélien; Niehren, Joachim
4
2009
Efficient inclusion checking for deterministic tree automata and XML schemas. Zbl 1191.68377
Champavère, Jérôme; Gilleron, Rémi; Lemay, Aurélien; Niehren, Joachim
3
2009
Bounded delay and concurrency for earliest query answering. Zbl 1234.68087
Gauwin, Olivier; Niehren, Joachim; Tison, Sophie
2
2009
Efficient inclusion checking for deterministic tree automata and DTDs. Zbl 1156.68448
Champavère, Jérôme; Gilleron, Rémi; Lemay, Aurélien; Niehren, Joachim
2
2008
Schema-guided induction of monadic queries. Zbl 1177.68080
Champavère, Jérôme; Gilleron, Rémi; Lemay, Aurélien; Niehren, Joachim
1
2008
On the minimization of XML schemas and tree automata for unranked trees. Zbl 1115.68099
Martens, Wim; Niehren, Joachim
17
2007
A stochastic pi calculus for concurrent objects. Zbl 1126.92003
Kuttler, Céline; Lhoussaine, Cédric; Niehren, Joachim
8
2007
Observational semantics for a concurrent lambda calculus with reference cells and futures. Zbl 1316.68034
Niehren, Joachim; Sabel, David; Schmidt-Schauß, Manfred; Schwinghammer, Jan
7
2007
A concurrent lambda calculus with futures. Zbl 1110.68023
Niehren, J.; Schwinghammer, J.; Smolka, G.
10
2006
Learning \(n\)-ary node selecting tree transducers from completely annotated examples. Zbl 1158.68411
Lemay, A.; Niehren, J.; Gilleron, R.
1
2006
\(n\)-ary queries by tree automata. Zbl 1159.68426
Niehren, Joachim; Planque, Laurent; Talbot, Jean-Marc; Tison, Sophie
5
2005
Well-nested context unification. Zbl 1135.03328
Levy, Jordi; Niehren, Joachim; Villaret, Mateu
4
2005
Minimizing tree automata for unranked trees. Zbl 1159.68425
Martens, Wim; Niehren, Joachim
3
2005
A concurrent lambda calculus with futures. Zbl 1171.68409
Niehren, Joachim; Schwinghammer, Jan; Smolka, Gert
1
2005
Describing lambda terms in context unification. Zbl 1082.68848
Niehren, Joachim; Villaret, Mateu
1
2005
Querying unranked trees with stepwise tree automata. Zbl 1187.68188
Carme, Julien; Niehren, Joachim; Tommasi, Marc
13
2004
Learning node selecting tree transducer from completely annotated examples. Zbl 1111.68465
Carme, Julien; Lemay, Aurélien; Niehren, Joachim
3
2004
A new algorithm for normal dominance constraints. Zbl 1318.05071
Bodirsky, Manuel; Duchier, Denys; Niehren, Joachim; Miele, Sebastian
2
2004
Parallelism and tree regular constraints. Zbl 1023.03538
Niehren, Joachim; Villaret, Mateu
1
2002
The first-order theory of subtyping constraints. Zbl 1323.68164
Su, Zhendong; Aiken, Alexander; Niehren, Joachim; Priesnitz, Tim; Treinen, Ralf
1
2002
The constraint language for lambda structures. Zbl 0995.68131
Egg, Markus; Koller, Alexander; Niehren, Joachim
4
2001
Dominance constraints: algorithms and complexity. Zbl 0976.68154
Koller, Alexander; Niehren, Joachim; Treinen, Ralf
3
2001
Dominance constraints in context unification. Zbl 0976.68153
Niehren, Joachim; Koller, Alexander
2
2001
Non-structural subtype entailment in automata theory. Zbl 1087.68524
Niehren, Joachim; Priesnitz, Tim
2
2001
An efficient algorithm for the configuration problem of dominance graphs. Zbl 0988.68139
Althaus, Ernst; Duchier, Denys; Koller, Alexander; Mehlhorn, Kurt; Niehren, Joachim; Thiel, Sven
1
2001
Uniform confluence in concurrent computation. Zbl 0974.68061
Niehren, Joachim
3
2000
On rewrite constraints and context unification. Zbl 1014.68076
Niehren, Joachim; Tison, Sophie; Treinen, Ralf
3
2000
Dominance constraints with set operators. Zbl 0983.68543
Duchier, Denys; Niehren, Joachim
2
2000
Ordering constraints over feature trees. Zbl 0947.68137
Müller, Martin; Niehren, Joachim; Podelski, Andreas
1
2000
Ordering constraints over feature trees expressed in second-order monadic logic. Zbl 1046.68645
Müller, Martin; Niehren, Joachim
1
2000
Entailment of non-structural subtype constraints. Zbl 0959.68029
Niehren, Joachim; Priesnitz, Tim
1
1999
The first-order theory of ordering constraints over feature trees. Zbl 0945.03540
Müller, Martin; Niehren, Joachim; Treinen, Ralf
4
1998
Ordering constraints over feature trees expressed in second-order monadic logic. Zbl 0903.03006
Müller, Martin; Niehren, Joachim
1
1998
Functional computation in a uniformly concurrent calculus with logical variables. (Funktionale Berechnung in einem uniform nebenläufigen Kalkül mit logischen Variablen.) Zbl 0931.03050
Niehren, Joachim
1
1994
all top 5

Cited by 169 Authors

18 Niehren, Joachim
10 Salomaa, Kai T.
7 Gauwin, Olivier
7 Schmidt-Schauß, Manfred
6 Piao, Xiaoxue
6 Sabel, David
4 Martens, Wim
3 Boiret, Adrien
3 De Nicola, Rocco
3 Filiot, Emmanuel
3 Henrio, Ludovic
3 John, Mathias
3 Lhoussaine, Cédric
3 Neven, Frank
3 Okhotin, Alexander
3 Schwinghammer, Jan
3 Servais, Frédéric
3 Tison, Sophie
3 Treinen, Ralf
3 Uhrmacher, Adelinde M.
3 Versari, Cristian
2 Abiteboul, Serge
2 Alrahman, Yehia Abd
2 Antonopoulos, Timos
2 Björklund, Johanna
2 Busi, Nadia
2 Duchier, Denys
2 Folschette, Maxime
2 Gascón, Adrià
2 Hugot, Vincent
2 Johnsen, Einar Broch
2 Kammüller, Florian
2 Levy, Jordi
2 Loreti, Michele
2 Magnin, Morgan
2 Paulevé, Loïc
2 Reynier, Pierre-Alain
2 Villaret, Mateu
1 Ábrahám, Erika
1 Amavi, Joshua
1 Amsterdamer, Yael
1 Ariola, Zena M.
1 Asada, Kazuyuki
1 Asher, Nicholas M.
1 Beldiceanu, Nicolas
1 Bodirsky, Manuel
1 Bourhis, Pierre
1 Caromel, Denis
1 Chabin, Jacques
1 Champavère, Jérôme
1 Cherroun, Hadda
1 Christiansen, Henning
1 Clarke, Dave
1 Cohen, Shay B.
1 Colazzo, Dario
1 Courcelle, Bruno
1 Damgaard, Troels Christoffer
1 de Rougemont, Michel
1 Debarbieux, Denis
1 Deutch, Daniel
1 Drewes, Frank
1 Erk, Katrin
1 Feret, Jérôme
1 Fernau, Henning
1 Ferrari, Gian Luigi
1 Flener, Pierre
1 Geerts, Floris
1 Gelade, Wouter
1 Ghelli, Giorgio
1 Gilleron, Rémi
1 Godoy, Guillem
1 Gottlob, Georg
1 Grabe, Immo
1 Grüner, Andreas
1 Guellouma, Younes
1 Halfeld Ferrari Alves, Mírian
1 Han, Yo-Sub
1 Helms, Tobias
1 Herbelin, Hugo
1 Højsgaard, Espen
1 Honorato-Zimmer, Ricardo
1 Hovland, Dag
1 Idziaszek, Tomasz
1 Isaak, Dimitri
1 Janoušek, Jan
1 Kirkeby, Maja H.
1 Kirste, Thomas
1 Ko, Sang-Ki
1 Kordy, Barbara
1 Krivine, Jean
1 Kuetz, Martin
1 Kutsia, Temur
1 Kuttler, Céline
1 Lascarides, Alex
1 Lee, Ha-Rim
1 Lemay, Aurélien
1 Li, Jianzhong
1 Libkin, Leonid O.
1 Liu, Xianmin
1 Löding, Christof
...and 69 more Authors

Citations by Year