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)