Scientific Annals of Computer Science Short Title: Sci. Ann. Comput. Sci. Parallel Title: Analele Ştiinţifice ale Universităţii “Alexandru Ioan Cuza” din Iaşi. Seria Informatică Publisher: “Alexandru Ioan Cuza” University Press (Editura Universității “Alexandru Ioan Cuza”), Iași ISSN: 1843-8121 Online: https://www.info.uaic.ro/en/sacs_volumes/ Predecessor: Analele Științifice ale Universității Al. I. Cuza din Iași. Serie Nouă. Informatică Comments: Journal; This journal is available open access. Documents Indexed: 133 Publications (since 2006) all top 5 Latest Issues 33, No. 2 (2023) 33, No. 1 (2023) 32, No. 2 (2022) 32, No. 1 (2022) 31, No. 2 (2021) 31, No. 1 (2021) 30, No. 2 (2020) 30, No. 1 (2020) 29, No. 2 (2019) 29, No. 1 (2019) 28, No. 2 (2018) 28, No. 1 (2018) 27, No. 2 (2017) 27, No. 1 (2017) 26, No. 2 (2016) 26, No. 1 (2016) 25, No. 2 (2015) 25, No. 1 (2015) 24, No. 2 (2014) 24, No. 1 (2014) 23, No. 2 (2013) 23, No. 1 (2013) 22, No. 2 (2012) 22, No. 1 (2012) 21, No. 2 (2011) 21, No. 1 (2011) 20 (2010) 19 (2009) 18 (2008) 17 (2007) 16 (2006) all top 5 Authors 23 Bergstra, Jan A. 16 Middelburg, Cornelis A. 6 Ciobanu, Gabriel 4 Bruni, Roberto 4 Das, Shibsankar 4 Koutny, Maciej 3 Georgescu, George 3 Giannini, Paola 3 Kleijn, Jetty 3 Mureşan, Claudia 3 Rudi, Ali Gholami 3 Rutten, Jan J. M. M. 2 Ballester-Bolinches, Adolfo 2 Bartocci, Ezio 2 Bliudze, Simon 2 Cosme-Llópez, Enric 2 de Vink, Erik P. 2 Di Berardini, Maria Rita 2 Drábik, Peter 2 Iorgulescu, Afrodita 2 Istrate, Gabriel I. 2 Klaudel, Hanna 2 Maggiolo-Schettini, Andrea 2 Mandrali, Eleni 2 Merelli, Emanuela 2 Mikulski, Łukasz 2 Milazzo, Paolo 2 Pietkiewicz-Koutny, Marta 2 Ponse, Alban 2 Rai, Shikha 2 Silva, Alexandra 2 Simovici, Dan A. 2 Tesei, Luca 1 Aiguier, Marc 1 Alexandru, Andrei 1 Aman, Bogdan 1 Anastasoaei, Vasile 1 Antonaki, Margarita 1 Arbab, Farhad 1 Barbosa, Luís Soares 1 Bartoletti, Massimo 1 Basso-Blandin, Adrien 1 Bein, Doina 1 Bein, Wolfgang W. 1 Ben-David, Shoham 1 Ben Mokhtar, Sonia 1 Beohar, Harsh 1 Bertrand, Clément 1 Best, Eike 1 Betarte, Gustavo 1 Bethke, Inge 1 Bîrjoveanu, Cătălin 1 Bodei, Chiara 1 Borumand Saeid, Arsham 1 Bošnački, Dragan 1 Brodo, Linda 1 Cacciagrano, Diletta Romana 1 Campo, Juan Diego 1 Carbone, Marco 1 Cardelli, Luca 1 Cheptea, Daniel 1 Chiarugi, Davide 1 Corradini, Flavio 1 Cuijpers, Pieter J. L. 1 Czeizler, Eugen 1 Dal Lago, Ugo 1 Damiani, Ferruccio 1 Datta, Ajoy Kumar 1 De Castro, Rodrigo 1 Deaconu, Adrian M. 1 Delaplace, Franck 1 Demaille, Akim 1 Deng, Yuxin 1 Devillers, Raymond 1 Dezani-Ciancaglini, Mariangiola 1 Diaconescu, Denisa 1 Diskin, Zinovy 1 Dorman, Andrei 1 Du, Wenjie 1 Fontaine, Allyx 1 Francisco, Alexandre P. 1 Fränzle, Martin 1 Frăsinaru, Cristian 1 Gabbrielli, Maurizio 1 Gadducci, Fabio 1 Gebler, Daniel E. 1 Gleirscher, Mario 1 Gomes, Leandro G. 1 Groote, Jan Friso 1 Hadri, Aissam 1 Hakim, Moad 1 Hansen, Helle Hvid 1 Hartmann, Lars 1 Heindel, Tobias 1 Hirschowitz, Tom 1 Horne, Ross 1 Iftene, Sorin 1 Janicki, Ryszard 1 Jaroszewicz, Szymon 1 Jones, Neil D. ...and 91 more Authors all top 5 Fields 107 Computer science (68-XX) 18 Mathematical logic and foundations (03-XX) 12 Biology and other natural sciences (92-XX) 11 Combinatorics (05-XX) 11 Order, lattices, ordered algebraic structures (06-XX) 6 Systems theory; control (93-XX) 5 History and biography (01-XX) 5 General algebraic systems (08-XX) 5 Group theory and generalizations (20-XX) 3 General and overarching topics; collections (00-XX) 3 Number theory (11-XX) 3 Operations research, mathematical programming (90-XX) 3 Information and communication theory, circuits (94-XX) 2 Category theory; homological algebra (18-XX) 2 Statistics (62-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Ordinary differential equations (34-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 General topology (54-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 60 Publications have been cited 166 times in 147 Documents Cited by ▼ Year ▼ A flat process calculus for nested membrane interactions. Zbl 1424.68101 Bodei, Chiara; Brodo, Linda; Bruni, Roberto; Chiarugi, Davide 8 2014 Synthesis of Petri nets with localities. Zbl 1424.68107 Koutny, Maciej; Pietkiewicz-Koutny, Marta 6 2009 Coalgebraic weak bisimulation for action-type systems. Zbl 1424.68109 Sokolova, Ana; de Vink, Erik; Woracek, Harald 6 2009 Shape calculus. A spatial mobile calculus for 3D shapes. Zbl 1424.92001 Bartocci, Ezio; Corradini, Flavio; Di Berardini, Maria Rita; Merelli, Emanuela; Tesei, Luca 6 2010 Formations of monoids, congruences, and formal languages. Zbl 1423.68298 Ballester-Bolinches, A.; Cosme-Llópez, E.; Esteban-Romero, R.; Rutten, J. J. M. M. 6 2015 The consistency and complexity of multiplicative additive system virtual. Zbl 1424.03057 Horne, Ross 6 2015 Reversibility in massive concurrent systems. Zbl 1424.92028 Cardelli, Luca; Laneve, Cosimo 5 2011 Contract-oriented computing in CO\(_2\). Zbl 1424.68097 Bartoletti, Massimo; Tuosto, Emilio; Zunino, Roberto 5 2012 Innocent strategies as presheaves and interactive equivalences for CCS. Zbl 1424.68103 Hirschowitz, Tom; Pous, Damien 5 2012 Overview of thirty semantic formalisms for Reo. Zbl 1424.68105 Jongmans, Sung-Shik T. Q.; Arbab, Farhad 5 2012 Boolean lifting properties for bounded distributive lattices. Zbl 1424.06030 Cheptea, Daniel; Georgescu, George; Mureşan, Claudia 5 2015 Tuplix calculus. Zbl 1424.68098 Bergstra, J. A.; Ponse, A.; Van Der Zwaag, M. B. 4 2008 On safety properties and their monitoring. Zbl 1424.68043 Roşu, Grigore 4 2012 Applications in enumerative combinatorics of infinite weighted automata and graphs. Zbl 1424.05151 De Castro, Rodrigo; Ramírez, Andrés; Ramírez, José L. 4 2014 Simultaneous Petri net synthesis. Zbl 1424.68099 Best, Eike; Devillers, Raymond; Schlachter, Uli; Wimmel, Harro 4 2018 Instruction sequences with indirect jumps. Zbl 1349.68048 Bergstra, J. A.; Middelburg, C. A. 3 2007 Secret sharing schemes with applications in security protocols. Zbl 1349.68080 Iftene, Sorin 3 2006 An event based semantics of P systems. Zbl 1424.92012 Pinna, G. Michele; Saba, Andrea 3 2008 Timed operational semantics and well-formedness of shape calculus. Zbl 1424.92004 Bartocci, Ezio; Cacciagrano, Diletta Romana; Di Berardini, Maria Rita; Merelli, Emanuela; Tesei, Luca 3 2010 Petri nets for biologically motivated computing. Zbl 1424.92016 Kleijn, Jetty; Koutny, Maciej; Rozenberg, Grzegorz 3 2011 Position automata for Kleene algebra with tests. Zbl 1424.68089 Silva, Alexandra 3 2012 Probabilistic recursion theory and implicit computational complexity. Zbl 1423.03138 Dal Lago, Ugo; Zuppiroli, Sara; Gabbrielli, Maurizio 3 2014 Non-deterministic finite cover automata. Zbl 1424.68084 Câmpeanu, Cezar 3 2015 Formal analysis of Android’s permission-based security model. Zbl 1424.68029 Betarte, Gustavo; Campo, Juan; Luna, Carlos; Romano, Agustín 3 2016 On activation, connection, and behavior in dynamic architectures. Zbl 1424.68003 Marmsoler, Diego; Gleirscher, Mario 3 2016 Derived-term automata of multitape expressions with composition. Zbl 1424.68085 Demaille, Akim 3 2017 (Skew) filters in residuated skew lattices. Zbl 1424.06027 Koohnavard, R.; Borumand Saeid, A. 3 2018 Generalising KAT to verify weighted computations. Zbl 1513.68011 Gomes, Leandro; Madeira, Alexandre; Barbosa, Luis S. 3 2019 A note on congruences of infinite bounded involution lattices. Zbl 1513.06010 Mureşan, Claudia 3 2021 Topological characterization of the third type of triangular hex-derived networks. Zbl 1513.05076 Das, Shibsankar; Rai, Shikha 3 2021 Modular verification of interactive systems with an application to biology. Zbl 1424.68091 Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo 2 2011 Modular verification of qualitative pathway models with fairness. Zbl 1424.92015 Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni 2 2013 Simulation and verification in a process calculus for spatially-explicit ecological models. Zbl 1424.92059 Philippou, Anna; Toro, Mauricio; Antonaki, Margarita 2 2013 Dynamic chromatic number of bipartite graphs. Zbl 1424.05103 Saqaeeyan, Sasan; Mollaahamdi, Esmaiel 2 2016 Subvarieties of the variety of meadows. Zbl 1424.68095 Bergstra, Jan A.; Bethke, Inge 2 2017 On partition metric space, index function, and data compression. Zbl 1424.68074 Simovici, Dan A.; Sizov, Roman 2 2018 Fault-free refinements for interface automata. Zbl 1424.68088 Schinko, Ayleen; Vogler, Walter 2 2018 Imperative process algebra with abstraction. Zbl 07897380 Middelburg, C. A. 2 2022 Probabilistic process algebra and strategic interleaving. Zbl 1513.68036 Middelburg, C. A. 2 2020 Homomorphism between AOMRC and Hoare model of deterministic reconfiguration processes in reconfigurable computing systems. Zbl 1349.68097 Vinh, P. C. 1 2007 A cardinality inverse maximum flow problem. Zbl 1349.05157 Deaconu, Adrian 1 2006 New results on minimal strongly imperfect graphs. Zbl 1424.05115 Anastasoaei, V.; Olaru, E. 1 2008 An instruction sequence semigroup with involutive anti-automorphisms. Zbl 1424.68037 Bergstra, J. A.; Ponse, A. 1 2009 State space reduction for dynamic process creation. Zbl 1424.93072 Klaudel, Hanna; Koutny, Maciej; Pelz, Elisabeth; Pommereau, Franck 1 2010 GUBS, a behaviour-based language for design in synthetic biology. Zbl 1424.68090 Basso-Blandin, Adrien; Delaplace, Franck 1 2013 Instruction sequence based non-uniform complexity classes. Zbl 1424.68036 Bergstra, Jan; Middelburg, Cornelis 1 2014 Quasi-algebras versus regular algebras. I. Zbl 1424.06042 Iorgulescu, Afrodita 1 2015 On instruction sets for Boolean registers in program algebra. Zbl 1424.68032 Bergstra, J. A.; Middelburg, C. A. 1 2016 Errata to “Formations of monoids, congruences, and formal languages”. Zbl 1423.68299 Ballester-Bolinches, A.; Cosme-Llópez, E.; Esteban-Romero, R.; Rutten, J. J. M. M. 1 2016 Axioms for behavioural congruence of single-pass instruction sequences. Zbl 1424.68027 Bergstra, J. A.; Middelburg, C. A. 1 2017 The reticulation of a universal algebra. Zbl 1424.08003 Georgescu, George; Muresan, Claudia 1 2018 Pattern matching in link streams: timed-automata with finite memory. Zbl 1424.68083 Bertrand, Clément; Peschanski, Frédéric; Klaudel, Hanna; Latapy, Matthieu 1 2018 An enhanced fluid registration for image multi-frame super resolution. Zbl 07897384 Laghrib, Amine; Hadri, Aissam; Hakim, Moad 1 2022 Maximal existential and universal width. Zbl 07897389 Keeler, Casey; Salomaa, Kai 1 2023 On Nirmala indices of some hex-derived networks of type three and their subdivision networks. Zbl 07897393 Rai, Shikha; Das, Shibsankar 1 2023 Which arithmetical data types admit fracterm flattening? Zbl 07897378 Bergstra, Jan A.; Tucker, John V. 1 2022 Most general algebraic specifications for an abstract datatype of rational numbers. Zbl 1513.68032 Bergstra, Jan A. 1 2020 A complete axiomatisation for probabilistic trace equivalence. Zbl 1513.68037 Timmers, Ferry; Groote, Jan Friso 1 2020 Instruction sequence faults with formal change justification. Zbl 1513.68008 Bergstra, Jan A. 1 2020 On quantum-MV algebras. I: The orthomodular algebras. Zbl 1513.06031 Iorgulescu, Afrodita 1 2021 Maximal existential and universal width. Zbl 07897389 Keeler, Casey; Salomaa, Kai 1 2023 On Nirmala indices of some hex-derived networks of type three and their subdivision networks. Zbl 07897393 Rai, Shikha; Das, Shibsankar 1 2023 Imperative process algebra with abstraction. Zbl 07897380 Middelburg, C. A. 2 2022 An enhanced fluid registration for image multi-frame super resolution. Zbl 07897384 Laghrib, Amine; Hadri, Aissam; Hakim, Moad 1 2022 Which arithmetical data types admit fracterm flattening? Zbl 07897378 Bergstra, Jan A.; Tucker, John V. 1 2022 A note on congruences of infinite bounded involution lattices. Zbl 1513.06010 Mureşan, Claudia 3 2021 Topological characterization of the third type of triangular hex-derived networks. Zbl 1513.05076 Das, Shibsankar; Rai, Shikha 3 2021 On quantum-MV algebras. I: The orthomodular algebras. Zbl 1513.06031 Iorgulescu, Afrodita 1 2021 Probabilistic process algebra and strategic interleaving. Zbl 1513.68036 Middelburg, C. A. 2 2020 Most general algebraic specifications for an abstract datatype of rational numbers. Zbl 1513.68032 Bergstra, Jan A. 1 2020 A complete axiomatisation for probabilistic trace equivalence. Zbl 1513.68037 Timmers, Ferry; Groote, Jan Friso 1 2020 Instruction sequence faults with formal change justification. Zbl 1513.68008 Bergstra, Jan A. 1 2020 Generalising KAT to verify weighted computations. Zbl 1513.68011 Gomes, Leandro; Madeira, Alexandre; Barbosa, Luis S. 3 2019 Simultaneous Petri net synthesis. Zbl 1424.68099 Best, Eike; Devillers, Raymond; Schlachter, Uli; Wimmel, Harro 4 2018 (Skew) filters in residuated skew lattices. Zbl 1424.06027 Koohnavard, R.; Borumand Saeid, A. 3 2018 On partition metric space, index function, and data compression. Zbl 1424.68074 Simovici, Dan A.; Sizov, Roman 2 2018 Fault-free refinements for interface automata. Zbl 1424.68088 Schinko, Ayleen; Vogler, Walter 2 2018 The reticulation of a universal algebra. Zbl 1424.08003 Georgescu, George; Muresan, Claudia 1 2018 Pattern matching in link streams: timed-automata with finite memory. Zbl 1424.68083 Bertrand, Clément; Peschanski, Frédéric; Klaudel, Hanna; Latapy, Matthieu 1 2018 Derived-term automata of multitape expressions with composition. Zbl 1424.68085 Demaille, Akim 3 2017 Subvarieties of the variety of meadows. Zbl 1424.68095 Bergstra, Jan A.; Bethke, Inge 2 2017 Axioms for behavioural congruence of single-pass instruction sequences. Zbl 1424.68027 Bergstra, J. A.; Middelburg, C. A. 1 2017 Formal analysis of Android’s permission-based security model. Zbl 1424.68029 Betarte, Gustavo; Campo, Juan; Luna, Carlos; Romano, Agustín 3 2016 On activation, connection, and behavior in dynamic architectures. Zbl 1424.68003 Marmsoler, Diego; Gleirscher, Mario 3 2016 Dynamic chromatic number of bipartite graphs. Zbl 1424.05103 Saqaeeyan, Sasan; Mollaahamdi, Esmaiel 2 2016 On instruction sets for Boolean registers in program algebra. Zbl 1424.68032 Bergstra, J. A.; Middelburg, C. A. 1 2016 Errata to “Formations of monoids, congruences, and formal languages”. Zbl 1423.68299 Ballester-Bolinches, A.; Cosme-Llópez, E.; Esteban-Romero, R.; Rutten, J. J. M. M. 1 2016 Formations of monoids, congruences, and formal languages. Zbl 1423.68298 Ballester-Bolinches, A.; Cosme-Llópez, E.; Esteban-Romero, R.; Rutten, J. J. M. M. 6 2015 The consistency and complexity of multiplicative additive system virtual. Zbl 1424.03057 Horne, Ross 6 2015 Boolean lifting properties for bounded distributive lattices. Zbl 1424.06030 Cheptea, Daniel; Georgescu, George; Mureşan, Claudia 5 2015 Non-deterministic finite cover automata. Zbl 1424.68084 Câmpeanu, Cezar 3 2015 Quasi-algebras versus regular algebras. I. Zbl 1424.06042 Iorgulescu, Afrodita 1 2015 A flat process calculus for nested membrane interactions. Zbl 1424.68101 Bodei, Chiara; Brodo, Linda; Bruni, Roberto; Chiarugi, Davide 8 2014 Applications in enumerative combinatorics of infinite weighted automata and graphs. Zbl 1424.05151 De Castro, Rodrigo; Ramírez, Andrés; Ramírez, José L. 4 2014 Probabilistic recursion theory and implicit computational complexity. Zbl 1423.03138 Dal Lago, Ugo; Zuppiroli, Sara; Gabbrielli, Maurizio 3 2014 Instruction sequence based non-uniform complexity classes. Zbl 1424.68036 Bergstra, Jan; Middelburg, Cornelis 1 2014 Modular verification of qualitative pathway models with fairness. Zbl 1424.92015 Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni 2 2013 Simulation and verification in a process calculus for spatially-explicit ecological models. Zbl 1424.92059 Philippou, Anna; Toro, Mauricio; Antonaki, Margarita 2 2013 GUBS, a behaviour-based language for design in synthetic biology. Zbl 1424.68090 Basso-Blandin, Adrien; Delaplace, Franck 1 2013 Contract-oriented computing in CO\(_2\). Zbl 1424.68097 Bartoletti, Massimo; Tuosto, Emilio; Zunino, Roberto 5 2012 Innocent strategies as presheaves and interactive equivalences for CCS. Zbl 1424.68103 Hirschowitz, Tom; Pous, Damien 5 2012 Overview of thirty semantic formalisms for Reo. Zbl 1424.68105 Jongmans, Sung-Shik T. Q.; Arbab, Farhad 5 2012 On safety properties and their monitoring. Zbl 1424.68043 Roşu, Grigore 4 2012 Position automata for Kleene algebra with tests. Zbl 1424.68089 Silva, Alexandra 3 2012 Reversibility in massive concurrent systems. Zbl 1424.92028 Cardelli, Luca; Laneve, Cosimo 5 2011 Petri nets for biologically motivated computing. Zbl 1424.92016 Kleijn, Jetty; Koutny, Maciej; Rozenberg, Grzegorz 3 2011 Modular verification of interactive systems with an application to biology. Zbl 1424.68091 Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo 2 2011 Shape calculus. A spatial mobile calculus for 3D shapes. Zbl 1424.92001 Bartocci, Ezio; Corradini, Flavio; Di Berardini, Maria Rita; Merelli, Emanuela; Tesei, Luca 6 2010 Timed operational semantics and well-formedness of shape calculus. Zbl 1424.92004 Bartocci, Ezio; Cacciagrano, Diletta Romana; Di Berardini, Maria Rita; Merelli, Emanuela; Tesei, Luca 3 2010 State space reduction for dynamic process creation. Zbl 1424.93072 Klaudel, Hanna; Koutny, Maciej; Pelz, Elisabeth; Pommereau, Franck 1 2010 Synthesis of Petri nets with localities. Zbl 1424.68107 Koutny, Maciej; Pietkiewicz-Koutny, Marta 6 2009 Coalgebraic weak bisimulation for action-type systems. Zbl 1424.68109 Sokolova, Ana; de Vink, Erik; Woracek, Harald 6 2009 An instruction sequence semigroup with involutive anti-automorphisms. Zbl 1424.68037 Bergstra, J. A.; Ponse, A. 1 2009 Tuplix calculus. Zbl 1424.68098 Bergstra, J. A.; Ponse, A.; Van Der Zwaag, M. B. 4 2008 An event based semantics of P systems. Zbl 1424.92012 Pinna, G. Michele; Saba, Andrea 3 2008 New results on minimal strongly imperfect graphs. Zbl 1424.05115 Anastasoaei, V.; Olaru, E. 1 2008 Instruction sequences with indirect jumps. Zbl 1349.68048 Bergstra, J. A.; Middelburg, C. A. 3 2007 Homomorphism between AOMRC and Hoare model of deterministic reconfiguration processes in reconfigurable computing systems. Zbl 1349.68097 Vinh, P. C. 1 2007 Secret sharing schemes with applications in security protocols. Zbl 1349.68080 Iftene, Sorin 3 2006 A cardinality inverse maximum flow problem. Zbl 1349.05157 Deaconu, Adrian 1 2006 all cited Publications top 5 cited Publications all top 5 Cited by 260 Authors 9 Bergstra, Jan A. 9 Middelburg, Cornelis A. 7 Brodo, Linda 5 Mureşan, Claudia 5 Pietkiewicz-Koutny, Marta 4 Bruni, Roberto 4 Devillers, Raymond 4 Georgescu, George 4 Horne, Ross 4 Koutny, Maciej 4 Moreira, Nelma 4 Ramírez, José Luis 4 Tsarev, Aleksandr 3 Aceto, Luca 3 Bartoletti, Massimo 3 Borumand Saeid, Arsham 3 Cristiá, Maximiliano 3 Dal Lago, Ugo 3 Das, Shibsankar 3 Erofeev, Evgeny 3 Falaschi, Moreno 3 Flórez, Rigoberto 3 Ingólfsdóttir, Anna 3 Kleijn, Jetty 3 Konstantinidis, Stavros 3 Maggiolo-Schettini, Andrea 3 Marmsoler, Diego 3 Merelli, Emanuela 3 Milazzo, Paolo 3 Pardini, Giovanni 3 Reis, Rogério 2 Ahmed, Aishah 2 Arbab, Farhad 2 Best, Eike 2 Bodei, Chiara 2 Brengos, Tomasz 2 Buti, Federico 2 Castellan, Simon 2 Castiglioni, Valentina 2 Ciobanu, Gabriel 2 Clairambault, Pierre 2 Corradini, Flavio 2 Degano, Pierpaolo 2 Dokter, Kasper 2 Duan, Zhenhua 2 Falcone, Yliès 2 Gomes, Leandro G. 2 Gruber, Hermann 2 Holzer, Markus 2 Jakobi, Sebastian 2 Klaudel, Hanna 2 Koohnavard, Roghayeh 2 Kozen, Dexter C. 2 Kumar, Virendra 2 Lanese, Ivan 2 Lion, Benjamin 2 Lüttgen, Gerald 2 Machiavelo, António 2 Madeira, Alexandre 2 Mansour, Toufik 2 Pérez, Jorge A. 2 Petrisan, Daniela Luan 2 Phillips, Iain W. 2 Pinisetty, Srinivas 2 Pinna, G. Michele 2 Pommereau, Franck 2 Rai, Shikha 2 Rossi, Gianfranco 2 Salomaa, Kai T. 2 Silva, Alexandra 2 Straßburger, Lutz 2 Tesei, Luca 2 Tian, Cong 2 Toro, Mauricio 2 Vogler, Walter 2 Winskel, Glynn 2 Zhang, Nan 2 Zunino, Roberto 1 Acclavio, Matteo 1 Achilleos, Antonis 1 Agrigoroaiei, Oana 1 Ait Bella, Fatim Zahra 1 Aman, Bogdan 1 Anastasiadi, Elli 1 Antonelli, Melissa 1 Arboleda, Sair 1 Ateş, Firat 1 Barani nia, B. 1 Barbosa, Luís Soares 1 Basile, Davide 1 Basso-Blandin, Adrien 1 Benevides, Mario R. F. 1 Beohar, Harsh 1 Bernardinello, Luca 1 Bernini, Andrea 1 Bertrand, Clément 1 Bethke, Inge 1 Bhaumik, Ritam 1 Bhyravarapu, Sriram 1 Blakqori, Genc ...and 160 more Authors all top 5 Cited in 45 Journals 18 Theoretical Computer Science 11 Journal of Logical and Algebraic Methods in Programming 6 Logical Methods in Computer Science 5 Acta Informatica 5 Journal of Applied Logic 4 Mathematical Structures in Computer Science 3 Journal of Automated Reasoning 2 Discrete Mathematics 2 Studia Logica 2 Formal Aspects of Computing 2 Formal Methods in System Design 2 Theory of Computing Systems 2 Soft Computing 2 Journal of Integer Sequences 2 Natural Computing 2 Journal of Multiple-Valued Logic and Soft Computing 1 International Journal of Theoretical Physics 1 Fuzzy Sets and Systems 1 Mathematica Slovaca 1 Rendiconti del Circolo Matemàtico di Palermo. Serie II 1 Revista de la Unión Matemática Argentina 1 Semigroup Forum 1 Order 1 Information and Computation 1 The Australasian Journal of Combinatorics 1 Bulletin of the Belgian Mathematical Society - Simon Stevin 1 Boletín de la Sociedad Matemática Mexicana. Third Series 1 Journal of Mathematical Chemistry 1 Journal of Automata, Languages and Combinatorics 1 Fundamenta Informaticae 1 RAIRO. Operations Research 1 The Journal of Logic and Algebraic Programming 1 ACM Transactions on Computational Logic 1 Hacettepe Journal of Mathematics and Statistics 1 Mediterranean Journal of Mathematics 1 Proyecciones 1 Discrete and Continuous Dynamical Systems. Series S 1 Discrete Mathematics, Algorithms and Applications 1 Iranian Journal of Mathematical Chemistry 1 Afrika Matematika 1 Journal of Mahani Mathematical Research Center 1 Transactions of A. Razmadze Mathematical Institute 1 Bollettino dell’Unione Matematica Italiana 1 Journal of Membrane Computing 1 The Art of Discrete and Applied Mathematics all top 5 Cited in 19 Fields 106 Computer science (68-XX) 26 Mathematical logic and foundations (03-XX) 16 Biology and other natural sciences (92-XX) 11 Order, lattices, ordered algebraic structures (06-XX) 10 Combinatorics (05-XX) 7 Category theory; homological algebra (18-XX) 5 General algebraic systems (08-XX) 5 Group theory and generalizations (20-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 Information and communication theory, circuits (94-XX) 3 Operations research, mathematical programming (90-XX) 1 Number theory (11-XX) 1 Commutative algebra (13-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Associative rings and algebras (16-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Convex and discrete geometry (52-XX) 1 Statistics (62-XX) 1 Quantum theory (81-XX) Citations by Year