César Rodríguez

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Introduction to algebraic analysis on Ore extensions	2024-10-11	Paper
New Eliahou Semigroups and Verification of the Wilf Conjecture for Genus up to 65 (available as arXiv preprint)	2023-07-20	Paper
Quasi-optimal partial order reduction Computer Aided Verification	2023-05-05	Paper
Abstract interpretation with unfoldings (available as arXiv preprint)	2022-08-12	Paper
New Eliahou semigroups and verification of the Wilf conjecture for genus up to 65	2022-06-03	Paper
Quasi-optimal partial order reduction Formal Methods in System Design	2021-08-30	Paper
Dynamic symbolic verification of MPI programs	2021-05-04	Paper
Symbolic partial-order execution for testing multi-threaded programs (available as arXiv preprint)	2021-02-04	Paper
Unfolding-based partial order reduction (available as arXiv preprint)	2017-09-12	Paper
Prime submodules and symmetric algebras Springer Proceedings in Mathematics & Statistics	2017-09-06	Paper
Unfolding-based process discovery Automated Technology for Verification and Analysis	2016-01-08	Paper
Cunf: a tool for unfolding and verifying Petri nets with read arcs Automated Technology for Verification and Analysis	2014-07-08	Paper
Contextual merged processes Application and Theory of Petri Nets and Concurrency	2013-06-28	Paper
Verification of Petri nets with read arcs Lecture Notes in Computer Science	2012-09-25	Paper
Efficient unfolding of contextual Petri nets Theoretical Computer Science	2012-08-13	Paper
Efficient Contextual Unfolding CONCUR 2011 – Concurrency Theory	2011-09-02	Paper
Construction and SAT-based verification of contextual unfoldings Descriptional Complexity of Formal Systems	2011-07-29	Paper
Equidimensional symmetric algebras Journal of the Korean Mathematical Society	2010-03-11	Paper
A note on basic free modules and the \(S_n\) condition Portugaliae Mathematica. Nova Série	2007-09-05	Paper
scientific article; zbMATH DE number 2125594 (Why is no real title available?)	2005-01-07	Paper
scientific article; zbMATH DE number 2074317 (Why is no real title available?)	2004-06-14	Paper
Radical of submodules and symmetric algebra Communications in Algebra	2002-02-07	Paper
The effect of external noise on the dynamics of speculative markets Revista de la Academia Canaria de Ciencias	2002-01-14	Paper
The Grade Conjecture and the S₂ Condition Canadian Mathematical Bulletin	2002-01-01	Paper

Research outcomes over time

This page was built for person: César Rodríguez