×

zbMATH — the first resource for mathematics

Muscholl, Anca

Compute Distance To:
Author ID: muscholl.anca Recent zbMATH articles by "Muscholl, Anca"
Published as: Muscholl, Anca
Documents Indexed: 89 Publications since 1993, including 6 Books

Publications by Year

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.03041
Bojańczyk, Mikołaj; David, Claire; Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc
38
2011
Two-variable logic on data trees and XML reasoning. Zbl 1325.68078
Bojańczyk, Mikolaj; Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc
28
2009
Message sequence graphs and decision problems on Marzurkiewicz traces. Zbl 0955.68084
Muscholl, Anca; Peled, Doron
20
1999
Logical definability on infinite traces. Zbl 0871.68111
Ebinger, Werner; Muscholl, Anca
17
1996
Counting in trees for free. Zbl 1099.03010
Seidl, 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.68091
Hagenah, Christian; Muscholl, Anca
15
2000
Solvability of equations in graph groups is decidable. Zbl 1112.03009
Diekert, Volker; Muscholl, Anca
14
2006
A Kleene theorem and model checking algorithms for existentially bounded communicating automata. Zbl 1104.68066
Genest, Blaise; Kuske, Dietrich; Muscholl, Anca
14
2006
Permutation rewriting and algorithmic verification. Zbl 1107.68052
Bouajjani, Ahmed; Muscholl, Anca; Touili, Tayssir
11
2007
Distributed synthesis for acyclic architectures. Zbl 1360.68594
Muscholl, Anca; Walukiewicz, Igor
10
2014
Asynchronous games over tree architectures. Zbl 1334.68150
Genest, Blaise; Gimbert, Hugo; Muscholl, Anca; Walukiewicz, Igor
10
2013
Optimal Zielonka-type construction of deterministic asynchronous automata. Zbl 1288.68154
Genest, Blaise; Gimbert, Hugo; Muscholl, Anca; Walukiewicz, Igor
9
2010
Constructing exponential-size deterministic Zielonka automata. Zbl 1133.68362
Genest, Blaise; Muscholl, Anca
8
2006
Reachability analysis of communicating pushdown systems. Zbl 1248.68330
Heußner, Alexander; Leroux, Jérôme; Muscholl, Anca; Sutre, Grégoire
7
2012
Bounded MSC communication. Zbl 1091.68006
Lohrey, Markus; Muscholl, Anca
7
2004
Infinite-state high-level MSCs: Model-checking and realizability (extended abstract). Zbl 1057.68625
Genest, Blaise; Muscholl, Anca; Seidl, Helmut; Zeitoun, Marc
7
2002
Solvability of equations in free partially commutative groups is decidable. Zbl 0986.20036
Diekert, Volker; Muscholl, Anca
7
2001
Compositional message sequence charts. Zbl 0978.68549
Gunter, Elsa L.; Muscholl, Anca; Peled, Doron A.
7
2001
Characterizations of classes of graphs recognizable by local computations. Zbl 1069.68561
Godard, 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.68074
Diekert, Volker; Matiyasevich, Yuri; Muscholl, Anca
6
1999
Deterministic asynchronous automata for infinite traces. Zbl 0818.68100
Diekert, Volker; Muscholl, Anca
6
1994
Deterministic asynchronous automata for infinite traces. (Extended abstract). Zbl 0799.68140
Diekert, Volker; Muscholl, Anca
6
1993
Counting in trees. Zbl 1226.03049
Seidl, Helmut; Schwentick, Thomas; Muscholl, Anca
5
2008
A lower bound on web services composition. Zbl 1195.68067
Muscholl, Anca; Walukiewicz, Igor
5
2007
On codings of traces. Zbl 1379.68243
Diekert, Volker; Muscholl, Anca; Reinhardt, Klaus
5
1995
On communicating automata with bounded channels. Zbl 1137.68447
Genest, Blaise; Kuske, Dietrich; Muscholl, Anca
4
2007
Complementing deterministic tree-walking automata. Zbl 1184.68324
Muscholl, Anca; Samuelides, Mathias; Segoufin, Luc
4
2006
Pattern matching and membership for hierarchical message sequence charts. Zbl 1059.68544
Genest, Blaise; Muscholl, Anca
4
2002
Computing \(\varepsilon\)-free NFA from regular expressions in \(O(n\log^2(n))\) time. Zbl 0912.68113
Hagenah, Christian; Muscholl, Anca
4
1998
Safety of parametrized asynchronous shared-memory systems is almost always decidable. Zbl 1374.68337
La Torre, Salvatore; Muscholl, Anca; Walukiewicz, Igor
3
2015
Reachability analysis of communicating pushdown systems. Zbl 1284.68399
Heußner, Alexander; Leroux, Jérôme; Muscholl, Anca; Sutre, Grégoire
3
2010
Pattern matching and membership for hierarchical message sequence charts. Zbl 1140.68038
Genest, Blaise; Muscholl, Anca
3
2008
Infinite-state high-level MSCs: model-checking and realizability. Zbl 1105.68071
Genest, Blaise; Muscholl, Anca; Seidl, Helmut; Zeitoun, Marc
3
2006
An NP-complete fragment of LTL. Zbl 1161.03303
Muscholl, Anca; Walukiewicz, Igor
3
2005
Specifying and verifying partial order properties using template MSCs. Zbl 1126.68498
Genest, Blaise; Minea, Marius; Muscholl, Anca; Peled, Doron
3
2004
Solving trace equations using lexicographical normal forms. Zbl 1401.68161
Diekert, Volker; Matiyasevich, Yuri; Muscholl, Anca
3
1997
A note on the commutative closure of star-free languages. Zbl 0900.68288
Muscholl, Anca; Petersen, Holger
3
1996
Logical definability on infinite traces. Zbl 1418.68116
Ebinger, Werner; Muscholl, Anca
3
1993
One-way definability of sweeping transducer. Zbl 1366.68135
Baschenis, Félix; Gauwin, Olivier; Muscholl, Anca; Puppis, Gabriele
2
2015
A note on monitors and Büchi automata. Zbl 06545718
Diekert, Volker; Muscholl, Anca; Walukiewicz, Igor
2
2015
Automated synthesis of distributed controllers. Zbl 1440.68178
Muscholl, Anca
2
2015
A quadratic construction for Zielonka automata with acyclic communication structure. Zbl 1360.68566
Krishna, Siddharth; Muscholl, Anca
2
2013
A look at the control of asynchronous automata. Zbl 1194.68145
Muscholl, Anca; Walukiewicz, Igor; Zeitoun, Marc
2
2009
Tree pattern rewriting systems. Zbl 1183.68372
Genest, Blaise; Muscholl, Anca; Serre, Olivier; Zeitoun, Marc
2
2008
A lower bound on web services composition. Zbl 1147.68372
Muscholl, Anca; Walukiewicz, Igor
2
2008
On communicating automata with bounded channels. Zbl 1128.68062
Genest, Blaise; Kuske, Dietrich; Muscholl, Anca
2
2007
Active context-free games. Zbl 1122.68468
Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc
2
2004
Message sequence charts. Zbl 1088.68124
Genest, Blaise; Muscholl, Anca; Peled, Doron
2
2004
A Kleene theorem for a class of communicating automata with effective algorithms. Zbl 1117.68403
Genest, Blaise; Muscholl, Anca; Kuske, Dietrich
2
2004
The power of local computations in graphs with initial knowledge. Zbl 0958.68064
Godard, Emmanuel; Métivier, Yves; Muscholl, Anca
2
2000
The code problem for traces – improving the boundaries. Zbl 0903.68129
Hoogeboom, Hendrik Jan; Muscholl, Anca
2
1997
Code problems on traces. Zbl 0889.68092
Diekert, Volker; Muscholl, Anca
2
1996
A note on Métivier’s construction of asynchronous automata for triangulated graphs. Zbl 0843.68072
Diekert, Volkert; Muscholl, Anca
2
1996
On the complementation of Büchi asynchronous cellular automata. Zbl 1422.68166
Muscholl, Anca
2
1994
One-way definability of two-way word transducers. Zbl 1404.68065
Baschenis, Félix; Gauwin, Olivier; Muscholl, Anca; Puppis, Gabriele
1
2018
On the decomposition of finite-valued streaming string transducers. Zbl 1402.68116
Gallot, Paul; Muscholl, Anca; Puppis, Gabriele; Salvati, Sylvain
1
2017
Soundness in negotiations. Zbl 1392.68298
Esparza, Javier; Kuperberg, Denis; Muscholl, Anca; Walukiewicz, Igor
1
2016
Minimizing resources of sweeping and streaming string transducers. Zbl 1388.68158
Baschenis, Félix; Gauwin, Olivier; Muscholl, Anca; Puppis, Gabriele
1
2016
Walking on data words. Zbl 1353.68169
Manuel, Amaldev; Muscholl, Anca; Puppis, Gabriele
1
2016
Walking on data words. Zbl 1344.68126
Manuel, Amaldev; Muscholl, Anca; Puppis, Gabriele
1
2013
Active context-free games. Zbl 1122.91008
Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc
1
2006
Snapshot verification. Zbl 1087.68055
Genest, Blaise; Kuske, Dietrich; Muscholl, Anca; Peled, Doron
1
2005
High-level message sequence charts and projections. Zbl 1274.68186
Genest, Blaise; Hélouët, Loïc; Muscholl, Anca
1
2003
Bounded MSC communication. Zbl 1077.68695
Lohrey, Markus; Muscholl, Anca
1
2002
From finite state communication protocols to high-level message sequence charts. Zbl 0986.68060
Muscholl, Anca; Peled, Doron
1
2001
One-way definability of two-way word transducers. Zbl 1404.68065
Baschenis, Félix; Gauwin, Olivier; Muscholl, Anca; Puppis, Gabriele
1
2018
On the decomposition of finite-valued streaming string transducers. Zbl 1402.68116
Gallot, Paul; Muscholl, Anca; Puppis, Gabriele; Salvati, Sylvain
1
2017
Soundness in negotiations. Zbl 1392.68298
Esparza, Javier; Kuperberg, Denis; Muscholl, Anca; Walukiewicz, Igor
1
2016
Minimizing resources of sweeping and streaming string transducers. Zbl 1388.68158
Baschenis, Félix; Gauwin, Olivier; Muscholl, Anca; Puppis, Gabriele
1
2016
Walking on data words. Zbl 1353.68169
Manuel, Amaldev; Muscholl, Anca; Puppis, Gabriele
1
2016
Safety of parametrized asynchronous shared-memory systems is almost always decidable. Zbl 1374.68337
La Torre, Salvatore; Muscholl, Anca; Walukiewicz, Igor
3
2015
One-way definability of sweeping transducer. Zbl 1366.68135
Baschenis, Félix; Gauwin, Olivier; Muscholl, Anca; Puppis, Gabriele
2
2015
A note on monitors and Büchi automata. Zbl 06545718
Diekert, Volker; Muscholl, Anca; Walukiewicz, Igor
2
2015
Automated synthesis of distributed controllers. Zbl 1440.68178
Muscholl, Anca
2
2015
Distributed synthesis for acyclic architectures. Zbl 1360.68594
Muscholl, Anca; Walukiewicz, Igor
10
2014
Asynchronous games over tree architectures. Zbl 1334.68150
Genest, Blaise; Gimbert, Hugo; Muscholl, Anca; Walukiewicz, Igor
10
2013
A quadratic construction for Zielonka automata with acyclic communication structure. Zbl 1360.68566
Krishna, Siddharth; Muscholl, Anca
2
2013
Walking on data words. Zbl 1344.68126
Manuel, Amaldev; Muscholl, Anca; Puppis, Gabriele
1
2013
Reachability analysis of communicating pushdown systems. Zbl 1248.68330
Heußner, Alexander; Leroux, Jérôme; Muscholl, Anca; Sutre, Grégoire
7
2012
Two-variable logic on data words. Zbl 1352.03041
Bojańczyk, Mikołaj; David, Claire; Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc
38
2011
Optimal Zielonka-type construction of deterministic asynchronous automata. Zbl 1288.68154
Genest, Blaise; Gimbert, Hugo; Muscholl, Anca; Walukiewicz, Igor
9
2010
Reachability analysis of communicating pushdown systems. Zbl 1284.68399
Heußner, Alexander; Leroux, Jérôme; Muscholl, Anca; Sutre, Grégoire
3
2010
Two-variable logic on data trees and XML reasoning. Zbl 1325.68078
Bojańczyk, Mikolaj; Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc
28
2009
A look at the control of asynchronous automata. Zbl 1194.68145
Muscholl, Anca; Walukiewicz, Igor; Zeitoun, Marc
2
2009
Counting in trees. Zbl 1226.03049
Seidl, Helmut; Schwentick, Thomas; Muscholl, Anca
5
2008
Pattern matching and membership for hierarchical message sequence charts. Zbl 1140.68038
Genest, Blaise; Muscholl, Anca
3
2008
Tree pattern rewriting systems. Zbl 1183.68372
Genest, Blaise; Muscholl, Anca; Serre, Olivier; Zeitoun, Marc
2
2008
A lower bound on web services composition. Zbl 1147.68372
Muscholl, Anca; Walukiewicz, Igor
2
2008
Permutation rewriting and algorithmic verification. Zbl 1107.68052
Bouajjani, Ahmed; Muscholl, Anca; Touili, Tayssir
11
2007
A lower bound on web services composition. Zbl 1195.68067
Muscholl, Anca; Walukiewicz, Igor
5
2007
On communicating automata with bounded channels. Zbl 1137.68447
Genest, Blaise; Kuske, Dietrich; Muscholl, Anca
4
2007
On communicating automata with bounded channels. Zbl 1128.68062
Genest, Blaise; Kuske, Dietrich; Muscholl, Anca
2
2007
Solvability of equations in graph groups is decidable. Zbl 1112.03009
Diekert, Volker; Muscholl, Anca
14
2006
A Kleene theorem and model checking algorithms for existentially bounded communicating automata. Zbl 1104.68066
Genest, Blaise; Kuske, Dietrich; Muscholl, Anca
14
2006
Constructing exponential-size deterministic Zielonka automata. Zbl 1133.68362
Genest, Blaise; Muscholl, Anca
8
2006
Complementing deterministic tree-walking automata. Zbl 1184.68324
Muscholl, Anca; Samuelides, Mathias; Segoufin, Luc
4
2006
Infinite-state high-level MSCs: model-checking and realizability. Zbl 1105.68071
Genest, Blaise; Muscholl, Anca; Seidl, Helmut; Zeitoun, Marc
3
2006
Active context-free games. Zbl 1122.91008
Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc
1
2006
An NP-complete fragment of LTL. Zbl 1161.03303
Muscholl, Anca; Walukiewicz, Igor
3
2005
Snapshot verification. Zbl 1087.68055
Genest, Blaise; Kuske, Dietrich; Muscholl, Anca; Peled, Doron
1
2005
Counting in trees for free. Zbl 1099.03010
Seidl, Helmut; Schwentick, Thomas; Muscholl, Anca; Habermehl, Peter
16
2004
Bounded MSC communication. Zbl 1091.68006
Lohrey, Markus; Muscholl, Anca
7
2004
Characterizations of classes of graphs recognizable by local computations. Zbl 1069.68561
Godard, Emmanuel; Métivier, Yves; Muscholl, Anca
6
2004
Specifying and verifying partial order properties using template MSCs. Zbl 1126.68498
Genest, Blaise; Minea, Marius; Muscholl, Anca; Peled, Doron
3
2004
Active context-free games. Zbl 1122.68468
Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc
2
2004
Message sequence charts. Zbl 1088.68124
Genest, Blaise; Muscholl, Anca; Peled, Doron
2
2004
A Kleene theorem for a class of communicating automata with effective algorithms. Zbl 1117.68403
Genest, 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.68186
Genest, Blaise; Hélouët, Loïc; Muscholl, Anca
1
2003
Infinite-state high-level MSCs: Model-checking and realizability (extended abstract). Zbl 1057.68625
Genest, Blaise; Muscholl, Anca; Seidl, Helmut; Zeitoun, Marc
7
2002
Pattern matching and membership for hierarchical message sequence charts. Zbl 1059.68544
Genest, Blaise; Muscholl, Anca
4
2002
Bounded MSC communication. Zbl 1077.68695
Lohrey, Markus; Muscholl, Anca
1
2002
Solvability of equations in free partially commutative groups is decidable. Zbl 0986.20036
Diekert, Volker; Muscholl, Anca
7
2001
Compositional message sequence charts. Zbl 0978.68549
Gunter, Elsa L.; Muscholl, Anca; Peled, Doron A.
7
2001
From finite state communication protocols to high-level message sequence charts. Zbl 0986.68060
Muscholl, Anca; Peled, Doron
1
2001
Computing \(\varepsilon\)-free NFA from regular expressions in \(O(n\log^2 (n))\) time. Zbl 0971.68091
Hagenah, Christian; Muscholl, Anca
15
2000
The power of local computations in graphs with initial knowledge. Zbl 0958.68064
Godard, Emmanuel; Métivier, Yves; Muscholl, Anca
2
2000
Message sequence graphs and decision problems on Marzurkiewicz traces. Zbl 0955.68084
Muscholl, Anca; Peled, Doron
20
1999
Solving word equations modulo partial commutations. Zbl 0930.68074
Diekert, Volker; Matiyasevich, Yuri; Muscholl, Anca
6
1999
Computing \(\varepsilon\)-free NFA from regular expressions in \(O(n\log^2(n))\) time. Zbl 0912.68113
Hagenah, Christian; Muscholl, Anca
4
1998
Solving trace equations using lexicographical normal forms. Zbl 1401.68161
Diekert, Volker; Matiyasevich, Yuri; Muscholl, Anca
3
1997
The code problem for traces – improving the boundaries. Zbl 0903.68129
Hoogeboom, Hendrik Jan; Muscholl, Anca
2
1997
Logical definability on infinite traces. Zbl 0871.68111
Ebinger, Werner; Muscholl, Anca
17
1996
A note on the commutative closure of star-free languages. Zbl 0900.68288
Muscholl, Anca; Petersen, Holger
3
1996
Code problems on traces. Zbl 0889.68092
Diekert, Volker; Muscholl, Anca
2
1996
A note on Métivier’s construction of asynchronous automata for triangulated graphs. Zbl 0843.68072
Diekert, Volkert; Muscholl, Anca
2
1996
On codings of traces. Zbl 1379.68243
Diekert, Volker; Muscholl, Anca; Reinhardt, Klaus
5
1995
Deterministic asynchronous automata for infinite traces. Zbl 0818.68100
Diekert, Volker; Muscholl, Anca
6
1994
On the complementation of Büchi asynchronous cellular automata. Zbl 1422.68166
Muscholl, Anca
2
1994
Deterministic asynchronous automata for infinite traces. (Extended abstract). Zbl 0799.68140
Diekert, Volker; Muscholl, Anca
6
1993
Logical definability on infinite traces. Zbl 1418.68116
Ebinger, Werner; Muscholl, Anca
3
1993
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

Citations by Year