César Rodríguez

Available identifiers

zbMath Open rodriguez.cesar-marinMaRDI QIDQ443728

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q2764610	2002-01-14	Paper
The Grade Conjecture and the S2 Condition	2002-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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