×

zbMATH — the first resource for mathematics

Benedikt, Michael A.

Compute Distance To:
Author ID: benedikt.michael-a Recent zbMATH articles by "Benedikt, Michael A."
Published as: Benedikt, Michael; Benedikt, Michael A.; Benedikt, M.
External Links: ORCID
Documents Indexed: 68 Publications since 1995, including 2 Books

Publications by Year

Citations contained in zbMATH Open

43 Publications have been cited 207 times in 165 Documents Cited by Year
XPath satisfiability in the presence of DTDs. Zbl 1326.68154
Benedikt, Michael; Fan, Wenfei; Geerts, Floris
23
2008
Relational expressive power of constraint query languages. Zbl 0902.68047
Benedikt, Michael; Dong, Guozhu; Libkin, Leonid; Wong, Limsoon
21
1998
Stability theory, permutations of indiscernibles, and embedded finite models. Zbl 0960.03027
Baldwin, John; Benedikt, Michael
18
2000
Structural properties of XPath fragments. Zbl 1080.68018
Benedikt, Michael; Fan, Wenfei; Kuper, Gabriel
11
2005
Definable relations and first-order query languages over strings. Zbl 1325.03031
Benedikt, Michael; Libkin, Leonid; Schwentick, Thomas; Segoufin, Luc
9
2003
Regular tree languages definable in FO. Zbl 1118.03314
Benedikt, Michael; Segoufin, Luc
8
2005
Relational queries over interpreted structures. Zbl 1327.68089
Benedikt, Michael; Libkin, Leonid
7
2000
Efficient and expressive tree filters. Zbl 1135.68337
Benedikt, Michael; Jeffrey, Alan
7
2007
LTL model checking of interval Markov chains. Zbl 1381.68147
Benedikt, Michael; Lenhardt, Rastislav; Worrell, James
7
2013
Safe constraint queries. Zbl 0949.68061
Benedikt, Michael; Libkin, Leonid
6
2000
Model checking of unrestricted hierarchical state machines. Zbl 0986.68506
Benedikt, Michael; Godefroid, Patrice; Reps, Thomas
6
2001
Rewriting guarded negation queries. Zbl 1398.68120
Bárány, Vince; Benedikt, Michael; ten Cate, Balder
6
2013
Bounded repairability of word languages. Zbl 1410.68196
Benedikt, Michael; Puppis, Gabriele; Riveros, Cristian
6
2013
Bisimilarity of pushdown automata is nonelementary. Zbl 1366.68136
Benedikt, Michael; Göller, Stefan; Kiefer, Stefan; Murawski, Andrzej S.
5
2013
The cost of traveling between languages. Zbl 1333.68304
Benedikt, Michael; Puppis, Gabriele; Riveros, Cristian
5
2011
Automata vs. logics on data words. Zbl 1287.03086
Benedikt, Michael; Ley, Clemens; Puppis, Gabriele
5
2010
Ultrafilters which extend measures. Zbl 0911.03033
Benedikt, Michael
4
1998
Regular tree languages definable in FO and in FO\(_{\mathrm{mod}}\). Zbl 1351.68134
Benedikt, Michael; Segoufin, Luc
4
2009
Determinacy and rewriting of top-down and MSO tree transformations. Zbl 1398.68104
Benedikt, Michael; Engelfriet, Joost; Maneth, Sebastian
4
2013
Complexity of two-variable logic on finite trees. Zbl 1335.68132
Benaim, Saguy; Benedikt, Michael; Charatonik, Witold; Kieroński, Emanuel; Lenhardt, Rastislav; Mazowiecki, Filip; Worrell, James
4
2013
Logical definability and query languages over ranked and unranked trees. Zbl 1367.03050
Benedikt, Michael; Libkin, Leonid; Neven, Frank
3
2007
Querying visible and invisible information. Zbl 1394.68125
Benedikt, Michael; Bourhis, Pierre; ten Cate, Balder; Puppis, Gabriele
3
2016
A step up in expressiveness of decidable fixpoint logics. Zbl 1394.03014
Benedikt, Michael; Bourhis, Pierre; Boom, Michael Vanden
3
2016
Embedded finite models, stability theory, and the impact of order. Zbl 0945.03544
Baldwin, John T.; Benedikt, Michael A.
3
1998
Towards a characterization of order-invariant queries over tame graphs. Zbl 1161.03018
Benedikt, Michael A.; Segoufin, Luc
3
2009
Complexity of two-variable logic on finite trees. Zbl 1367.03062
Benaim, Saguy; Benedikt, Michael; Charatonik, Witold; Kieroński, Emanuel; Lenhardt, Rastislav; Mazowiecki, Filip; Worrell, James
2
2016
Effective interpolation and preservation in guarded logics. Zbl 1394.03050
Benedikt, Michael; ten Cate, Balder; Vanden Boom, Michael
2
2014
Aggregate operators in constraint query languages. Zbl 1052.68024
Benedikt, Michael; Libkin, Leonid
2
2002
Reachability and connectivity queries in constraint databases. Zbl 1026.68036
Benedikt, Michael; Grohe, Martin; Libkin, Leonid; Segoufin, Luc
2
2003
Structural properties of XPath fragments. Zbl 1022.68503
Benedikt, Michael; Fan, Wenfei; Kuper, Gabriel M.
2
2003
XML subtree queries: Specification and composition. Zbl 1159.68405
Benedikt, Michael; Fundulaki, Irini
2
2005
The per-character cost of repairing word languages. Zbl 1359.68158
Benedikt, Michael; Puppis, Gabriele; Riveros, Cristian
2
2014
Monadic Datalog containment. Zbl 1367.68027
Benedikt, Michael; Bourhis, Pierre; Senellart, Pierre
2
2012
Effective interpolation and preservation in guarded logics. Zbl 1367.03036
Benedikt, Michael; ten Cate, Balder; Vanden Boom, Michael
1
2016
Generating plans from proofs. The interpolation-based approach to query reformulation. Zbl 1345.68003
Benedikt, Michael; Leblay, Julien; ten Cate, Balder; Tsamoura, Efthymia
1
2016
Expressive power of unary counters. Zbl 0884.03033
Benedikt, Michael; Keisler, H. Jerome
1
1997
Nonstandard analysis in selective universes. Zbl 0923.03078
Benedikt, Michael
1
1995
Towards a characterization of order-invariant queries over tame structures. Zbl 1136.03318
Benedikt, Michael; Segoufin, Luc
1
2005
Expressive power: The finit case. Zbl 0989.68043
Benedikt, Michael; Lipkin, Leonid
1
2000
Query safety with constraints. Zbl 0989.68045
Benedikt, Michael; Libkin, Leonid
1
2000
Verifiable properties of database transactions. Zbl 0927.68032
Benedikt, Michael; Griffin, Timothy; Libkin, Leonid
1
1998
Two variable vs. linear temporal logic in model checking and games. Zbl 1343.68151
Benedikt, Michael; Lenhardt, Rastislav; Worrell, James
1
2011
Polynomial automata: zeroness and applications. Zbl 1457.68138
Benedikt, Michael; Duff, Timothy; Sharad, Aditya; Worrell, James
1
2017
Polynomial automata: zeroness and applications. Zbl 1457.68138
Benedikt, Michael; Duff, Timothy; Sharad, Aditya; Worrell, James
1
2017
Querying visible and invisible information. Zbl 1394.68125
Benedikt, Michael; Bourhis, Pierre; ten Cate, Balder; Puppis, Gabriele
3
2016
A step up in expressiveness of decidable fixpoint logics. Zbl 1394.03014
Benedikt, Michael; Bourhis, Pierre; Boom, Michael Vanden
3
2016
Complexity of two-variable logic on finite trees. Zbl 1367.03062
Benaim, Saguy; Benedikt, Michael; Charatonik, Witold; Kieroński, Emanuel; Lenhardt, Rastislav; Mazowiecki, Filip; Worrell, James
2
2016
Effective interpolation and preservation in guarded logics. Zbl 1367.03036
Benedikt, Michael; ten Cate, Balder; Vanden Boom, Michael
1
2016
Generating plans from proofs. The interpolation-based approach to query reformulation. Zbl 1345.68003
Benedikt, Michael; Leblay, Julien; ten Cate, Balder; Tsamoura, Efthymia
1
2016
Effective interpolation and preservation in guarded logics. Zbl 1394.03050
Benedikt, Michael; ten Cate, Balder; Vanden Boom, Michael
2
2014
The per-character cost of repairing word languages. Zbl 1359.68158
Benedikt, Michael; Puppis, Gabriele; Riveros, Cristian
2
2014
LTL model checking of interval Markov chains. Zbl 1381.68147
Benedikt, Michael; Lenhardt, Rastislav; Worrell, James
7
2013
Rewriting guarded negation queries. Zbl 1398.68120
Bárány, Vince; Benedikt, Michael; ten Cate, Balder
6
2013
Bounded repairability of word languages. Zbl 1410.68196
Benedikt, Michael; Puppis, Gabriele; Riveros, Cristian
6
2013
Bisimilarity of pushdown automata is nonelementary. Zbl 1366.68136
Benedikt, Michael; Göller, Stefan; Kiefer, Stefan; Murawski, Andrzej S.
5
2013
Determinacy and rewriting of top-down and MSO tree transformations. Zbl 1398.68104
Benedikt, Michael; Engelfriet, Joost; Maneth, Sebastian
4
2013
Complexity of two-variable logic on finite trees. Zbl 1335.68132
Benaim, Saguy; Benedikt, Michael; Charatonik, Witold; Kieroński, Emanuel; Lenhardt, Rastislav; Mazowiecki, Filip; Worrell, James
4
2013
Monadic Datalog containment. Zbl 1367.68027
Benedikt, Michael; Bourhis, Pierre; Senellart, Pierre
2
2012
The cost of traveling between languages. Zbl 1333.68304
Benedikt, Michael; Puppis, Gabriele; Riveros, Cristian
5
2011
Two variable vs. linear temporal logic in model checking and games. Zbl 1343.68151
Benedikt, Michael; Lenhardt, Rastislav; Worrell, James
1
2011
Automata vs. logics on data words. Zbl 1287.03086
Benedikt, Michael; Ley, Clemens; Puppis, Gabriele
5
2010
Regular tree languages definable in FO and in FO\(_{\mathrm{mod}}\). Zbl 1351.68134
Benedikt, Michael; Segoufin, Luc
4
2009
Towards a characterization of order-invariant queries over tame graphs. Zbl 1161.03018
Benedikt, Michael A.; Segoufin, Luc
3
2009
XPath satisfiability in the presence of DTDs. Zbl 1326.68154
Benedikt, Michael; Fan, Wenfei; Geerts, Floris
23
2008
Efficient and expressive tree filters. Zbl 1135.68337
Benedikt, Michael; Jeffrey, Alan
7
2007
Logical definability and query languages over ranked and unranked trees. Zbl 1367.03050
Benedikt, Michael; Libkin, Leonid; Neven, Frank
3
2007
Structural properties of XPath fragments. Zbl 1080.68018
Benedikt, Michael; Fan, Wenfei; Kuper, Gabriel
11
2005
Regular tree languages definable in FO. Zbl 1118.03314
Benedikt, Michael; Segoufin, Luc
8
2005
XML subtree queries: Specification and composition. Zbl 1159.68405
Benedikt, Michael; Fundulaki, Irini
2
2005
Towards a characterization of order-invariant queries over tame structures. Zbl 1136.03318
Benedikt, Michael; Segoufin, Luc
1
2005
Definable relations and first-order query languages over strings. Zbl 1325.03031
Benedikt, Michael; Libkin, Leonid; Schwentick, Thomas; Segoufin, Luc
9
2003
Reachability and connectivity queries in constraint databases. Zbl 1026.68036
Benedikt, Michael; Grohe, Martin; Libkin, Leonid; Segoufin, Luc
2
2003
Structural properties of XPath fragments. Zbl 1022.68503
Benedikt, Michael; Fan, Wenfei; Kuper, Gabriel M.
2
2003
Aggregate operators in constraint query languages. Zbl 1052.68024
Benedikt, Michael; Libkin, Leonid
2
2002
Model checking of unrestricted hierarchical state machines. Zbl 0986.68506
Benedikt, Michael; Godefroid, Patrice; Reps, Thomas
6
2001
Stability theory, permutations of indiscernibles, and embedded finite models. Zbl 0960.03027
Baldwin, John; Benedikt, Michael
18
2000
Relational queries over interpreted structures. Zbl 1327.68089
Benedikt, Michael; Libkin, Leonid
7
2000
Safe constraint queries. Zbl 0949.68061
Benedikt, Michael; Libkin, Leonid
6
2000
Expressive power: The finit case. Zbl 0989.68043
Benedikt, Michael; Lipkin, Leonid
1
2000
Query safety with constraints. Zbl 0989.68045
Benedikt, Michael; Libkin, Leonid
1
2000
Relational expressive power of constraint query languages. Zbl 0902.68047
Benedikt, Michael; Dong, Guozhu; Libkin, Leonid; Wong, Limsoon
21
1998
Ultrafilters which extend measures. Zbl 0911.03033
Benedikt, Michael
4
1998
Embedded finite models, stability theory, and the impact of order. Zbl 0945.03544
Baldwin, John T.; Benedikt, Michael A.
3
1998
Verifiable properties of database transactions. Zbl 0927.68032
Benedikt, Michael; Griffin, Timothy; Libkin, Leonid
1
1998
Expressive power of unary counters. Zbl 0884.03033
Benedikt, Michael; Keisler, H. Jerome
1
1997
Nonstandard analysis in selective universes. Zbl 0923.03078
Benedikt, Michael
1
1995
all top 5

