Nadir Matringe

	2012
4		Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura: Transcendental inductive invariants generation for non-linear differential and hybrid systems. HSCC 2012: 25-34
	2010
3		Nadir Matringe, Arnaldo Vieira Moura, Rachid Rebiha: Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods. SAS 2010: 373-389
	2009
2		Nadir Matringe, Arnaldo Vieira Moura, Rachid Rebiha: Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems. HSCC 2009: 445-449
	2008
1		Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura: Endomorphisms for Non-trivial Non-linear Loop Invariant Generation. ICTAC 2008: 425-439

Coauthor Index

1	Arnaldo Vieira Moura	[1] [2] [3] [4]
2	Rachid Rebiha	[1] [2] [3] [4]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page