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/scientific-annals-of-computer-science/about/ Predecessor: Analele Științifice ale Universității Al. I. Cuza din Iași. Serie Nouă. Informatică Comments: This journal is available open access. Documents Indexed: 94 Publications (since 2006) all top 5 Latest Issues 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 14 Bergstra, Jan A. 11 Middelburg, Cornelis A. 4 Bruni, Roberto 4 Koutny, Maciej 3 Ciobanu, Gabriel 3 Giannini, Paola 3 Kleijn, Jetty H. C. M. 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 Esteban-Romero, Ramón 2 Georgescu, George 2 Istrate, Gabriel I. 2 Klaudel, Hanna 2 Maggiolo-Schettini, Andrea 2 Merelli, Emanuela 2 Mikulski, Łukasz 2 Milazzo, Paolo 2 Mureşan, Claudia 2 Pietkiewicz-Koutny, Marta 2 Ponse, Alban 2 Silva, Alexandra 2 Simovici, Dan A. 2 Tesei, Luca 1 Aiguier, Marc 1 Alexandru, Andrei 1 Anastasoaei, Vasile 1 Antonaki, Margarita 1 Arbab, Farhad 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 Câmpeanu, Cezar 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 Dal Lago, Ugo 1 Damiani, Ferruccio 1 Datta, Ajoy Kumar 1 De Castro, Rodrigo 1 Deaconu, Adrian 1 Delaplace, Franck 1 Demaille, Akim 1 Devillers, Raymond 1 Dezani-Ciancaglini, Mariangiola 1 Diaconescu, Denisa 1 Diskin, Zinovy 1 Dorman, Andrei 1 Fontaine, Allyx 1 Fränzle, Martin 1 Frăsinaru, Cristian 1 Gabbrielli, Maurizio 1 Gadducci, Fabio 1 Gleirscher, Mario 1 Hansen, Helle Hvid 1 Hartmann, Lars 1 Heindel, Tobias 1 Hirschowitz, Tom 1 Horne, Ross 1 Iftene, Sorin 1 Iorgulescu, Afrodita 1 Janicki, Ryszard 1 Jones, Neil D. 1 Jongmans, Sung-Shik T. Q. 1 Kanso, Bilal 1 König, Barbara 1 Koohnavard, Roghayeh 1 Laneve, Cosimo 1 Larmore, Lawrence L. 1 Latapy, Matthieu 1 Lei, Jinjiang 1 Leuştean, Ioana 1 Lluch Lafuente, Alberto 1 Luna, Carlos 1 Maibaum, Thomas Stephen Edward 1 Marin, Mircea 1 Marmsoler, Diego ...and 61 more Authors all top 5 Fields 78 Computer science (68-XX) 13 Mathematical logic and foundations (03-XX) 11 Biology and other natural sciences (92-XX) 7 Combinatorics (05-XX) 7 Order, lattices, ordered algebraic structures (06-XX) 6 Systems theory; control (93-XX) 4 Group theory and generalizations (20-XX) 3 General and overarching topics; collections (00-XX) 3 General algebraic systems (08-XX) 3 Information and communication theory, circuits (94-XX) 2 History and biography (01-XX) 2 Number theory (11-XX) 2 Category theory; homological algebra (18-XX) 2 Operations research, mathematical programming (90-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 38 Publications have been cited 77 times in 68 Documents Cited by ▼ Year ▼ Shape calculus. A spatial mobile calculus for 3D shapes. Zbl 1424.92001Bartocci, Ezio; Corradini, Flavio; Di Berardini, Maria Rita; Merelli, Emanuela; Tesei, Luca 5 2010 A flat process calculus for nested membrane interactions. Zbl 1424.68101Bodei, Chiara; Brodo, Linda; Bruni, Roberto; Chiarugi, Davide 5 2014 Formations of monoids, congruences, and formal languages. Zbl 1423.68298Ballester-Bolinches, A.; Cosme-Llópez, E.; Esteban-Romero, R.; Rutten, J. J. M. M. 5 2015 Synthesis of Petri nets with localities. Zbl 1424.68107Koutny, Maciej; Pietkiewicz-Koutny, Marta 4 2009 Boolean lifting properties for bounded distributive lattices. Zbl 1424.06030Cheptea, Daniel; Georgescu, George; Mureşan, Claudia 4 2015 Coalgebraic weak bisimulation for action-type systems. Zbl 1424.68109Sokolova, Ana; de Vink, Erik; Woracek, Harald 3 2009 Timed operational semantics and well-formedness of shape calculus. Zbl 1424.92004Bartocci, Ezio; Cacciagrano, Diletta Romana; Di Berardini, Maria Rita; Merelli, Emanuela; Tesei, Luca 3 2010 Petri nets for biologically motivated computing. Zbl 1424.92016Kleijn, Jetty; Koutny, Maciej; Rozenberg, Grzegorz 3 2011 (Skew) filters in residuated skew lattices. Zbl 1424.06027Koohnavard, R.; Borumand Saeid, A. 3 2018 Secret sharing schemes with applications in security protocols. Zbl 1349.68080Iftene, Sorin 3 2006 Instruction sequences with indirect jumps. Zbl 1349.68048Bergstra, J. A.; Middelburg, C. A. 3 2007 An event based semantics of P systems. Zbl 1424.92012Pinna, G. Michele; Saba, Andrea 2 2008 Reversibility in massive concurrent systems. Zbl 1424.92028Cardelli, Luca; Laneve, Cosimo 2 2011 Innocent strategies as presheaves and interactive equivalences for CCS. Zbl 1424.68103Hirschowitz, Tom; Pous, Damien 2 2012 Simulation and verification in a process calculus for spatially-explicit ecological models. Zbl 1424.92059Philippou, Anna; Toro, Mauricio; Antonaki, Margarita 2 2013 Applications in enumerative combinatorics of infinite weighted automata and graphs. Zbl 1424.05151De Castro, Rodrigo; Ramírez, Andrés; Ramírez, José L. 2 2014 Probabilistic recursion theory and implicit computational complexity. Zbl 1423.03138Dal Lago, Ugo; Zuppiroli, Sara; Gabbrielli, Maurizio 2 2014 On activation, connection, and behavior in dynamic architectures. Zbl 1424.68003Marmsoler, Diego; Gleirscher, Mario 2 2016 Derived-term automata of multitape expressions with composition. Zbl 1424.68085Demaille, Akim 2 2017 Simultaneous Petri net synthesis. Zbl 1424.68099Best, Eike; Devillers, Raymond; Schlachter, Uli; Wimmel, Harro 2 2018 New results on minimal strongly imperfect graphs. Zbl 1424.05115Anastasoaei, V.; Olaru, E. 1 2008 An instruction sequence semigroup with involutive anti-automorphisms. Zbl 1424.68037Bergstra, J. A.; Ponse, A. 1 2009 Modular verification of interactive systems with an application to biology. Zbl 1424.68091Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo 1 2011 Contract-oriented computing in CO\(_2\). Zbl 1424.68097Bartoletti, Massimo; Tuosto, Emilio; Zunino, Roberto 1 2012 Overview of thirty semantic formalisms for Reo. Zbl 1424.68105Jongmans, Sung-Shik T. Q.; Arbab, Farhad 1 2012 Modular verification of qualitative pathway models with fairness. Zbl 1424.92015Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni 1 2013 Instruction sequence based non-uniform complexity classes. Zbl 1424.68036Bergstra, Jan; Middelburg, Cornelis 1 2014 Non-deterministic finite cover automata. Zbl 1424.68084Câmpeanu, Cezar 1 2015 Quasi-algebras versus regular algebras. I. Zbl 1424.06042Iorgulescu, Afrodita 1 2015 The consistency and complexity of multiplicative additive system virtual. Zbl 1424.03057Horne, Ross 1 2015 On instruction sets for Boolean registers in program algebra. Zbl 1424.68032Bergstra, J. A.; Middelburg, C. A. 1 2016 Formal analysis of Android’s permission-based security model. Zbl 1424.68029Betarte, Gustavo; Campo, Juan; Luna, Carlos; Romano, Agustín 1 2016 Dynamic chromatic number of bipartite graphs. Zbl 1424.05103Saqaeeyan, Sasan; Mollaahamdi, Esmaiel 1 2016 Axioms for behavioural congruence of single-pass instruction sequences. Zbl 1424.68027Bergstra, J. A.; Middelburg, C. A. 1 2017 On partition metric space, index function, and data compression. Zbl 1424.68074Simovici, Dan A.; Sizov, Roman 1 2018 Fault-free refinements for interface automata. Zbl 1424.68088Schinko, Ayleen; Vogler, Walter 1 2018 A cardinality inverse maximum flow problem. Zbl 1349.05157Deaconu, Adrian 1 2006 Homomorphism between AOMRC and Hoare model of deterministic reconfiguration processes in reconfigurable computing systems. Zbl 1349.68097Vinh, P. C. 1 2007 (Skew) filters in residuated skew lattices. Zbl 1424.06027Koohnavard, R.; Borumand Saeid, A. 3 2018 Simultaneous Petri net synthesis. Zbl 1424.68099Best, Eike; Devillers, Raymond; Schlachter, Uli; Wimmel, Harro 2 2018 On partition metric space, index function, and data compression. Zbl 1424.68074Simovici, Dan A.; Sizov, Roman 1 2018 Fault-free refinements for interface automata. Zbl 1424.68088Schinko, Ayleen; Vogler, Walter 1 2018 Derived-term automata of multitape expressions with composition. Zbl 1424.68085Demaille, Akim 2 2017 Axioms for behavioural congruence of single-pass instruction sequences. Zbl 1424.68027Bergstra, J. A.; Middelburg, C. A. 1 2017 On activation, connection, and behavior in dynamic architectures. Zbl 1424.68003Marmsoler, Diego; Gleirscher, Mario 2 2016 On instruction sets for Boolean registers in program algebra. Zbl 1424.68032Bergstra, J. A.; Middelburg, C. A. 1 2016 Formal analysis of Android’s permission-based security model. Zbl 1424.68029Betarte, Gustavo; Campo, Juan; Luna, Carlos; Romano, Agustín 1 2016 Dynamic chromatic number of bipartite graphs. Zbl 1424.05103Saqaeeyan, Sasan; Mollaahamdi, Esmaiel 1 2016 Formations of monoids, congruences, and formal languages. Zbl 1423.68298Ballester-Bolinches, A.; Cosme-Llópez, E.; Esteban-Romero, R.; Rutten, J. J. M. M. 5 2015 Boolean lifting properties for bounded distributive lattices. Zbl 1424.06030Cheptea, Daniel; Georgescu, George; Mureşan, Claudia 4 2015 Non-deterministic finite cover automata. Zbl 1424.68084Câmpeanu, Cezar 1 2015 Quasi-algebras versus regular algebras. I. Zbl 1424.06042Iorgulescu, Afrodita 1 2015 The consistency and complexity of multiplicative additive system virtual. Zbl 1424.03057Horne, Ross 1 2015 A flat process calculus for nested membrane interactions. Zbl 1424.68101Bodei, Chiara; Brodo, Linda; Bruni, Roberto; Chiarugi, Davide 5 2014 Applications in enumerative combinatorics of infinite weighted automata and graphs. Zbl 1424.05151De Castro, Rodrigo; Ramírez, Andrés; Ramírez, José L. 2 2014 Probabilistic recursion theory and implicit computational complexity. Zbl 1423.03138Dal Lago, Ugo; Zuppiroli, Sara; Gabbrielli, Maurizio 2 2014 Instruction sequence based non-uniform complexity classes. Zbl 1424.68036Bergstra, Jan; Middelburg, Cornelis 1 2014 Simulation and verification in a process calculus for spatially-explicit ecological models. Zbl 1424.92059Philippou, Anna; Toro, Mauricio; Antonaki, Margarita 2 2013 Modular verification of qualitative pathway models with fairness. Zbl 1424.92015Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni 1 2013 Innocent strategies as presheaves and interactive equivalences for CCS. Zbl 1424.68103Hirschowitz, Tom; Pous, Damien 2 2012 Contract-oriented computing in CO\(_2\). Zbl 1424.68097Bartoletti, Massimo; Tuosto, Emilio; Zunino, Roberto 1 2012 Overview of thirty semantic formalisms for Reo. Zbl 1424.68105Jongmans, Sung-Shik T. Q.; Arbab, Farhad 1 2012 Petri nets for biologically motivated computing. Zbl 1424.92016Kleijn, Jetty; Koutny, Maciej; Rozenberg, Grzegorz 3 2011 Reversibility in massive concurrent systems. Zbl 1424.92028Cardelli, Luca; Laneve, Cosimo 2 2011 Modular verification of interactive systems with an application to biology. Zbl 1424.68091Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo 1 2011 Shape calculus. A spatial mobile calculus for 3D shapes. Zbl 1424.92001Bartocci, Ezio; Corradini, Flavio; Di Berardini, Maria Rita; Merelli, Emanuela; Tesei, Luca 5 2010 Timed operational semantics and well-formedness of shape calculus. Zbl 1424.92004Bartocci, Ezio; Cacciagrano, Diletta Romana; Di Berardini, Maria Rita; Merelli, Emanuela; Tesei, Luca 3 2010 Synthesis of Petri nets with localities. Zbl 1424.68107Koutny, Maciej; Pietkiewicz-Koutny, Marta 4 2009 Coalgebraic weak bisimulation for action-type systems. Zbl 1424.68109Sokolova, Ana; de Vink, Erik; Woracek, Harald 3 2009 An instruction sequence semigroup with involutive anti-automorphisms. Zbl 1424.68037Bergstra, J. A.; Ponse, A. 1 2009 An event based semantics of P systems. Zbl 1424.92012Pinna, G. Michele; Saba, Andrea 2 2008 New results on minimal strongly imperfect graphs. Zbl 1424.05115Anastasoaei, V.; Olaru, E. 1 2008 Instruction sequences with indirect jumps. Zbl 1349.68048Bergstra, J. A.; Middelburg, C. A. 3 2007 Homomorphism between AOMRC and Hoare model of deterministic reconfiguration processes in reconfigurable computing systems. Zbl 1349.68097Vinh, P. C. 1 2007 Secret sharing schemes with applications in security protocols. Zbl 1349.68080Iftene, Sorin 3 2006 A cardinality inverse maximum flow problem. Zbl 1349.05157Deaconu, Adrian 1 2006 all cited Publications top 5 cited Publications all top 5 Cited by 126 Authors 4 Bergstra, Jan A. 4 Brodo, Linda 4 Koutny, Maciej 4 Middelburg, Cornelis A. 4 Pietkiewicz-Koutny, Marta 4 Tsarev, Aleksandr 3 Borumand Saeid, Arsham 3 Georgescu, George 3 Kleijn, Jetty H. C. M. 3 Merelli, Emanuela 2 Bruni, Roberto 2 Buti, Federico 2 Corradini, Flavio 2 Dal Lago, Ugo 2 Devillers, Raymond 2 Erofeev, Evgeny 2 Konstantinidis, Stavros 2 Koohnavard, Roghayeh 2 Marmsoler, Diego 2 Moreira, Nelma 2 Mureşan, Claudia 2 Ramírez, José Luis 2 Reis, Rogério 2 Tesei, Luca 2 Toro, Mauricio 1 Ahmed, Aishah 1 Aman, Bogdan 1 Antonelli, Melissa 1 Arboleda, Sair 1 Ateş, Firat 1 Barani nia, B. 1 Beohar, Harsh 1 Bernardinello, Luca 1 Best, Eike 1 Bhaumik, Ritam 1 Bodei, Chiara 1 Bonchi, Filippo 1 Brengos, Tomasz 1 Breuvart, Flavien 1 Cacciagrano, Diletta Romana 1 Callan, David 1 Callisto De Donato, Massimo 1 Cano, Mauricio 1 Çevik, Ahmet Sinan 1 Chen, Wenjuan 1 Chudnovsky, Maria 1 Ciobanu, Gabriel 1 Cristiá, Maximiliano 1 Deaconu, Adrian 1 Di Berardini, Maria Rita 1 Dibek, Cemil 1 Dokter, Kasper 1 Duan, Zhenhua 1 Falaschi, Moreno 1 Flórez, Rigoberto 1 Gadducci, Fabio 1 Geuvers, Jan Herman 1 Giavitto, Jean-Louis 1 Gidey, Habtom Kashay 1 Gruber, Hermann 1 Herrou, Agathe 1 Höfner, Peter 1 Holzer, Markus 1 Horne, Ross 1 Huang, Wenchao 1 Hujsa, Thomas 1 Jacobs, Bart 1 Jakobi, Sebastian 1 Junes, Leandro 1 Kaya, Kamer 1 Klaudel, Hanna 1 Kopitzke, Grant 1 Kukharev, Andrei 1 Küpper, Sebastian 1 Lanese, Ivan 1 Leech, Jonathan E. 1 Liò, Pietro 1 Lion, Benjamin 1 List, Eik 1 López, Hugo A. 1 Lüttgen, Gerald 1 Machiavelo, António 1 Maggiolo-Schettini, Andrea 1 Mansour, Toufik 1 Meng, Keju 1 Miao, Fuyou 1 Milazzo, Paolo 1 Möller, Bernhard 1 Nandi, Mridul 1 Ning, Yu 1 Olarte, Carlos 1 Pani, Martino 1 Paoletti, Nicola 1 Pardini, Giovanni 1 Pérez, Jorge A. 1 Petrisan, Daniela Luan 1 Petrovska, Ana 1 Phan, Cong-Vinh 1 Philippou, Anna 1 Phillips, Iain W. ...and 26 more Authors all top 5 Cited in 28 Journals 13 Theoretical Computer Science 3 Acta Informatica 3 MSCS. Mathematical Structures in Computer Science 3 Logical Methods in Computer Science 3 Journal of Logical and Algebraic Methods in Programming 2 Discrete Mathematics 2 Formal Aspects of Computing 2 Journal of Integer Sequences 2 Journal of Multiple-Valued Logic and Soft Computing 1 Fuzzy Sets and Systems 1 Rendiconti del Circolo Matemàtico di Palermo. Serie II 1 Revista de la Unión Matemática Argentina 1 Studia Logica 1 Information and Computation 1 Journal of Automated Reasoning 1 Boletín de la Sociedad Matemática Mexicana. Third Series 1 Theory of Computing Systems 1 Journal of Automata, Languages and Combinatorics 1 Fundamenta Informaticae 1 RAIRO. Operations Research 1 Hacettepe Journal of Mathematics and Statistics 1 Journal of Applied Logic 1 Mediterranean Journal of Mathematics 1 Afrika Matematika 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 16 Fields 47 Computer science (68-XX) 12 Mathematical logic and foundations (03-XX) 8 Order, lattices, ordered algebraic structures (06-XX) 8 Biology and other natural sciences (92-XX) 4 Combinatorics (05-XX) 4 Group theory and generalizations (20-XX) 3 Information and communication theory, circuits (94-XX) 2 General algebraic systems (08-XX) 1 Number theory (11-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Associative rings and algebras (16-XX) 1 Category theory; homological algebra (18-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Convex and discrete geometry (52-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year