-
Barakat, M., Coquand, T., Quadrat, A. (2013). Oberwolfach
Mini-Workshop "Constructive homological algebra with applications to coherent sheaves and control theory", Oberwolfach, 12-18/05/13
(
report.pdf
).
-
Coquand, T., Quadrat, A., Yengui, I. (2009). Oberwolfach Mini-Workshop
"Formal
methods in commutative algebra: A view toward constructive
homological algebra", Oberwolfach, 08-14/11/09
(
report.pdf
).
-
Quadrat, A. (2007). "Une introduction aux théories
algébriques différentielles", Intéractions
entre théories algébriques et calcul scientifiquence:
Etat-de-l'art et applications (CNAM 18/09/07)
(
slides.pdf
).
-
Quadrat, A. (2007). "Introduction à quelques résultats récents d'automatique linéaire basés sur des méthodes de calcul formel", Journées Doctorales-Journées Nationales du GdR MACS, Reims (France) (09-11/07/07)
(
slides.pdf
).
-
Quadrat, A. (2006). "Factorization and
and decomposition of linear functional systems",
Lectures IRCCyN Nantes (France) (28-30/11/06) and at Aachen
University (Germany) (11-22/12/06), Journées nationales de calcul formel (CIRM) (29/01-02/02/07)
(
slides.pdf
).
-
Quadrat, A. (2006). "Using effective homological algebra for factoring
and decomposing linear functional systems",
Special Semester on Grobner Bases and
Related Methods 2006 (D2) , RISC-Linz (Austria) (15/05/06),
ALGO Seminar ,
INRIA Rocquencourt (France) (26/05/06)
(
slides.pdf
).
-
Quadrat, A. (2005). "Constructive computation
of bases over the Weyl algebras",
Aachen University (Germany), (27/09/05), Journées
nationales de calcul formel CIRM (21-25/11/05), Innsbruck University
(Austria) (07/12/05),
Linz-RISC University (Austria) (12/12/05),
Special Semester on Grobner Bases and
Related Methods 2006 (D3) , RISC-Linz (Austria) (19/05/06)
(
slides.pdf
).
-
Quadrat, A. (2005). "On the Monge problem for multidimensional linear systems",
CAFE Seminar Day, INRIA Sophia Antipolis (30/08/05)
(
slides.pdf
).
-
Quadrat, A. (2005). "An algebraic analysis approach to mathematical system theory",
NETCA Workshop: Verification and Theorem Proving for Continuous Systems,
Oxford (United Kingdom) (26/08/05)
(
slides.pdf
,
OreModules.pdf
,
Annex.pdf
).
-
Quadrat, A. (2005). "Contributions de Charles Méray à l'étude des systèmes
d'équations aux dérivées partielles",
Colloque en hommage à Charles Méray, Mathématicien
et Vigneron Chalonnais (1835-1911), Chalon sur Saône
(France) (09/06/05)
(
slides.pdf
).
-
Quadrat, A. (2005). "An introduction to constructive algebraic analysis",
WorkShop Mathematics, Algorithms, Proofs,
Schloss Dagstuhl (Germany) (09-14/01/05).
-
Quadrat, A. (2004). "Introduction to symbolic methods for differential time-delay control systems",
2nd WorkShop CNRS-NSF, Applications of Time-Delay Systems,
Nantes (France) (13-15/09/04)
(
slides.pdf
).
-
Quadrat, A. (2003). "Etude de la platitude des systèmes linéaires différentiels
à retards: Algorithmes & Implantation", Journées Nationales d'Automatique (JNA) (25-27/06/03), Valenciennes (France).
-
Quadrat, A. (2003). "Parametrizations of underdetermined linear systems of partial differential
equations: Algorithms and Applications", Journées nationales de calcul formel CIRM (20-24/01/03).
-
Quadrat, A. (2002). "Calcul effectif des paramétrisations des
systèmes à retards",
Working group
GT "Systèmes à retards'' (GdR Automatique) (13/06/02).
-
Quadrat, A. (2002). "An introduction to algebraic analysis with effective applications to
linear control systems", Lectures at the University of Aachen (Germany) (03-07/06).
-
Quadrat, A. (2002). "Systems of partial differential equations: an introduction to the works
of D. C. Spencer and his school", Lecture Notes of the working
group Involution.
-
Quadrat, A. (2002). "Systems of partial differential equations: an introduction to the works
of C. Riquier and M. Janet", Lecture Notes of the working group
Involution.
-
Nihtilä, M. T., Tervo, J., Quadrat, A. (2001). "Algebraic approach
to the controllability of boundary-value systems", SIAM conference
on Linear Algebra in Signals, Systems and Control,
Boston (USA) (13-16/07/01).
-
Quadrat, A. (2000). "Analyse algébrique pour l'automatique
linéaire",
ALGO Seminar ,
INRIA Rocquencourt (France) (04/12/00)
(
slides.ps.gz
).
-
Quadrat, A. (1999). "Analyse algébrique des systèmes
de contrôle linéaires multidimensionnels", PhD
thesis, École Nationale des Ponts et Chaussées (France) (23/09/99).