Corneliu Popeea

Available identifiers

zbMath Open popeea.corneliu-alexandruMaRDI QIDQ948221

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5015366	2021-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q4997234	2021-06-28	Paper
A constraint-based approach to solving games on infinite graphs	2014-04-10	Paper
Predicate abstraction and refinement for verifying multi-threaded programs	2014-04-10	Paper
Dual analysis for proving safety and finding bugs	2013-06-06	Paper
Compositional Termination Proofs for Multi-threaded Programs	2012-06-29	Paper
Non-monotonic Refinement of Control Abstraction for Concurrent Programs	2010-10-04	Paper
Efficient state-space approach for FIR filter bank completion	2008-10-16	Paper
Optimal compaction gain by eigenvalue minimization.	2001-08-20	Paper
Capacitive effect models for a magnetic field sensor	1999-11-08	Paper
https://portal.mardi4nfdi.de/entity/Q4099508	1974-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: Corneliu Popeea