×

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

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

Publications by Year

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.92001
Bartocci, Ezio; Corradini, Flavio; Di Berardini, Maria Rita; Merelli, Emanuela; Tesei, Luca
5
2010
A flat process calculus for nested membrane interactions. Zbl 1424.68101
Bodei, Chiara; Brodo, Linda; Bruni, Roberto; Chiarugi, Davide
5
2014
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.
5
2015
Synthesis of Petri nets with localities. Zbl 1424.68107
Koutny, Maciej; Pietkiewicz-Koutny, Marta
4
2009
Boolean lifting properties for bounded distributive lattices. Zbl 1424.06030
Cheptea, Daniel; Georgescu, George; Mureşan, Claudia
4
2015
Coalgebraic weak bisimulation for action-type systems. Zbl 1424.68109
Sokolova, Ana; de Vink, Erik; Woracek, Harald
3
2009
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
(Skew) filters in residuated skew lattices. Zbl 1424.06027
Koohnavard, R.; Borumand Saeid, A.
3
2018
Secret sharing schemes with applications in security protocols. Zbl 1349.68080
Iftene, Sorin
3
2006
Instruction sequences with indirect jumps. Zbl 1349.68048
Bergstra, J. A.; Middelburg, C. A.
3
2007
An event based semantics of P systems. Zbl 1424.92012
Pinna, G. Michele; Saba, Andrea
2
2008
Reversibility in massive concurrent systems. Zbl 1424.92028
Cardelli, Luca; Laneve, Cosimo
2
2011
Innocent strategies as presheaves and interactive equivalences for CCS. Zbl 1424.68103
Hirschowitz, Tom; Pous, Damien
2
2012
Simulation and verification in a process calculus for spatially-explicit ecological models. Zbl 1424.92059
Philippou, Anna; Toro, Mauricio; Antonaki, Margarita
2
2013
Applications in enumerative combinatorics of infinite weighted automata and graphs. Zbl 1424.05151
De Castro, Rodrigo; Ramírez, Andrés; Ramírez, José L.
2
2014
Probabilistic recursion theory and implicit computational complexity. Zbl 1423.03138
Dal Lago, Ugo; Zuppiroli, Sara; Gabbrielli, Maurizio
2
2014
On activation, connection, and behavior in dynamic architectures. Zbl 1424.68003
Marmsoler, Diego; Gleirscher, Mario
2
2016
Derived-term automata of multitape expressions with composition. Zbl 1424.68085
Demaille, Akim
2
2017
Simultaneous Petri net synthesis. Zbl 1424.68099
Best, Eike; Devillers, Raymond; Schlachter, Uli; Wimmel, Harro
2
2018
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
Modular verification of interactive systems with an application to biology. Zbl 1424.68091
Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo
1
2011
Contract-oriented computing in CO\(_2\). Zbl 1424.68097
Bartoletti, Massimo; Tuosto, Emilio; Zunino, Roberto
1
2012
Overview of thirty semantic formalisms for Reo. Zbl 1424.68105
Jongmans, Sung-Shik T. Q.; Arbab, Farhad
1
2012
Modular verification of qualitative pathway models with fairness. Zbl 1424.92015
Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni
1
2013
Instruction sequence based non-uniform complexity classes. Zbl 1424.68036
Bergstra, Jan; Middelburg, Cornelis
1
2014
Non-deterministic finite cover automata. Zbl 1424.68084
Câmpeanu, Cezar
1
2015
Quasi-algebras versus regular algebras. I. Zbl 1424.06042
Iorgulescu, Afrodita
1
2015
The consistency and complexity of multiplicative additive system virtual. Zbl 1424.03057
Horne, Ross
1
2015
On instruction sets for Boolean registers in program algebra. Zbl 1424.68032
Bergstra, J. A.; Middelburg, C. A.
1
2016
Formal analysis of Android’s permission-based security model. Zbl 1424.68029
Betarte, Gustavo; Campo, Juan; Luna, Carlos; Romano, Agustín
1
2016
Dynamic chromatic number of bipartite graphs. Zbl 1424.05103
Saqaeeyan, Sasan; Mollaahamdi, Esmaiel
1
2016
Axioms for behavioural congruence of single-pass instruction sequences. Zbl 1424.68027
Bergstra, J. A.; Middelburg, C. A.
1
2017
On partition metric space, index function, and data compression. Zbl 1424.68074
Simovici, Dan A.; Sizov, Roman
1
2018
Fault-free refinements for interface automata. Zbl 1424.68088
Schinko, Ayleen; Vogler, Walter
1
2018
A cardinality inverse maximum flow problem. Zbl 1349.05157
Deaconu, Adrian
1
2006
Homomorphism between AOMRC and Hoare model of deterministic reconfiguration processes in reconfigurable computing systems. Zbl 1349.68097
Vinh, P. C.
1
2007
(Skew) filters in residuated skew lattices. Zbl 1424.06027
Koohnavard, R.; Borumand Saeid, A.
3
2018
Simultaneous Petri net synthesis. Zbl 1424.68099
Best, Eike; Devillers, Raymond; Schlachter, Uli; Wimmel, Harro
2
2018
On partition metric space, index function, and data compression. Zbl 1424.68074
Simovici, Dan A.; Sizov, Roman
1
2018
Fault-free refinements for interface automata. Zbl 1424.68088
Schinko, Ayleen; Vogler, Walter
1
2018
Derived-term automata of multitape expressions with composition. Zbl 1424.68085
Demaille, Akim
2
2017
Axioms for behavioural congruence of single-pass instruction sequences. Zbl 1424.68027
Bergstra, J. A.; Middelburg, C. A.
1
2017
On activation, connection, and behavior in dynamic architectures. Zbl 1424.68003
Marmsoler, Diego; Gleirscher, Mario
2
2016
On instruction sets for Boolean registers in program algebra. Zbl 1424.68032
Bergstra, J. A.; Middelburg, C. A.
1
2016
Formal analysis of Android’s permission-based security model. Zbl 1424.68029
Betarte, Gustavo; Campo, Juan; Luna, Carlos; Romano, Agustín
1
2016
Dynamic chromatic number of bipartite graphs. Zbl 1424.05103
Saqaeeyan, Sasan; Mollaahamdi, Esmaiel
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.
5
2015
Boolean lifting properties for bounded distributive lattices. Zbl 1424.06030
Cheptea, Daniel; Georgescu, George; Mureşan, Claudia
4
2015
Non-deterministic finite cover automata. Zbl 1424.68084
Câmpeanu, Cezar
1
2015
Quasi-algebras versus regular algebras. I. Zbl 1424.06042
Iorgulescu, Afrodita
1
2015
The consistency and complexity of multiplicative additive system virtual. Zbl 1424.03057
Horne, Ross
1
2015
A flat process calculus for nested membrane interactions. Zbl 1424.68101
Bodei, Chiara; Brodo, Linda; Bruni, Roberto; Chiarugi, Davide
5
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.
2
2014
Probabilistic recursion theory and implicit computational complexity. Zbl 1423.03138
Dal Lago, Ugo; Zuppiroli, Sara; Gabbrielli, Maurizio
2
2014
Instruction sequence based non-uniform complexity classes. Zbl 1424.68036
Bergstra, Jan; Middelburg, Cornelis
1
2014
Simulation and verification in a process calculus for spatially-explicit ecological models. Zbl 1424.92059
Philippou, Anna; Toro, Mauricio; Antonaki, Margarita
2
2013
Modular verification of qualitative pathway models with fairness. Zbl 1424.92015
Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni
1
2013
Innocent strategies as presheaves and interactive equivalences for CCS. Zbl 1424.68103
Hirschowitz, Tom; Pous, Damien
2
2012
Contract-oriented computing in CO\(_2\). Zbl 1424.68097
Bartoletti, Massimo; Tuosto, Emilio; Zunino, Roberto
1
2012
Overview of thirty semantic formalisms for Reo. Zbl 1424.68105
Jongmans, Sung-Shik T. Q.; Arbab, Farhad
1
2012
Petri nets for biologically motivated computing. Zbl 1424.92016
Kleijn, Jetty; Koutny, Maciej; Rozenberg, Grzegorz
3
2011
Reversibility in massive concurrent systems. Zbl 1424.92028
Cardelli, Luca; Laneve, Cosimo
2
2011
Modular verification of interactive systems with an application to biology. Zbl 1424.68091
Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo
1
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
5
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
Synthesis of Petri nets with localities. Zbl 1424.68107
Koutny, Maciej; Pietkiewicz-Koutny, Marta
4
2009
Coalgebraic weak bisimulation for action-type systems. Zbl 1424.68109
Sokolova, Ana; de Vink, Erik; Woracek, Harald
3
2009
An instruction sequence semigroup with involutive anti-automorphisms. Zbl 1424.68037
Bergstra, J. A.; Ponse, A.
1
2009
An event based semantics of P systems. Zbl 1424.92012
Pinna, G. Michele; Saba, Andrea
2
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 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

Citations by Year