"Pseudomonadic BL-algebras: an algebraic approach to possibilistic BL-logic" (2019) Busaniche, M.; Cordero, P.; Rodriguez, R.O. Soft Computing. 23(7):2199-2212

"Gerstenhaber Structure on Hochschild Cohomology of Toupie Algebras" (2019) Artenstein, D.; Lanzilotta, M.; Solotar, A. Algebras and Representation Theory

"Twisted Tensor Products of K n with K m" (2018) Arce, J.; Guccione, J.A.; Guccione, J.J.; Valqui, C. Algebras and Representation Theory

"On the Computational Complexity of Information Hiding" (2018) Paredes, A.R. Electronic Notes in Theoretical Computer Science. 339:135-146

"Isomorphisms of Nonnoetherian Down-Up Algebras" (2018) Chouhy, S.; Solotar, A. Algebras and Representation Theory. 21(6):1343-1352

"Boosting the Reuse of Formal Specifications" (2018) Moscato, M.M.;Lopez Pombo, C.G.;Muñoz, C.A. (...)Mahboubi A. 9th International Conference on Interactive Theorem Proving, ITP 2018 Held as Part of the Federated Logic Conference, FloC 2018. 10895 LNCS:477-494

"WAdS3/CFT2 correspondence in presence of bulk massive gravitons" (2018) Donnay, L.;Giribet, G.;Ruffini R. (...)Jantzen R.T. 14th Marcel Grossman Meeting On Recent Developments in Theoretical and Experimental General Relativity, Astrophysics and Relativistic Field Theories:4216-4221

"PBW Deformations of a Fomin–Kirillov Algebra and Other Examples" (2018) Heckenberger, I.; Vendramin, L. Algebras and Representation Theory

"An alternative notion of quantifiers on three-valued Łukasiewicz algebras" (2017) Petrovich, A.; Lattanzi, M. Journal of Multiple-Valued Logic and Soft Computing. 28(4-5):335-360

"A decision method for the integrability of differential-algebraic Pfaffian systems" (2016) D'Alfonso, L.; Jeronimo, G.; Solernó, P. Advances in Applied Mathematics. 72:175-194

"Sign Conditions for Injectivity of Generalized Polynomial Maps with Applications to Chemical Reaction Networks and Real Algebraic Geometry" (2016) Müller, S.;Feliu, E.;Regensburger, G. (...)Dickenstein, A. Foundations of Computational Mathematics. 16(1):69-97

"Lukasiewicz public announcement logic" (2016) Cabrer, L.;Rivieccio, U.;Rodriguez, R.O. (...)Yager R.R. 16th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2016. 611:108-122

"A full operational semantics for asynchronous relational networks" (2015) Vissani, I.;Pombo, C.G.L.;Jose, J.L.F. (...)Diaconescu, R. 22nd International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2014. 9463:131-150

"Bi-modal Gödel logic over [0,1]-valued Kripke frames" (2015) Caicedo, X.; Rodríguez, R.O. Journal of Logic and Computation. 25(1):37-55

"Twisted Semigroup Algebras" (2015) Rigal, L.; Zadunaisky, P. Algebras and Representation Theory. 18(5):1155-1186

"Linearizing systems of second-order ODEs via symmetry generators spanning a simple subalgebra" (2013) Campoamor-Stursberg, R.; Guerón, J. Acta Applicandae Mathematicae. 127(1):105-115

"Satisfiability calculus: The semantic counterpart of a proof calculus in general logics" (2013) Lopez Pombo, C.G.; Castro, P.F.; Aguirre, N.M.; Maibaum, T.S.E. 21st International Workshop on Algebraic Development Techniques, WADT 2012. 7841 LNCS:195-211

"Combinatorics of 4-dimensional resultant polytopes" (2013) Dickenstein, A.; Emiris, I.Z.; Fisikopoulos, V. 38th International Symposium on Symbolic and Algebraic Computation, ISSAC 2013:173-180

"Connector algebras for C/E and P/T nets' interactions" (2013) Bruni, R.; Melgratti, H.; Montanaric, U.; Sobociński, P.L. Logical Methods in Computer Science. 9(3)

"An hp adaptive strategy to compute the vibration modes of a fluid-solid coupled system" (2012) Armentano, M.G.; Padra, C.; Rodríguez, R.; Scheble, M. CMES - Computer Modeling in Engineering and Sciences. 84(4):359-381

"The intrinsic fundamental group of a linear category" (2012) Cibils, C.; Redondo, M.J.; Solotar, A. Algebras and Representation Theory. 15(4):735-753

"A connector algebra for P/T nets interactions" (2011) Bruni, R.; Melgratti, H.; Montanari, U. 22nd Conference on Concurrency Theory, CONCUR 2011. 6901 LNCS:312-326

