| Publication | Date of Publication | Type |
|---|
| An inference engine for propositional two-valued logic based on the radical membership problem | 2024-06-21 | Paper |
| Some reflections about the success and bibliographic impact of the dynamic geometry system \textit{GeoGebra} | 2023-06-27 | Paper |
| Can I bring my calculator to the exam? Some reflections on the abstraction level of computer algebra systems | 2023-06-22 | Paper |
| A proposal of a mixed diagnostic system based on decision trees and probabilistic experts rules | 2023-06-20 | Paper |
| Looking for compatible routes in the railway interlocking system of an overtaking station using a computer algebra system | 2022-12-21 | Paper |
| Using fractals and \textit{Turtle Geometry} to visually explain the spread of a virus to kids: a STEM multitarget activity | 2022-01-28 | Paper |
| A computer approach to overtaking station track layout diagram design using graphs. An alternative track diagram proposal for these stations | 2021-03-10 | Paper |
| An algebraic model for implementing expert systems based on the knowledge of different experts | 2021-02-19 | Paper |
| Foreword to the special issue on ``Nonstandard applications of computer algebra (ACA'2013) | 2021-02-19 | Paper |
| A natural language for implementing algebraically expert systems | 2021-02-19 | Paper |
| An algebraic approach for detecting nearly dangerous situations in expert systems | 2021-02-19 | Paper |
| Revisiting four-valued logics from \textit{Maple} using the \textit{Logics Explorer} package | 2021-02-18 | Paper |
| Automatic generation of diagrammatic subway maps for any date with Maple | 2020-07-28 | Paper |
| Some reflections about the success and impact of the computer algebra system \textit{DERIVE} with a 10-year time perspective | 2019-09-11 | Paper |
| An algebraic approach to DC railway electrification verification | 2019-09-11 | Paper |
| A multi-criteria computer package for power transformer fault detection and diagnosis | 2019-06-21 | Paper |
| A recommender system for train routing: when concatenating two minimum length paths is not the minimum length path | 2019-06-21 | Paper |
| A prototype of a RBES for personalized menus generation | 2019-04-29 | Paper |
| A portable knowledge-based system for car breakdown evaluation | 2019-03-15 | Paper |
| A brief note on the approach to the conic sections of a right circular cone from dynamic geometry | 2018-02-27 | Paper |
| A Symbolic-Numeric Approach to MPL Continuous Logic and to Rule Based Expert Systems whose Underlying Logic is MPL | 2015-10-14 | Paper |
| The geometry of railway geometric overthrow revisited using computer algebra methods | 2015-02-04 | Paper |
| An approach from answer set programming to decision making in a railway interlocking system | 2014-09-09 | Paper |
| A Note on the Need for Radical Membership Checking in Mechanical Theorem Proving in Geometry | 2014-07-07 | Paper |
| A logic and computer algebra approach to a decision-making problem in medicine | 2014-01-15 | Paper |
| A Gröbner bases-based rule based expert system for fibromyalgia diagnosis | 2013-01-30 | Paper |
| A logic-algebraic approach to decision taking in a railway interlocking system | 2012-12-12 | Paper |
| The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics | 2012-12-05 | Paper |
| A logic approach to decision taking in a railway interlocking system using Maple | 2012-05-14 | Paper |
| A polynomial model for logics with a prime power number of truth values | 2011-04-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3062086 | 2011-01-03 | Paper |
| An algebraic approach to rule based expert systems | 2010-07-09 | Paper |
| Connecting the 3D DGS Calques3D with the CAS Maple | 2010-05-27 | Paper |
| A Groebner bases-based approach to backward reasoning in rule based expert systems | 2010-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3406481 | 2010-02-17 | Paper |
| Obtaining a 3D extension of Pascal theorem for non-degenerated quadrics and its complete configuration with the aid of a computer algebra system | 2009-08-03 | Paper |
| Evolution of railway network flexibility: The Spanish broad gauge case | 2009-06-18 | Paper |
| A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple | 2009-01-27 | Paper |
| What machines can and cannot do | 2008-07-11 | Paper |
| A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry | 2008-04-01 | Paper |
| 3D extension of Steiner chains problem | 2008-02-22 | Paper |
| An Application of Computer Algebra to Pharmacokinetics: The Bateman Equation | 2006-06-01 | Paper |
| Artificial Intelligence and Symbolic Computation | 2005-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3021919 | 2005-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3156426 | 2005-01-07 | Paper |
| An accelerated-time simulation of departing passengers' flow in airport terminals | 2004-11-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808704 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737717 | 2004-08-11 | Paper |
| A bridge between dynamic geometry and computer algebra | 2004-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4471949 | 2004-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4471935 | 2004-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4446490 | 2004-02-02 | Paper |
| A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra | 2003-08-21 | Paper |
| An applicable topology-independent model for railway interlocking systems | 2003-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4415076 | 2003-07-28 | Paper |
| An expert system for managing medical appropriateness criteria based on computer algebra techniques | 2002-08-18 | Paper |
| A logic and computer algebra-based expert system for diagnosis of anorexia | 2002-05-21 | Paper |
| A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking | 2002-05-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2760230 | 2002-03-21 | Paper |
| Tort-Decó: A ``Turtle geometry-based package for drawing periodic designs | 2001-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4955416 | 2000-08-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4011650 | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4011585 | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4011651 | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3795713 | 1987-01-01 | Paper |
