×

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 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.
1 Jongmans, Sung-Shik T. Q.
...and 90 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

59 Publications have been cited 161 times in 142 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
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
Boolean lifting properties for bounded distributive lattices. Zbl 1424.06030
Cheptea, Daniel; Georgescu, George; Mureşan, Claudia
6
2015
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
Synthesis of Petri nets with localities. Zbl 1424.68107
Koutny, Maciej; Pietkiewicz-Koutny, Marta
5
2009
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
Reversibility in massive concurrent systems. Zbl 1424.92028
Cardelli, Luca; Laneve, Cosimo
5
2011
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
Simultaneous Petri net synthesis. Zbl 1424.68099
Best, Eike; Devillers, Raymond; Schlachter, Uli; Wimmel, Harro
4
2018
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
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
Probabilistic recursion theory and implicit computational complexity. Zbl 1423.03138
Dal Lago, Ugo; Zuppiroli, Sara; Gabbrielli, Maurizio
3
2014
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
Position automata for Kleene algebra with tests. Zbl 1424.68089
Silva, Alexandra
3
2012
Simulation and verification in a process calculus for spatially-explicit ecological models. Zbl 1424.92059
Philippou, Anna; Toro, Mauricio; Antonaki, Margarita
3
2013
Non-deterministic finite cover automata. Zbl 1424.68084
Câmpeanu, Cezar
3
2015
Generalising KAT to verify weighted computations. Zbl 1513.68011
Gomes, Leandro; Madeira, Alexandre; Barbosa, Luis S.
3
2019
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
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
Modular verification of interactive systems with an application to biology. Zbl 1424.68091
Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo
2
2011
GUBS, a behaviour-based language for design in synthetic biology. Zbl 1424.68090
Basso-Blandin, Adrien; Delaplace, Franck
2
2013
Modular verification of qualitative pathway models with fairness. Zbl 1424.92015
Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni
2
2013
Formal analysis of Android’s permission-based security model. Zbl 1424.68029
Betarte, Gustavo; Campo, Juan; Luna, Carlos; Romano, Agustín
2
2016
Probabilistic process algebra and strategic interleaving. Zbl 1513.68036
Middelburg, C. A.
2
2020
A note on congruences of infinite bounded involution lattices. Zbl 1513.06010
Mureşan, Claudia
2
2021
Topological characterization of the third type of triangular hex-derived networks. Zbl 1513.05076
Das, Shibsankar; Rai, Shikha
2
2021
Imperative process algebra with abstraction. Zbl 07897380
Middelburg, C. A.
2
2022
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
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
State space reduction for dynamic process creation. Zbl 1424.93072
Klaudel, Hanna; Koutny, Maciej; Pelz, Elisabeth; Pommereau, Franck
1
2010
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
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
Which arithmetical data types admit fracterm flattening? Zbl 07897378
Bergstra, Jan A.; Tucker, John V.
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
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
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
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
2
2021
Topological characterization of the third type of triangular hex-derived networks. Zbl 1513.05076
Das, Shibsankar; Rai, Shikha
2
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
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
Formal analysis of Android’s permission-based security model. Zbl 1424.68029
Betarte, Gustavo; Campo, Juan; Luna, Carlos; Romano, Agustín
2
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
On instruction sets for Boolean registers in program algebra. Zbl 1424.68032
Bergstra, J. A.; Middelburg, C. A.
1
2016
Boolean lifting properties for bounded distributive lattices. Zbl 1424.06030
Cheptea, Daniel; Georgescu, George; Mureşan, Claudia
6
2015
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
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
Simulation and verification in a process calculus for spatially-explicit ecological models. Zbl 1424.92059
Philippou, Anna; Toro, Mauricio; Antonaki, Margarita
3
2013
GUBS, a behaviour-based language for design in synthetic biology. Zbl 1424.68090
Basso-Blandin, Adrien; Delaplace, Franck
2
2013
Modular verification of qualitative pathway models with fairness. Zbl 1424.92015
Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni
2
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
Coalgebraic weak bisimulation for action-type systems. Zbl 1424.68109
Sokolova, Ana; de Vink, Erik; Woracek, Harald
6
2009
Synthesis of Petri nets with localities. Zbl 1424.68107
Koutny, Maciej; Pietkiewicz-Koutny, Marta
5
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 256 Authors

9 Bergstra, Jan A.
9 Middelburg, Cornelis A.
7 Brodo, Linda
4 Bruni, Roberto
4 Devillers, Raymond
4 Georgescu, George
4 Horne, Ross
4 Koutny, Maciej
4 Moreira, Nelma
4 Mureşan, Claudia
4 Pietkiewicz-Koutny, Marta
4 Ramírez, José Luis
4 Tsarev, Aleksandr
3 Aceto, Luca
3 Bartoletti, Massimo
3 Borumand Saeid, Arsham
3 Dal Lago, Ugo
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 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 Cristiá, Maximiliano
2 Das, Shibsankar
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 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 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 Ahmed, Aishah
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
1 Bliudze, Simon
1 Bonchi, Filippo
1 Bonsangue, Marcello Maria
1 Breuvart, Flavien
...and 156 more Authors
all top 5

Cited in 43 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
2 Discrete Mathematics
2 Journal of Automated Reasoning
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 Studia Logica
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 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 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 18 Fields

104 Computer science (68-XX)
25 Mathematical logic and foundations (03-XX)
15 Biology and other natural sciences (92-XX)
11 Order, lattices, ordered algebraic structures (06-XX)
10 Combinatorics (05-XX)
5 Category theory; homological algebra (18-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)
4 General algebraic systems (08-XX)
2 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 Quantum theory (81-XX)

Citations by Year