Cited by 269 Authors

14 Benedikt, Michael A.
11 Libkin, Leonid O.
7 Gyssens, Marc
7 ten Cate, Balder David
7 Van Gucht, Dirk
5 Gauwin, Olivier
5 Niehren, Joachim
5 Segoufin, Luc
5 Van den Bussche, Jan
4 Bojańczyk, Mikołaj
4 Filiot, Emmanuel
4 Jančar, Petr
4 Marx, Maarten
4 Reynier, Pierre-Alain
4 Schweikardt, Nicole
3 Barceló, Pablo
3 Bourhis, Pierre
3 Charatonik, Witold
3 Choffrut, Christian
3 Deutch, Daniel
3 Dudakov, Sergey M.
3 Fletcher, George H. L.
3 Grigorieff, Serge
3 Kuusisto, Antti
3 Maneth, Sebastian
3 Martens, Wim
3 Murlak, Filip
3 Ng, Timothy
3 Simon, Pierre
3 Tison, Sophie
3 Vandeurzen, Luc
3 Vansummeren, Stijn
3 Wu, Yuqing
2 Afrati, Foto N.
2 Amarilli, Antoine
2 Arenas, Marcelo
2 Baizhanov, Bektur Sembiuly
2 Baldwin, John T.
2 Bárány, Vince
2 Becerra-Terón, Antonio
2 Chapuis, Olivier
2 Chernikov, Artem
2 David, Claire
2 Di Nasso, Mauro
2 Engelfriet, Joost
2 Ésik, Zoltán
2 Fervari, Raul
2 Figueira, Diego
2 Fontaine, Gaëlle
2 Geerts, Floris
2 Hartmann, Sven
2 Kieroński, Emanuel
2 Koiran, Pascal
2 Kostylev, Egor V.
2 Kuper, Gabriel M.
2 Kuske, Dietrich
2 La Torre, Salvatore
2 Leinders, Dirk
2 Link, Sebastian
2 Litak, Tadeusz
2 Lohrey, Markus
2 Lutz, Carsten
2 Neven, Frank
2 Otop, Jan
2 Puppis, Gabriele
2 Rappaport, David
2 Riveros, Cristian
2 Salomaa, Kai T.
2 Schwentick, Thomas
2 Senellart, Pierre
2 Shelah, Saharon
2 Šimkus, Mantas
2 Staworko, Sławek
2 Su, Jianwen
2 Surinx, Dimitri
2 Talbot, Jean-Marc
2 Tan, Tony
2 Vanden Boom, Michael
2 Vassiliev, Evgueni V.
2 Vianu, Victor
2 Vrgoč, Domagoj
2 Walukiewicz, Igor
2 Worrell, James B.
1 Abriola, Sergio
1 Agrawal, Manindra
1 Ahmetaj, Shqiponja
1 Aiswarya, Cyriac
1 Akshay, S.
1 Alemandros-Jiménez, Jesús M.
1 Alibabaei, Khadijeh
1 Alirezazadeh, Saeid
1 Almendros-Jiménez, Jesús Manuel
1 Alur, Rajeev
1 Amano, Shun’ichi
1 Antonopoulos, Timos
1 Areces, Carlos
1 Ba, Mouhamadou Lamine
1 Bacci, Giorgio
1 Bacci, Giovanni
1 Baier, Christel
...and 169 more Authors

Citations by Year