Publications

(Zentralblatt MATH, MathSciNet, Google Scholar, arXiv)

Preprints

4 Mohamed Barakat, Markus Lange-Hegermann and Sebastian Posur, Elimination via saturation.
3 Mohamed Barakat and Markus Lange-Hegermann, Gabriel morphisms and the computability of Serre quotients with applications to coherent sheaves.
2 Mohamed Barakat, Spectral filtrations via generalized morphisms.
1 Mohamed Barakat and Barbara Bremer, Higher extension modules and the Yoneda product.

Refereed publications

19 Mohamed Barakat and Markus Lange-Hegermann, A constructive approach to the module of twisted global sections on relative projective spaces. To appear in Algorithmic and Experimental Methods in Algebra, Geometry, and Number Theory, Springer.
18 Takuro Abe, Mohamed Barakat, Michael Cuntz, Torsten Hoge, and Hiroaki Terao, The freeness of ideal subarrangements of Weyl arrangements. Journal of the Eur. Math. Soc. 18,6 (2016), 1339-1348.
17 Mohamed Barakat, On subdirect factors of a projective module and applications to system theory. Multidimensional Systems and Signal Processing 26,2 (2015), 339-348.
16 Mohamed Barakat and Markus Lange-Hegermann, On the Ext-computability of Serre quotient categories. Journal of Algebra 420 (2014), 333-349.
15 Mohamed Barakat and Markus Lange-Hegermann, Characterizing Serre quotients with no section functor and applications to coherent sheaves. Appl. Categor. Struct. 22,3 (2014), 457-466.
14 Mohamed Barakat and Markus Lange-Hegermann, On monads of exact reflective localizations of Abelian categories. Homology, Homotopy and Applications 15,2 (2013), 145-151.
13 Mohamed Barakat and Michael Cuntz, Coxeter and crystallographic arrangements are inductively free. Adv. Math. 229, no. 1 (2012), 691-709.
12 Mohamed Barakat and Markus Lange-Hegermann, An Axiomatic Setup for Algorithmic Homological Algebra and an Alternative Approach to Localization. J. Algebra Appl. 10, no. 2 (2011), 269-293.
11 Mohamed Barakat and Simon Görtzen, Simplicial cohomology of smooth orbifolds in GAP. Proceedings of the ICMS (Kobe, Japan), Lecture Notes in Computer Science 6327 (2010), 46-49.
10 Mohamed Barakat, Conley Index Theory. Proceedings of the MTNS (Budapest, Hungary) (2010), 1645-1651.
9 Mohamed Barakat, Purity Filtration and the Fine Structure of Autonomy. Proceedings of the MTNS (Budapest, Hungary) (2010), 1657-1661.
8 Mohamed Barakat and Stanislaus Maier-Paape, Computation of connection matrices using the software package conley. Internat. J. Bifur. Chaos Appl. Sci. Engrg. 19, no. 9 (2009), 3033-3056.
7 Mohamed Barakat and Daniel Robertz, conley: computing connection matrices in Maple. J. Symbolic Comput. 44, no. 5 (2009), 540-557.
6 Mohamed Barakat and Daniel Robertz, homalg - A Meta-Package for Homological Algebra. J. Algebra Appl. 7, no. 3 (2008), 299-317.
5 Mohamed Barakat and Daniel Robertz, Computing invariants of multidimensional linear systems on an abstract homological level. MTNS Proceedings, Kyoto, Japan (2006), 542-559.
4 Mohamed Barakat and Daniel Robertz, homalg: First steps to an abstract package for homological algebra. EACA Proceedings, Sevilla, Spain (2006), 29-32.
3 Mohamed Barakat, The existence of Cartan connections and geometrizable principal bundles. Arch. Math. 83, no. 2 (2004), 159-163.
2 Mohamed Barakat, jets. A MAPLE-package for formal differential geometry. Computer algebra in scientific computing, (EACA Konstanz), Springer, Berlin (2001), 1-12.
1 Mohamed Barakat and Martin Oberlack, Reduction and long time behaviour of homogeneous turbulence under spatially constant mean-velocity gradient. Advances in turbulence VIII: Proc. of the 8th European Turbulence Conference, Barcelona, Spain (2000), 865-868.

Non-refereed publications

6 Mohamed Barakat, Max Horn, Frank Lübeck, Oleksandr Motsak, Max Neunhöffer, and Hans Schönemann, The GAP package SingularInterface. Computeralgebra-Rundbrief (2014), 29-33.
5 Mohamed Barakat, Computations of unitary groups in characteristic 2. (for J.-P. Serre) (2013).
4 Mohamed Barakat, Computing Ext in Serre quotient categories. Mini-Workshop: Algebraic and Analytic Techniques for Polynomial Vector Fields, MFO report no. 57 (2013), 19-21.
3 Mohamed Barakat and Markus Lange-Hegermann, The homalg project. Computeralgebra Rundbrief (2012), 6-9.
2 Mohamed Barakat, Jet groupoids and the invariance of geometric structures. Mini-Workshop: Algebraic and Analytic Techniques for Polynomial Vector Fields, MFO report no. 57 (2010), 19-21.
1 Mohamed Barakat, Spectral Sequences and Effective Computations. Mini-Workshop: Formal Methods in Commutative Algebra: A View Toward Constructive Homological Algebra, MFO report no. 50 (2009), 7-12.

Theses

Pro-nilpotente Lie Algebren. Diploma thesis, Lehrstuhl B für Mathematik, RWTH-Aachen University (October 1997).
Functional Spaces. A Direct Approach. PhD thesis, RWTH-Aachen University (January 2002).
The Homomorphism Theorem and Effective Computations. Habilitation thesis, RWTH-Aachen University (April 2009).