Edit Profile Muscholl, Anca Compute Distance To: Compute Author ID: muscholl.anca Published as: Muscholl, Anca Documents Indexed: 89 Publications since 1993, including 6 Books all top 5 Co-Authors 9 single-authored 17 Genest, Blaise 14 Walukiewicz, Igor 11 Diekert, Volker 7 Puppis, Gabriele 6 Peled, Doron A. 6 Schwentick, Thomas 5 Gauwin, Olivier 5 Kuske, Dietrich 5 Segoufin, Luc 5 Seidl, Helmut 4 Baschenis, Félix 4 Esparza, Javier 4 Zeitoun, Marc 2 Bojańczyk, Mikołaj 2 Ebinger, Werner 2 Gimbert, Hugo 2 Godard, Emmanuel 2 Hagenah, Christian 2 Heußner, Alexander 2 Kuperberg, Denis 2 Leroux, Jérôme 2 Lohrey, Markus 2 Manuel, Amaldev 2 Matiyasevich, Yuriĭ Vladimirovich 2 Métivier, Yves 2 Schewe, Sven 2 Sutre, Grégoire 1 Bouajjani, Ahmed 1 Caillaud, Benoît 1 Chatzigiannakis, Ioannis 1 David, Claire 1 Dietzfelbinger, Martin 1 Faliszewski, Piotr 1 Fernández, Maribel 1 Gallot, Paul 1 Gunter, Elsa L. 1 Habermehl, Peter 1 Hélouët, Loïc 1 Hoogeboom, Hendrik Jan 1 Indyk, Piotr 1 Krishna, Siddharth 1 Kuhn, Fabian 1 La Torre, Salvatore 1 Minea, Marius 1 Niedermeier, Rolf 1 Peleg, David 1 Petersen, Holger 1 Pokorný, Jaroslav 1 Raskin, Michael A. 1 Reinhardt, Klaus 1 Rumpe, Bernhard 1 Salvati, Sylvain 1 Samuelides, Mathias 1 Serre, Olivier 1 Ştefănescu, Alin 1 Touili, Tayssir 1 Van Leeuwen, Jan 1 Wu, Zhilin all top 5 Serials 6 Theoretical Computer Science 5 Theory of Computing Systems 5 Logical Methods in Computer Science 3 Information and Computation 3 LIPIcs – Leibniz International Proceedings in Informatics 2 Information Processing Letters 2 Lecture Notes in Computer Science 1 Acta Informatica 1 Journal of Computer and System Sciences 1 Annales Societatis Mathematicae Polonae. Series IV 1 International Journal of Algebra and Computation 1 International Journal of Foundations of Computer Science 1 Journal of the ACM 1 RAIRO. Theoretical Informatics and Applications 1 Fundamenta Informaticae 1 ACM Transactions on Computational Logic 1 Electronic Notes in Theoretical Computer Science all top 5 Fields 88 Computer science (68-XX) 16 Mathematical logic and foundations (03-XX) 7 General and overarching topics; collections (00-XX) 4 Group theory and generalizations (20-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Combinatorics (05-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 66 Publications have been cited 376 times in 265 Documents Cited by ▼ Year ▼ Two-variable logic on data words. Zbl 1352.03041Bojańczyk, Mikołaj; David, Claire; Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc 38 2011 Two-variable logic on data trees and XML reasoning. Zbl 1325.68078Bojańczyk, Mikolaj; Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc 28 2009 Message sequence graphs and decision problems on Marzurkiewicz traces. Zbl 0955.68084Muscholl, Anca; Peled, Doron 20 1999 Logical definability on infinite traces. Zbl 0871.68111Ebinger, Werner; Muscholl, Anca 17 1996 Counting in trees for free. Zbl 1099.03010Seidl, Helmut; Schwentick, Thomas; Muscholl, Anca; Habermehl, Peter 16 2004 Computing \(\varepsilon\)-free NFA from regular expressions in \(O(n\log^2 (n))\) time. Zbl 0971.68091Hagenah, Christian; Muscholl, Anca 15 2000 Solvability of equations in graph groups is decidable. Zbl 1112.03009Diekert, Volker; Muscholl, Anca 14 2006 A Kleene theorem and model checking algorithms for existentially bounded communicating automata. Zbl 1104.68066Genest, Blaise; Kuske, Dietrich; Muscholl, Anca 14 2006 Permutation rewriting and algorithmic verification. Zbl 1107.68052Bouajjani, Ahmed; Muscholl, Anca; Touili, Tayssir 11 2007 Distributed synthesis for acyclic architectures. Zbl 1360.68594Muscholl, Anca; Walukiewicz, Igor 10 2014 Asynchronous games over tree architectures. Zbl 1334.68150Genest, Blaise; Gimbert, Hugo; Muscholl, Anca; Walukiewicz, Igor 10 2013 Optimal Zielonka-type construction of deterministic asynchronous automata. Zbl 1288.68154Genest, Blaise; Gimbert, Hugo; Muscholl, Anca; Walukiewicz, Igor 9 2010 Constructing exponential-size deterministic Zielonka automata. Zbl 1133.68362Genest, Blaise; Muscholl, Anca 8 2006 Reachability analysis of communicating pushdown systems. Zbl 1248.68330Heußner, Alexander; Leroux, Jérôme; Muscholl, Anca; Sutre, Grégoire 7 2012 Bounded MSC communication. Zbl 1091.68006Lohrey, Markus; Muscholl, Anca 7 2004 Infinite-state high-level MSCs: Model-checking and realizability (extended abstract). Zbl 1057.68625Genest, Blaise; Muscholl, Anca; Seidl, Helmut; Zeitoun, Marc 7 2002 Solvability of equations in free partially commutative groups is decidable. Zbl 0986.20036Diekert, Volker; Muscholl, Anca 7 2001 Compositional message sequence charts. Zbl 0978.68549Gunter, Elsa L.; Muscholl, Anca; Peled, Doron A. 7 2001 Characterizations of classes of graphs recognizable by local computations. Zbl 1069.68561Godard, Emmanuel; Métivier, Yves; Muscholl, Anca 6 2004 Synthesis of distributed algorithms using asynchronous automata. Zbl 1274.68680Ştefănescu, Alin; Esparza, Javier; Muscholl, Anca 6 2003 Solving word equations modulo partial commutations. Zbl 0930.68074Diekert, Volker; Matiyasevich, Yuri; Muscholl, Anca 6 1999 Deterministic asynchronous automata for infinite traces. Zbl 0818.68100Diekert, Volker; Muscholl, Anca 6 1994 Deterministic asynchronous automata for infinite traces. (Extended abstract). Zbl 0799.68140Diekert, Volker; Muscholl, Anca 6 1993 Counting in trees. Zbl 1226.03049Seidl, Helmut; Schwentick, Thomas; Muscholl, Anca 5 2008 A lower bound on web services composition. Zbl 1195.68067Muscholl, Anca; Walukiewicz, Igor 5 2007 On codings of traces. Zbl 1379.68243Diekert, Volker; Muscholl, Anca; Reinhardt, Klaus 5 1995 On communicating automata with bounded channels. Zbl 1137.68447Genest, Blaise; Kuske, Dietrich; Muscholl, Anca 4 2007 Complementing deterministic tree-walking automata. Zbl 1184.68324Muscholl, Anca; Samuelides, Mathias; Segoufin, Luc 4 2006 Pattern matching and membership for hierarchical message sequence charts. Zbl 1059.68544Genest, Blaise; Muscholl, Anca 4 2002 Computing \(\varepsilon\)-free NFA from regular expressions in \(O(n\log^2(n))\) time. Zbl 0912.68113Hagenah, Christian; Muscholl, Anca 4 1998 Safety of parametrized asynchronous shared-memory systems is almost always decidable. Zbl 1374.68337La Torre, Salvatore; Muscholl, Anca; Walukiewicz, Igor 3 2015 Reachability analysis of communicating pushdown systems. Zbl 1284.68399Heußner, Alexander; Leroux, Jérôme; Muscholl, Anca; Sutre, Grégoire 3 2010 Pattern matching and membership for hierarchical message sequence charts. Zbl 1140.68038Genest, Blaise; Muscholl, Anca 3 2008 Infinite-state high-level MSCs: model-checking and realizability. Zbl 1105.68071Genest, Blaise; Muscholl, Anca; Seidl, Helmut; Zeitoun, Marc 3 2006 An NP-complete fragment of LTL. Zbl 1161.03303Muscholl, Anca; Walukiewicz, Igor 3 2005 Specifying and verifying partial order properties using template MSCs. Zbl 1126.68498Genest, Blaise; Minea, Marius; Muscholl, Anca; Peled, Doron 3 2004 Solving trace equations using lexicographical normal forms. Zbl 1401.68161Diekert, Volker; Matiyasevich, Yuri; Muscholl, Anca 3 1997 A note on the commutative closure of star-free languages. Zbl 0900.68288Muscholl, Anca; Petersen, Holger 3 1996 Logical definability on infinite traces. Zbl 1418.68116Ebinger, Werner; Muscholl, Anca 3 1993 One-way definability of sweeping transducer. Zbl 1366.68135Baschenis, Félix; Gauwin, Olivier; Muscholl, Anca; Puppis, Gabriele 2 2015 A note on monitors and Büchi automata. Zbl 06545718Diekert, Volker; Muscholl, Anca; Walukiewicz, Igor 2 2015 Automated synthesis of distributed controllers. Zbl 1440.68178Muscholl, Anca 2 2015 A quadratic construction for Zielonka automata with acyclic communication structure. Zbl 1360.68566Krishna, Siddharth; Muscholl, Anca 2 2013 A look at the control of asynchronous automata. Zbl 1194.68145Muscholl, Anca; Walukiewicz, Igor; Zeitoun, Marc 2 2009 Tree pattern rewriting systems. Zbl 1183.68372Genest, Blaise; Muscholl, Anca; Serre, Olivier; Zeitoun, Marc 2 2008 A lower bound on web services composition. Zbl 1147.68372Muscholl, Anca; Walukiewicz, Igor 2 2008 On communicating automata with bounded channels. Zbl 1128.68062Genest, Blaise; Kuske, Dietrich; Muscholl, Anca 2 2007 Active context-free games. Zbl 1122.68468Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc 2 2004 Message sequence charts. Zbl 1088.68124Genest, Blaise; Muscholl, Anca; Peled, Doron 2 2004 A Kleene theorem for a class of communicating automata with effective algorithms. Zbl 1117.68403Genest, Blaise; Muscholl, Anca; Kuske, Dietrich 2 2004 The power of local computations in graphs with initial knowledge. Zbl 0958.68064Godard, Emmanuel; Métivier, Yves; Muscholl, Anca 2 2000 The code problem for traces – improving the boundaries. Zbl 0903.68129Hoogeboom, Hendrik Jan; Muscholl, Anca 2 1997 Code problems on traces. Zbl 0889.68092Diekert, Volker; Muscholl, Anca 2 1996 A note on Métivier’s construction of asynchronous automata for triangulated graphs. Zbl 0843.68072Diekert, Volkert; Muscholl, Anca 2 1996 On the complementation of Büchi asynchronous cellular automata. Zbl 1422.68166Muscholl, Anca 2 1994 One-way definability of two-way word transducers. Zbl 1404.68065Baschenis, Félix; Gauwin, Olivier; Muscholl, Anca; Puppis, Gabriele 1 2018 On the decomposition of finite-valued streaming string transducers. Zbl 1402.68116Gallot, Paul; Muscholl, Anca; Puppis, Gabriele; Salvati, Sylvain 1 2017 Soundness in negotiations. Zbl 1392.68298Esparza, Javier; Kuperberg, Denis; Muscholl, Anca; Walukiewicz, Igor 1 2016 Minimizing resources of sweeping and streaming string transducers. Zbl 1388.68158Baschenis, Félix; Gauwin, Olivier; Muscholl, Anca; Puppis, Gabriele 1 2016 Walking on data words. Zbl 1353.68169Manuel, Amaldev; Muscholl, Anca; Puppis, Gabriele 1 2016 Walking on data words. Zbl 1344.68126Manuel, Amaldev; Muscholl, Anca; Puppis, Gabriele 1 2013 Active context-free games. Zbl 1122.91008Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc 1 2006 Snapshot verification. Zbl 1087.68055Genest, Blaise; Kuske, Dietrich; Muscholl, Anca; Peled, Doron 1 2005 High-level message sequence charts and projections. Zbl 1274.68186Genest, Blaise; Hélouët, Loïc; Muscholl, Anca 1 2003 Bounded MSC communication. Zbl 1077.68695Lohrey, Markus; Muscholl, Anca 1 2002 From finite state communication protocols to high-level message sequence charts. Zbl 0986.68060Muscholl, Anca; Peled, Doron 1 2001 One-way definability of two-way word transducers. Zbl 1404.68065Baschenis, Félix; Gauwin, Olivier; Muscholl, Anca; Puppis, Gabriele 1 2018 On the decomposition of finite-valued streaming string transducers. Zbl 1402.68116Gallot, Paul; Muscholl, Anca; Puppis, Gabriele; Salvati, Sylvain 1 2017 Soundness in negotiations. Zbl 1392.68298Esparza, Javier; Kuperberg, Denis; Muscholl, Anca; Walukiewicz, Igor 1 2016 Minimizing resources of sweeping and streaming string transducers. Zbl 1388.68158Baschenis, Félix; Gauwin, Olivier; Muscholl, Anca; Puppis, Gabriele 1 2016 Walking on data words. Zbl 1353.68169Manuel, Amaldev; Muscholl, Anca; Puppis, Gabriele 1 2016 Safety of parametrized asynchronous shared-memory systems is almost always decidable. Zbl 1374.68337La Torre, Salvatore; Muscholl, Anca; Walukiewicz, Igor 3 2015 One-way definability of sweeping transducer. Zbl 1366.68135Baschenis, Félix; Gauwin, Olivier; Muscholl, Anca; Puppis, Gabriele 2 2015 A note on monitors and Büchi automata. Zbl 06545718Diekert, Volker; Muscholl, Anca; Walukiewicz, Igor 2 2015 Automated synthesis of distributed controllers. Zbl 1440.68178Muscholl, Anca 2 2015 Distributed synthesis for acyclic architectures. Zbl 1360.68594Muscholl, Anca; Walukiewicz, Igor 10 2014 Asynchronous games over tree architectures. Zbl 1334.68150Genest, Blaise; Gimbert, Hugo; Muscholl, Anca; Walukiewicz, Igor 10 2013 A quadratic construction for Zielonka automata with acyclic communication structure. Zbl 1360.68566Krishna, Siddharth; Muscholl, Anca 2 2013 Walking on data words. Zbl 1344.68126Manuel, Amaldev; Muscholl, Anca; Puppis, Gabriele 1 2013 Reachability analysis of communicating pushdown systems. Zbl 1248.68330Heußner, Alexander; Leroux, Jérôme; Muscholl, Anca; Sutre, Grégoire 7 2012 Two-variable logic on data words. Zbl 1352.03041Bojańczyk, Mikołaj; David, Claire; Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc 38 2011 Optimal Zielonka-type construction of deterministic asynchronous automata. Zbl 1288.68154Genest, Blaise; Gimbert, Hugo; Muscholl, Anca; Walukiewicz, Igor 9 2010 Reachability analysis of communicating pushdown systems. Zbl 1284.68399Heußner, Alexander; Leroux, Jérôme; Muscholl, Anca; Sutre, Grégoire 3 2010 Two-variable logic on data trees and XML reasoning. Zbl 1325.68078Bojańczyk, Mikolaj; Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc 28 2009 A look at the control of asynchronous automata. Zbl 1194.68145Muscholl, Anca; Walukiewicz, Igor; Zeitoun, Marc 2 2009 Counting in trees. Zbl 1226.03049Seidl, Helmut; Schwentick, Thomas; Muscholl, Anca 5 2008 Pattern matching and membership for hierarchical message sequence charts. Zbl 1140.68038Genest, Blaise; Muscholl, Anca 3 2008 Tree pattern rewriting systems. Zbl 1183.68372Genest, Blaise; Muscholl, Anca; Serre, Olivier; Zeitoun, Marc 2 2008 A lower bound on web services composition. Zbl 1147.68372Muscholl, Anca; Walukiewicz, Igor 2 2008 Permutation rewriting and algorithmic verification. Zbl 1107.68052Bouajjani, Ahmed; Muscholl, Anca; Touili, Tayssir 11 2007 A lower bound on web services composition. Zbl 1195.68067Muscholl, Anca; Walukiewicz, Igor 5 2007 On communicating automata with bounded channels. Zbl 1137.68447Genest, Blaise; Kuske, Dietrich; Muscholl, Anca 4 2007 On communicating automata with bounded channels. Zbl 1128.68062Genest, Blaise; Kuske, Dietrich; Muscholl, Anca 2 2007 Solvability of equations in graph groups is decidable. Zbl 1112.03009Diekert, Volker; Muscholl, Anca 14 2006 A Kleene theorem and model checking algorithms for existentially bounded communicating automata. Zbl 1104.68066Genest, Blaise; Kuske, Dietrich; Muscholl, Anca 14 2006 Constructing exponential-size deterministic Zielonka automata. Zbl 1133.68362Genest, Blaise; Muscholl, Anca 8 2006 Complementing deterministic tree-walking automata. Zbl 1184.68324Muscholl, Anca; Samuelides, Mathias; Segoufin, Luc 4 2006 Infinite-state high-level MSCs: model-checking and realizability. Zbl 1105.68071Genest, Blaise; Muscholl, Anca; Seidl, Helmut; Zeitoun, Marc 3 2006 Active context-free games. Zbl 1122.91008Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc 1 2006 An NP-complete fragment of LTL. Zbl 1161.03303Muscholl, Anca; Walukiewicz, Igor 3 2005 Snapshot verification. Zbl 1087.68055Genest, Blaise; Kuske, Dietrich; Muscholl, Anca; Peled, Doron 1 2005 Counting in trees for free. Zbl 1099.03010Seidl, Helmut; Schwentick, Thomas; Muscholl, Anca; Habermehl, Peter 16 2004 Bounded MSC communication. Zbl 1091.68006Lohrey, Markus; Muscholl, Anca 7 2004 Characterizations of classes of graphs recognizable by local computations. Zbl 1069.68561Godard, Emmanuel; Métivier, Yves; Muscholl, Anca 6 2004 Specifying and verifying partial order properties using template MSCs. Zbl 1126.68498Genest, Blaise; Minea, Marius; Muscholl, Anca; Peled, Doron 3 2004 Active context-free games. Zbl 1122.68468Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc 2 2004 Message sequence charts. Zbl 1088.68124Genest, Blaise; Muscholl, Anca; Peled, Doron 2 2004 A Kleene theorem for a class of communicating automata with effective algorithms. Zbl 1117.68403Genest, Blaise; Muscholl, Anca; Kuske, Dietrich 2 2004 Synthesis of distributed algorithms using asynchronous automata. Zbl 1274.68680Ştefănescu, Alin; Esparza, Javier; Muscholl, Anca 6 2003 High-level message sequence charts and projections. Zbl 1274.68186Genest, Blaise; Hélouët, Loïc; Muscholl, Anca 1 2003 Infinite-state high-level MSCs: Model-checking and realizability (extended abstract). Zbl 1057.68625Genest, Blaise; Muscholl, Anca; Seidl, Helmut; Zeitoun, Marc 7 2002 Pattern matching and membership for hierarchical message sequence charts. Zbl 1059.68544Genest, Blaise; Muscholl, Anca 4 2002 Bounded MSC communication. Zbl 1077.68695Lohrey, Markus; Muscholl, Anca 1 2002 Solvability of equations in free partially commutative groups is decidable. Zbl 0986.20036Diekert, Volker; Muscholl, Anca 7 2001 Compositional message sequence charts. Zbl 0978.68549Gunter, Elsa L.; Muscholl, Anca; Peled, Doron A. 7 2001 From finite state communication protocols to high-level message sequence charts. Zbl 0986.68060Muscholl, Anca; Peled, Doron 1 2001 Computing \(\varepsilon\)-free NFA from regular expressions in \(O(n\log^2 (n))\) time. Zbl 0971.68091Hagenah, Christian; Muscholl, Anca 15 2000 The power of local computations in graphs with initial knowledge. Zbl 0958.68064Godard, Emmanuel; Métivier, Yves; Muscholl, Anca 2 2000 Message sequence graphs and decision problems on Marzurkiewicz traces. Zbl 0955.68084Muscholl, Anca; Peled, Doron 20 1999 Solving word equations modulo partial commutations. Zbl 0930.68074Diekert, Volker; Matiyasevich, Yuri; Muscholl, Anca 6 1999 Computing \(\varepsilon\)-free NFA from regular expressions in \(O(n\log^2(n))\) time. Zbl 0912.68113Hagenah, Christian; Muscholl, Anca 4 1998 Solving trace equations using lexicographical normal forms. Zbl 1401.68161Diekert, Volker; Matiyasevich, Yuri; Muscholl, Anca 3 1997 The code problem for traces – improving the boundaries. Zbl 0903.68129Hoogeboom, Hendrik Jan; Muscholl, Anca 2 1997 Logical definability on infinite traces. Zbl 0871.68111Ebinger, Werner; Muscholl, Anca 17 1996 A note on the commutative closure of star-free languages. Zbl 0900.68288Muscholl, Anca; Petersen, Holger 3 1996 Code problems on traces. Zbl 0889.68092Diekert, Volker; Muscholl, Anca 2 1996 A note on Métivier’s construction of asynchronous automata for triangulated graphs. Zbl 0843.68072Diekert, Volkert; Muscholl, Anca 2 1996 On codings of traces. Zbl 1379.68243Diekert, Volker; Muscholl, Anca; Reinhardt, Klaus 5 1995 Deterministic asynchronous automata for infinite traces. Zbl 0818.68100Diekert, Volker; Muscholl, Anca 6 1994 On the complementation of Büchi asynchronous cellular automata. Zbl 1422.68166Muscholl, Anca 2 1994 Deterministic asynchronous automata for infinite traces. (Extended abstract). Zbl 0799.68140Diekert, Volker; Muscholl, Anca 6 1993 Logical definability on infinite traces. Zbl 1418.68116Ebinger, Werner; Muscholl, Anca 3 1993 all cited Publications top 5 cited Publications all top 5 Cited by 411 Authors 22 Muscholl, Anca 12 Diekert, Volker 11 Gastin, Paul 10 Kuske, Dietrich 9 Bollig, Benedikt 9 Genest, Blaise 9 Lohrey, Markus 6 Demri, Stéphane P. 5 Atig, Mohamed Faouzi 5 Droste, Manfred 5 Habermehl, Peter 5 Schwentick, Thomas 4 Abdulla, Parosh Aziz 4 Alur, Rajeev 4 Guaiana, Giovanna 4 Héam, Pierre-Cyrille 4 Hélouët, Loïc 4 Lazić, Ranko 4 Libkin, Leonid O. 4 Métivier, Yves 4 Mukund, Madhavan 4 Tan, Tony 4 Thiagarajan, Pazhamaneri Subramaniam 4 Touili, Tayssir 3 Abriola, Sergio 3 Akshay, S. 3 Björklund, Henrik 3 Figueira, Santiago 3 Finkbeiner, Bernd 3 Gazagnaire, Thomas 3 Godoy, Guillem 3 Kamide, Norihiro 3 Kazachkov, Ilya V. 3 Kharlampovich, Olga G. 3 Kumar, K. Narayan 3 Kupferman, Orna 3 Martens, Wim 3 Myasnikov, Alexei G. 3 Peled, Doron A. 3 Yang, Shaofa 3 Yu, Sheng 3 Zeitoun, Marc 2 Aiswarya, Cyriac 2 Babari, Parvaneh 2 Basu, Samik 2 Baudru, Nicolas 2 Berwanger, Dietmar 2 Boiret, Adrien 2 Bouajjani, Ahmed 2 Bultan, Tevfik 2 Caron, Pascal 2 Casals-Ruiz, Montserrat 2 Chalopin, Jérémie 2 Champarnaud, Jean-Marc 2 Charatonik, Witold 2 Choffrut, Christian 2 Dahmani, François 2 David, Claire 2 Decker, Normann 2 Delzanno, Giorgio 2 Descotte, María Emilia 2 Deters, Morgan 2 Ebinger, Werner 2 Engelfriet, Joost 2 Esparza, Javier 2 Fervari, Raul 2 Figueira, Diego 2 Finkel, Alain 2 Fisman, Dana 2 Fortin, Marie-Josée 2 Gascón, Adrià 2 Gauwin, Olivier 2 Grigorieff, Serge 2 Grindei, Manuela-Lidia 2 Gyssens, Marc 2 Hansen, Michael Reichhardt 2 Holík, Lukáš 2 Holzer, Markus 2 Hoogeboom, Hendrik Jan 2 Hugot, Vincent 2 Ilie, Lucian 2 Iosif, Radu 2 Jeż, Artur 2 Köcher, Chris 2 Kunc, Michal 2 Kutrib, Martin 2 Lasota, Sławomir 2 Leucker, Martin 2 Lugiez, Denis 2 Majumdar, Rupak 2 Mathew, Anup Basil 2 Matiyasevich, Yuriĭ Vladimirovich 2 Mignot, Ludovic 2 Montanari, Angelo 2 Mosbah, Mohamed 2 Murawski, Andrzej S. 2 Murlak, Filip 2 Niehren, Joachim 2 Olderog, Ernst-Rüdiger 2 Ouederni, Meriem ...and 311 more Authors all top 5 Cited in 45 Serials 49 Theoretical Computer Science 29 Information and Computation 17 Journal of Computer and System Sciences 12 Theory of Computing Systems 8 Acta Informatica 8 Information Processing Letters 8 International Journal of Foundations of Computer Science 8 Formal Methods in System Design 6 ACM Transactions on Computational Logic 4 International Journal of Algebra and Computation 4 Logical Methods in Computer Science 3 Journal of Algebra 3 Distributed Computing 3 RAIRO. Theoretical Informatics and Applications 3 RAIRO. Theoretical Informatics and Applications 3 Journal of Logical and Algebraic Methods in Programming 2 Journal of Symbolic Computation 2 Journal of Automated Reasoning 2 MSCS. Mathematical Structures in Computer Science 2 Journal of Applied Non-Classical Logics 2 Journal of Applied Logic 1 Artificial Intelligence 1 Discrete Mathematics 1 Israel Journal of Mathematics 1 Mathematics of Computation 1 Information Sciences 1 Publications Mathématiques 1 Journal of Combinatorial Theory. Series A 1 Mathematical Systems Theory 1 Memoirs of the American Mathematical Society 1 Semigroup Forum 1 Transactions of the American Mathematical Society 1 Annals of Pure and Applied Logic 1 Algorithmica 1 Discrete Event Dynamic Systems 1 International Journal of Computer Mathematics 1 Applicable Algebra in Engineering, Communication and Computing 1 Journal of Logic, Language and Information 1 Annals of Mathematics and Artificial Intelligence 1 Geometry & Topology 1 Journal of the ACM 1 Wuhan University Journal of Natural Sciences (WUJNS) 1 The Journal of Logic and Algebraic Programming 1 Computer Languages, Systems & Structures 1 Science China. Information Sciences all top 5 Cited in 14 Fields 247 Computer science (68-XX) 76 Mathematical logic and foundations (03-XX) 23 Group theory and generalizations (20-XX) 7 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 Combinatorics (05-XX) 2 Manifolds and cell complexes (57-XX) 2 Operations research, mathematical programming (90-XX) 2 Systems theory; control (93-XX) 2 Information and communication theory, circuits (94-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Associative rings and algebras (16-XX) 1 Topological groups, Lie groups (22-XX) 1 Differential geometry (53-XX) Citations by Year