×

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: 115 Publications (since 2006)
all top 5

Authors

20 Bergstra, Jan A.
13 Middelburg, Cornelis A.
4 Bruni, Roberto
4 Koutny, Maciej
3 Ciobanu, Gabriel
3 Das, Shibsankar
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 Esteban-Romero, Ramón
2 Georgescu, George
2 Iorgulescu, Afrodita
2 Istrate, Gabriel I.
2 Klaudel, Hanna
2 Maggiolo-Schettini, Andrea
2 Merelli, Emanuela
2 Mikulski, Łukasz
2 Milazzo, Paolo
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 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 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 M.
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 Francisco, Alexandre P.
1 Fränzle, Martin
1 Frăsinaru, Cristian
1 Gabbrielli, Maurizio
1 Gadducci, Fabio
1 Gleirscher, Mario
1 Gomes, Leandro G.
1 Groote, Jan Friso
1 Hansen, Helle Hvid
1 Hartmann, Lars
1 Heindel, Tobias
1 Hirschowitz, Tom
1 Horne, Ross
1 Iftene, Sorin
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
...and 77 more Authors

Publications by Year

Citations contained in zbMATH Open

54 Publications have been cited 141 times in 125 Documents Cited by Year
A flat process calculus for nested membrane interactions. Zbl 1424.68101
Bodei, Chiara; Brodo, Linda; Bruni, Roberto; Chiarugi, Davide
7
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
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
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
Tuplix calculus. Zbl 1424.68098
Bergstra, J. A.; Ponse, A.; Van Der Zwaag, M. B.
4
2008
Synthesis of Petri nets with localities. Zbl 1424.68107
Koutny, Maciej; Pietkiewicz-Koutny, Marta
4
2009
Overview of thirty semantic formalisms for Reo. Zbl 1424.68105
Jongmans, Sung-Shik T. Q.; Arbab, Farhad
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
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
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
Innocent strategies as presheaves and interactive equivalences for CCS. Zbl 1424.68103
Hirschowitz, Tom; Pous, Damien
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
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
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
Modular verification of interactive systems with an application to biology. Zbl 1424.68091
Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo
2
2011
Position automata for Kleene algebra with tests. Zbl 1424.68089
Silva, Alexandra
2
2012
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
On activation, connection, and behavior in dynamic architectures. Zbl 1424.68003
Marmsoler, Diego; Gleirscher, Mario
2
2016
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
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
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
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
On safety properties and their monitoring. Zbl 1424.68043
Roşu, Grigore
1
2012
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
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
Generalising KAT to verify weighted computations. Zbl 1513.68011
Gomes, Leandro; Madeira, Alexandre; Barbosa, Luis S.
1
2019
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
Topological characterization of the third type of triangular hex-derived networks. Zbl 1513.05076
Das, Shibsankar; Rai, Shikha
1
2021
On quantum-MV algebras. I: The orthomodular algebras. Zbl 1513.06031
Iorgulescu, Afrodita
1
2021
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
1
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.
1
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
2
2016
On activation, connection, and behavior in dynamic architectures. Zbl 1424.68003
Marmsoler, Diego; Gleirscher, Mario
2
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
Boolean lifting properties for bounded distributive lattices. Zbl 1424.06030
Cheptea, Daniel; Georgescu, George; Mureşan, Claudia
6
2015
The consistency and complexity of multiplicative additive system virtual. Zbl 1424.03057
Horne, Ross
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.
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
7
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
Overview of thirty semantic formalisms for Reo. Zbl 1424.68105
Jongmans, Sung-Shik T. Q.; Arbab, Farhad
4
2012
Innocent strategies as presheaves and interactive equivalences for CCS. Zbl 1424.68103
Hirschowitz, Tom; Pous, Damien
3
2012
Position automata for Kleene algebra with tests. Zbl 1424.68089
Silva, Alexandra
2
2012
On safety properties and their monitoring. Zbl 1424.68043
Roşu, Grigore
1
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
4
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 top 5

Cited by 231 Authors

9 Bergstra, Jan A.
7 Middelburg, Cornelis A.
6 Brodo, Linda
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 Bartoletti, Massimo
3 Borumand Saeid, Arsham
3 Bruni, Roberto
3 Dal Lago, Ugo
3 Erofeev, Evgeny
3 Flórez, Rigoberto
3 Kleijn, Jetty
3 Konstantinidis, Stavros
3 Maggiolo-Schettini, Andrea
3 Merelli, Emanuela
3 Milazzo, Paolo
3 Pardini, Giovanni
3 Reis, Rogério
2 Aceto, Luca
2 Best, Eike
2 Bodei, Chiara
2 Brengos, Tomasz
2 Buti, Federico
2 Castiglioni, Valentina
2 Ciobanu, Gabriel
2 Corradini, Flavio
2 Cristiá, Maximiliano
2 Degano, Pierpaolo
2 Dokter, Kasper
2 Falaschi, Moreno
2 Gruber, Hermann
2 Holzer, Markus
2 Ingólfsdóttir, Anna
2 Jakobi, Sebastian
2 Klaudel, Hanna
2 Koohnavard, Roghayeh
2 Lanese, Ivan
2 Lion, Benjamin
2 Lüttgen, Gerald
2 Machiavelo, António
2 Mansour, Toufik
2 Marmsoler, Diego
2 Pérez, Jorge A.
2 Petrisan, Daniela Luan
2 Phillips, Iain W.
2 Pinna, G. Michele
2 Pommereau, Franck
2 Straßburger, Lutz
2 Tesei, Luca
2 Toro, Mauricio
2 Vogler, Walter
2 Zunino, Roberto
1 Acclavio, Matteo
1 Agrigoroaiei, Oana
1 Ahmed, Aishah
1 Aman, Bogdan
1 Anastasiadi, Elli
1 Antonelli, Melissa
1 Arbab, Farhad
1 Arboleda, Sair
1 Ateş, Firat
1 Barani nia, B.
1 Barbosa, Luís Soares
1 Basile, Davide
1 Basso-Blandin, Adrien
1 Beohar, Harsh
1 Bernardinello, Luca
1 Bernini, Andrea
1 Bertrand, Clément
1 Bethke, Inge
1 Bhaumik, Ritam
1 Bhyravarapu, Sriram
1 Bliudze, Simon
1 Bonchi, Filippo
1 Bonsangue, Marcello Maria
1 Breuvart, Flavien
1 Broda, Sabine
1 Cacciagrano, Diletta Romana
1 Callan, David
1 Callisto De Donato, Massimo
1 Câmpeanu, Cezar
1 Cano, Mauricio
1 Cappai, Alberto
1 Castellan, Simon
1 Castellani, Ilaria
1 Cavadas, Sílvia
1 Çevik, Ahmet Sinan
1 Chen, Wenjuan
1 Cheptea, Daniela
1 Chudnovsky, Maria
1 Cimoli, Tiziana
1 Ciungu, Lavinia Corina
1 Clairambault, Pierre
...and 131 more Authors
all top 5

Cited in 41 Journals

16 Theoretical Computer Science
11 Journal of Logical and Algebraic Methods in Programming
5 Acta Informatica
5 Journal of Applied Logic
5 Logical Methods in Computer Science
4 MSCS. Mathematical Structures in Computer Science
2 Discrete Mathematics
2 Journal of Automated Reasoning
2 Formal Aspects of Computing
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 Studia Logica
1 Order
1 Information and Computation
1 The Australasian Journal of Combinatorics
1 Formal Methods in System Design
1 Bulletin of the Belgian Mathematical Society - Simon Stevin
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 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 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

Citations by Year