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. Algorithmic and Experimental Methods in Algebra, Geometry, and Number Theory, Springer, (2017) 23-49.
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).