César Rodríguez

Available identifiers

zbMath Open rodriguez.cesar-marinMaRDI QIDQ443728

List of research outcomes

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	2023-07-20	Paper
Quasi-optimal partial order reduction	2023-05-05	Paper
Abstract interpretation with unfoldings	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	2021-08-30	Paper
Dynamic symbolic verification of MPI programs	2021-05-04	Paper
Symbolic partial-order execution for testing multi-threaded programs	2021-02-04	Paper
Unfolding-based Partial Order Reduction	2017-09-12	Paper
Prime Submodules and Symmetric Algebras	2017-09-06	Paper
Unfolding-Based Process Discovery	2016-01-08	Paper
Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs	2014-07-08	Paper
Contextual merged processes	2013-06-28	Paper
Verification of Petri nets with read arcs	2012-09-25	Paper
Efficient unfolding of contextual Petri nets	2012-08-13	Paper
Efficient Contextual Unfolding	2011-09-02	Paper
Construction and SAT-based verification of contextual unfoldings	2011-07-29	Paper
Equidimensional symmetric algebras	2010-03-11	Paper
A note on basic free modules and the \(S_n\) condition	2007-09-05	Paper
https://portal.mardi4nfdi.de/entity/Q3156417	2005-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q4469337	2004-06-14	Paper
Radical of submodules and symmetric algebra	2002-02-07	Paper
The effect of external noise on the dynamics of speculative markets	2002-01-14	Paper
The Grade Conjecture and the S2 Condition	2002-01-01	Paper

Research outcomes over time

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