"Complete calculi for structured specifications in fork algebra" (2010) Lopez Pombo, C.G.; Frias, M.F. 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010. 6255 LNCS:290-305

"On Morita equivalence for simple Generalized Weyl algebras" (2010) Richard, L.; Solotar, A. Algebras and Representation Theory. 13(5):589-605

"Some lower bounds for the complexity of the linear programming feasibility problem over the reals" (2009) Grimson, R.; Kuijpers, B. Journal of Complexity. 25(1):25-37

"Rational formulas for traces in zero-dimensional algebras" (2008) D'Andrea, C.; Jeronimo, G. Applicable Algebra in Engineering, Communications and Computing. 19(6):495-508

"Counting solutions to binomial complete intersections" (2007) Cattani, E.; Dickenstein, A. Journal of Complexity. 23(1):82-107

"Factoring bivariate sparse (lacunary) polynomials" (2007) Avendaño, M.; Krick, T.; Sombra, M. Journal of Complexity. 23(2):193-216

"Fork algebras as a sufficiently rich universal institution" (2006) Pombo, C.G.L.; Frias, M.F. 11th International Conference on Algebraic Methodology and Software Technology, AMAST 2006. 4019 LNCS:235-247

"Interpretability of first-order linear temporal logics in fork algebras" (2006) Frias, M.F.; Pombo, C.G.L. Journal of Logic and Algebraic Programming. 66(2):161-184

"Scopes and limits of modality in quantum mechanics" (2006) Domenech, G.; Freytes, H.; De Ronde, C. Annalen der Physik (Leipzig). 15(12):853-860

"Reasoning about static and dynamic properties in alloy: A purely relational approach" (2005) Frias, M.F.;López Pombo, C.G.;Baum, G.A. (...)Maibaum, T.S.E. ACM Transactions on Software Engineering and Methodology. 14(4):478-526

"Validity of the rotating wave approximation in the driven Jaynes-Cummings model" (2004) Berlín, G.; Aliaga, J. Journal of Optics B: Quantum and Semiclassical Optics. 6(4):231-237

"Polynomial equation solving by lifting procedures for ramified fibers" (2004) Bompadre, A.; Matera, G.; Wachenchauzer, R.; Waissbein, A. Theoretical Computer Science. 315(2-3):335-369

"The branching problem in generalized power solutions to differential equations" (2004) Jakubi, A.S. Mathematics and Computers in Simulation. 67(1-2):45-54

"The classical-statistical limit of quantum mechanics" (2004) Castagnino, M. Physica A: Statistical Mechanics and its Applications. 335(3-4):511-517

"On the Derived Invariance of Cohomology Theories for Coalgebras" (2003) Farinati, M.A. Algebras and Representation Theory. 6(3):303-331

"The hardness of polynomial equation solving" (2003) Castro, D.;Giusti, M.;Heintz, J. (...)Pardo, L.M. Foundations of Computational Mathematics. 3(4):347-420

"Functional programming concepts and straight-line programs in computer algebra" (2002) Bruno, N.; Heintz, J.; Matera, G.; Wachenchauzer, R. Mathematics and Computers in Simulation. 60(6):423-473

"Grassmann coherent states representation of the path integral: Evaluation of the generating function for spin systems" (2002) Anicich, P.G.O.; Grinberg, H. International Journal of Quantum Chemistry. 90(6):1562-1576

"On checking timed automata for linear duration invariants" (1998) Braberman, Victor Adrian; Van Hung, Dang Proceedings of the 1998 19th IEEE Real-Time Systems Symposium:264-273

"Combinatorial hardness proofs for polynomial evaluation" (1998) Aldaz, M.;Heintz, J.;Matera, G. (...)Pardo, L.M. 23rd International Symposium on the Mathematical Foundations of Computer Science, MFCS 1998. 1450 LNCS:167-175

"Lattices due to increasing low energy relational processes" (1997) Leguizamón, C.A.; Zaretzky, A.N. Mathematical and Computer Modelling. 25(11):75-81

"Complexity bounds in elimination theory - A survey" (1996) Solernó, P. Mathematics and Computers in Simulation. 42(4-6):429-438

"On the computation of the radical of polynomial complete intersection ideals" (1995) Armendáriz, I.;Solernó, P.;Mora T. (...)Giusti M. 11th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC 1995. 948:106-119

"Single exponential path finding in semialgebraic sets part I: The case of a regular bounded hypersurface" (1991) Heintz, J.; Roy, M.-F.; Solero, P.; Sakata S. 8th International Conference on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC 1990. 508 LNCS:180-196