JOURNAL PAPERS
- “A Study of two classical Methods for the
Approximate Construction of Regular Polygons by Using Mathematica”
Mathematica
In Education and
Research, Springer-Verlag (Vol
IX, 9.3. New York USA)
September
2000
- “From the Euclidean Tools to the Computer Algebra System”
Support
in Learning, bk teachware
Series (Vol
SL-XV, pp
153-157. Hagenberg, Austria)
October
2000
- “A Process Algebra for Probabilistic and
Non-deterministic Processes”
Information
Processing Letters, Elsevier
Science (Vol LXXX, pp
15-23. Amsterdam, The Netherlands)
October
2001
- “Desigualdades para funciones f que satisfacen la
ecuación funcional f(x-y)=g(f(x),f(y))”
Boletín de la
Sociedad PUIG-ADAM de profesores de
Matemáticas, Sociedad PUIG-ADAM
(Vol LX, pp 46-51. Madrid, Spain)
February 2002
- “Specification and Analysis
of the MPEG-2 Video Encoder with Timed-Arc Petri Nets”
Electronic
Notes on Theoretical
Computer Science, Elsevier Science (Vol
LXVI, N 2, pp 125-136. Amsterdam, The Netherlands)
July 2002
- “Algebraic theory of probabilistic and nondeterministic
processes”
Journal
of Logic and Algebraic
Programming, Elsevier Science (Vol LV, N 1
&2, pp 57-103. Amsterdam, The Netherlands)
April
2003
- “Analysis of the MPEG-2 Encoding Algorithm with ROSA”
Electronic
Notes on Theoretical
Computer Science, Elsevier Science (Vol
LXXX, N 1, pp . Amsterdam, The Netherlands)
July 2003
- “An Environment for Computing Topological Entropy for
Skew-Product Transformations”
World
Scientific Publishing, (Vol
XXXVI - XLVI , pp 12-16. River Edge, USA)
July 2003
- “Symbolic Mathematical Computing of Bifurcations in
Dynamical Systems”
Journal
of Computational Methods in
Sciences and Engineering, IOS Press (Vol
IV, N 1 & 2, pp 115-124. Amsterdam, The Netherlands)
October
2004
- “Stability of Continuous Systems by Routh-Hurwitz and
Mathematica”
Journal
of Computational Methods in
Sciences and Engineering, IOS Press (Vol
IV, N 1 & 2, pp 125-134. Amsterdam, The Netherlands)
October
2004
- “A Measure of Simplicity for the Dynamics
of an Economic/Biological Discrete Model”
WSEAS
Transactions on BIOLOGY and
BIOMEDICINE (Vol
II,
N 1, pp
1-5. New Jersey, USA)
January
2005
- “A Formal Specification of the Memorization Process”
International
Journal
of Cognitive Informatics and Natural Intelligence (Vol I,
Issue 4, pp . IDEA Group Publishing)
April
2007
- “Generating the Syntactic and Semantics Graphs for a
Markovian Process Algebra”
Journal
of Computational and Applied Mathematics (Vol
204,
N 1, pp 38-47. Elsevier. NORTH-HOLLAND)
July 2007
- “On Skew Product Maps with Base Having Closed Set of
Periodic Points”
International
Journal
of Computer Mathematics (Vol ,
N , pp . Tylor & Francis)
To appear
- “On Solenoidal Distribution of Infinite Omega-Limit Sets”
International
Journal
of Computer Mathematics (Vol ,
N , pp . Tylor & Francis)
To appear
- “A Graphical Approach to the Computability and the
Undecidability of Identifying the Rationals among the Reals”
Applied
Mathematics Letters,
Elsevier (Under
Review)