Person:1323366

Available identifiers

zbMath Open halbwachs.nicolasWikidataQ3340394 ScholiaQ3340394MaRDI QIDQ1323366

List of research outcomes

Publication	Date of Publication	Type
Disjunctive relational abstract interpretation for interprocedural program analysis	2020-01-23	Paper
Improving the results of program analysis by abstract interpretation beyond the decreasing sequence	2018-11-15	Paper
An Analysis of Permutations in Arrays	2010-01-14	Paper
Combining Widening and Acceleration in Linear Relation Analysis	2009-03-12	Paper
An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints	2008-04-04	Paper
Some ways to reduce the space dimension in polyhedra computations	2006-11-17	Paper
https://portal.mardi4nfdi.de/entity/Q4813408	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4439584	2003-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q2766623	2002-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q2758308	2002-03-25	Paper
About synchronous programming and abstract interpretation	2000-01-04	Paper
The algorithmic analysis of hybrid systems	1997-02-28	Paper
An experience in proving regular networks of processes by modular model checking	1994-06-02	Paper
https://portal.mardi4nfdi.de/entity/Q4284985	1994-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q4037092	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4037384	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4207570	1988-01-01	Paper
A functional model for describing and reasoning about time behaviour of computing systems	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3721827	1986-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: Nicolas Halbwachs