Check out our publicly downloadable publications in the Public downloads Section

Note: publications that are directly feeding into or that are entirely based on project outputs are labelled [CORE]. All publications listed here were either wholly or partly supported by BIOMICS.

**2016**

Dini, P (2016). Computational Properties of Cell Regulatory Pathways through Petri Nets, in Adamatzky, A, ed., *Advances in Unconventional Computing*, Springer. In press. [download] [Springer page] [CORE]

Konkoli, Z, Stepney, S, Broesma, H, Dini, P, Nehaniv, C and Nichele, S. Philosophy of Computation, in Amos, M, Rasmussen, S and Stepney S, Eds. Computational Matter, Springer, submitted. [CORE]

den Breems, N Y and Eftimie, R (2016). The re-polarisation of M2 and M1 macrophages and its role on cancer outcomes *Journal of Theoretical Biology * 390:23-29 [CORE]

Powathil, G G, Munro, A J, Chaplain, M A and Swat, M (2016). Bystander effects and their implications for clinical radiation therapy: Insights from multiscale in silico experiments *Journal of Theoretical Biology * 401:1-14 [CORE]

Egon Börger (2016). Modeling Distributed Algorithms by Abstract State Machines Compared to Petri Nets, * ABZ 2016, LNCS 9675 * 1-32 [CORE] (Note: also listed under Refereed Conference Proceedings)

Eric Rothstein Morris and Joachim Posegga (2016). Enforcing Security Properties by Solving Behavioural Equations, Engineering Secure Software and Systems, * ESSoS 2016 * 260-268 [CORE] (Note: also listed under Refereed Conference Proceedings)

**2015**

Attila Egri-Nagy and Chrystopher L. Nehaniv (2015). Symmetries of Automata, *Algebra and Discrete Mathematics*, 19(1):48-57, January/March. (Special issue dedicated to the 100th anniversary of Professor Lev Arkadjevich Kaluzhnin) [open access download] [ISSN: 1726-3255] [CORE]

C. L. Nehaniv, J. L. Rhodes, A. Egri-Nagy, P. Dini, E. Rothstein Morris, Gabor Horvath, F. Karimi, D. Schreckling, and M. J. Schilstra (2015). Symmetry Structure in Discrete Models of Biochemical Systems: Natural Subsystems and the Weak Control Hierarchy in a New Model of Computation Driven by Interactions, * Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, * 373(2046). [ ISSN: 1364-503X] [download (open access)] [CORE]

Horváth, G and Nehaniv, C L (2015). Length of polynomials over finite simple non-Abelian groups, *J. Comput. System Sci.*, 81(8):1614-1622. doi [CORE]

**2014**

Den Breems, N, Nguyen and Kulasiri (2014). Integrated signaling pathway and gene expression regulatory model to dissect dynamics of *Escherichia coli* challenged mammary epithelial cells, *BioSystems*. http://www.sciencedirect.com/science/article/pii/S0303264714001543 [CORE]

**2013**

Dini, P, Nehaniv, C L, Egri-Nagy, A, Schilstra, M J (2013). Exploring the Concept of Interaction Computing through the Discrete Algebraic Analysis of the Belousov-Zhabotinsky Reaction, *BioSystems*, 112:145-162. http://www.sciencedirect.com/science/article/pii/S0303264713000476. Pre-formatted version: http://eprints.lse.ac.uk/49851/ [CORE]

**2012**

Dini, P, Nehaniv, C L, Egri-Nagy, A, Schilstra, M J, Schreckling, D, Posegga, J, Horváth, G and Munro, A J (2012). Biological and Mathematical Basis of Interaction Computing, *International Journal of Unconventional Computing*, 8(4):283 -287. http://www.oldcitypublishing.com/IJUC/IJUCcontents/IJUCv8n4contents.html [CORE]

**2016**

Halasi, Z, and Podoski, K (2016). Every coprime linear group admits a base of size two, *Trans. Amer. Math. Soc.*,368: 5857–5887. [download]

Halasi, Z, Hannusch, C Nguyen, H N (2016). The Largest Character Degrees of the Symmetric and Alternating Groups, Proceedings of the AMS, 144: 1947–1960. [download]

C. Hannusch and P. Lakatos (2016). Construction of self-dual binary [2^{2k}, 2^{2k−1}, 2^k]-codes, Algebra and Discrete Mathematics, Volume 21. Number 1, pp. 59–68 [download]

Falcone, G, Figula, Á, and Strambach, K (2016). Multiplicative loops of 2-dimensional topological quasifelds, Commun. in Algebra, Vol. 44, 2592-2620, ID: 1053905 DOI:10.1080/00927872.2015.1053905 [download]

T. Milkovszki Z. Muzsnay: On the projective Finsler metrizability and the integrability of Rapcsak equation, Czechoslovak Mathematical Journal, to appear, 2016. [download]

I. Bucataru, Z. Muzsnay: Non-existence of Funk functions for Finsler spaces of non-vanishing scalar flag curvature, Comptes Rendus Mathematique, to appear, 2016. [download]

**2015**

Gábor Horváth. The complexity of the equivalence and equation solvability problems over meta-Abelian groups. * J. Algebra,* 433:208-230, 2015. doi

Cossey, J.P, Halasi, Z, Maróti, A. Nguyen, H.N, On a conjecture of Gluck, *Mathematische Zeitschrift * 279, no. 3-4, pp 1067-1080, 2015 [download]

Halasi, Z, Maróti, A. The Minimal Base Size for a p-Solvable Linear Group, Proceedings of the AMS, 2015, 144: 3231-3242. [download]

Figula, Á, Kvaratskhelia, V. Some numerical characteristics of Sylvester and Hadamard matrices, Publ Math Debrecen, 86(1-2):149-168, 2015 [download]

Figula, Á. Quasi-simple Lie groups as multiplication groups of topological loops, *Advances in Geometry*, 15:315-331 (2015) [download]

Figula, Á. Lattuca, M, Three-dimensional topological loops with nilpotent multiplication groups, *J. Lie Theory* 25, No. 3, 787-805 (2015) http://www.heldermann.de/JLT/JLT25/JLT253/jlt25037.htm [download]

Falcone, G, Figula, Á. The action of a compact Lie group on nilpotent Lie algebras of type {n,2}, *Forum Mathematicum*, 2015, to appear, 16 pages. [download]

Á́. Figula, M.Z. Menteshashvili, On the geometry of the domain of the solution of nonlinear Cauchy problem, accepted for publication in the book: Lie groups, differential equations and geometry, UNIPA Springer Series, 14 pages, 2015. [download]

Muzsnay Zoltán, Nagy Péter Tibor, Finsler 2-manifolds with maximal holonomy group of infinite dimension, Differential Geometry and its Applications 39: pp. 1-9. (2015) DOI: http://dx.doi.org/10.1016/j.difgeo.2015.01.001 [download]

Muzsnay Zoltán, Nagy Péter Tibor: Holonomy theory of Finsler manifolds, Book chapter, to appear (UNIPA SPRINGER SERIES), 2015. [download]

**2014**

Muzsnay, Z, Nagy, P T (2014). Characterization of projective Finsler manifolds of constant curvature having infinite dimensional holonomy group, *Publ. Math. Debrecen* 84/1-2 (2014), 17–28 DOI: 10.5486/PMD.2014.5803 [download]

Bucataru, I, Muzsnay, Z (2014). Metrizable isotropic second-order differential equations and Hilbert's fourth problem, *Journal of the Aust Math. Soc*., 97, 1, pp 27-47, DOI:dx.doi.org/10.1017/S1446788714000111 [download]

**2013**

Christianson, B (2013). Living in an Impossible World: Real-izing the Consequences of Intransitive Trust. In Special Issue 'Online Security and Civil Rights', Mariarosaria Taddeo (Ed.), *Philosophy & Technology*, 26(3). DOI 10.1007/s13347-013-0128-5. Springer Open Access link. Full-text PDF.

I. Bucataru, Milkovszki, T, Muzsnay, Z. Invariant metrizability and projective metrizability on Lie groups and homogeneous spaces, 2015. [download]

Schilstra, M J, Nehaniv, C L, and Wegner, K (2013). Modelling, Simulating, and Comparing the Dynamic Behaviour of Genetic Regulatory Networks in Different Simulation Modes with NetBuilder', journal preprint.

**2016**

Egon Börger (2016). Modeling Distributed Algorithms by Abstract State Machines Compared to Petri Nets, in *Abstract State Machines,* Alloy, B, TLA, VDM, and Z: 5th International Conference", ABZ 2016, Linz, Austria, May 23-27, Proceedings, pages 3-34. Springer International Publishing, Cham, 2016. [CORE]

Eric Rothstein Morris and Joachim Posegga (2016). Idea: Enforcing Security Properties by Solving Behavioural Equations, Engineering Secure Software and Systems: 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings, pages 260-268, Cham. Springer International Publishing. [CORE]

**2015**

Attila Egri-Nagy and Chrystopher L. Nehaniv (2015). Computational Understanding and Manipulation of Symmetries, in S.K. Chalup et al. (Eds.), Australasian Conference on Artificial Life and Computational Intelligence (ACALCI 2015), *Lecture Notes in Artificial Intelligence,* Vol. 8955, pp. 17-30, Springer Verlag. [Download] [CORE]

Eric Rothstein, A Coinductive System Calculus for Security Properties, ESORICS 2015, PhD Symposium, Vienna. [download] [CORE]

**2014**

den Breems, N and Kulasiri, D (2014). Signaling pathway and gene network regulation of NFkB and cytokine mRNA expression in Mastitis, 9th European Conference on Mathematical and Theoretical Biology, Gothenburg June.[CORE]

Egri-Nagy, A, Mitchell, J, Nehaniv, C (2014). SgpDec: Cascade (De)Compositions of Finite Transformation Semigroups andPermutation Groups, International Congress on Mathematical Software (ICMS 2014), LNCS 8592, Springer Verlag, pp. 75–82.[CORE]

**2013**

Nehaniv, C L, Förster, F, Saunders J, Broz, F, Antonova, E, Kose, H, Lyon, C, Lehmann, H, Sato, Y and Dautenhahn, K (2013). Interaction and Experience in Enactive Intelligence and Humanoid Robotics, Proc. IEEE Symposium on Artificial Life (IEEE ALIFE), IEEE Symposium Series on Computational Intelligence (IEEE SSCI 2013) - Singapore, 15-19 April, 2013, pp 148-155. {Refereed, Invited Keynote Paper for IEEE Symposium Series on Computational Intelligence, 2013] [DOI: 10.1109/ALIFE.2013.6602445]

Dini, P and Nehaniv, C L (2013). Diamond condition for commuting adjacency matrices of directed and undirected graphs. *Proceedings of the International Conference on Internet Science*, Brussels, April 9-11. The FP7 European Network of Excellence in Internet Science, pp. 88-97. [download]

Dini, Paolo and Sartori, Laura (2013). *Science as Social Construction: an Inter-Epistemological Dialogue between Two Internet Scientists on the Inter-Epistemological Structure of Internet Science, Part 1,* *Proceedings of the International Conference on Internet Science*, Brussels, April 9-11. The FP7 European Network of Excellence in Internet Science, pp. 42-51. [download]

Dini, Paolo and Tiropanis, Thanassis (2013). The Evolving Dynamics of the Internet Layered Architecture: Innovation, Net Neutrality and the Interdependence of Structure and Function. *Proceedings of the International Conference on Internet Science*, Brussels, April 9-11. The FP7 European Network of Excellence in Internet Science, pp. 203-208.

**2012**

Dini, P, Nehaniv, C L, Egri-Nagy, A and Schilstra, M J (2012). Algebraic Analysis of the Computation in the Belousov-Zhabotinsky Reaction, Information Processing in Cells and Tissues 2012 Conference, Cambridge, 30 March-1 April. BZ Reaction IPCAT2012 Presentation[CORE]

**2015**

Nehaniv, C L (2015), Coproducts for Permutation Groups, Transformation Semigroups, Automata and Related Categories, London Mathematical Society - Engineering and Physical Sciences Research Councii (LMS-EPSRC) Workshop on Permutation Groups and Transformation Semigroups, Durham University, U.K. 21 July 2015. [video] [slides] [CORE]

Dini, P (2015), An Interdisciplinary Overview of Interaction Computing, Lectures 1 and 2, TRUCE Summer School, Malaga, 1 September. [Lecture 1] [Lecture 2] [CORE]

Ágota Figula: Applications of loops in geometry. Groups and topological groups conference, Salerno, 2015. 11.20-11.21. [download]

Nehaniv, C L (2015), The Flow Semigroup: An Algebraic Invariant for Graphs and Digraphs, and Some Results on Its Structure, Joint Austrian-Hungarian Mathematical Conference (AUSHUN 2015), Győr, Hungary, 2015. 08. 25-27. [download]

Carolin, H (2015), On self-dual binary codes, Joint Austrian-Hungarian Mathematical Conference (AUSHUN 2015), Győr, Hungary, 2015. 08. 25-27. [download]

Ágota Figula: Extensions of groups by weighted Steiner loops. Joint Austrian-Hungarian conference, Győr, 2015.08.25-27. [download]

Ágota Figula: Multiplicative loops of 2-dimensional topological quasifields. Groups and topological groups conference, Dresden, 2015.07.30-08.01.[download]

Ágota Figula: Multiplicative loops of 2-dimensional topological quasifields. Fourth International Conference and Workshop on Lie Groups, Differential Equations and Geometry, Chongqing, 12-18/06/2015.[download]

Zoltán Muzsnay: Finsler 2-manifolds with maximal holonomy group of infinite dimension. 2015 International Conference and Workshop on Lie Groups, Differential Equations and Geometry Chongqing University of Technology, Chongqing, China. June 12-18, 2015. [download]

Z. Muzsnay: Finsler holonomy and metrizability, Workshop on Geometry, February 11, 2015, Debrecen [download]

Carolin, H (2015), Construction of self-dual codes, Discrete Mathematics, Algebra and Their Applications, Minsk, Belarus, 2015.09.14-18 [download]

Milkovszki, T (2015), Invariant metrizability and projective metrizability on Lie groups, 9th international young researchers workshop on geometry, mechanics and control, Zaragoza, Spain, 2015.01.18-01.23. [download]

**2014**

Dini, P (2014). BIOMICS: Biological and Mathematical Basis of Interaction Computing, UCOMP Workshop, UCNC 2014, London, Ontario, July. [CORE]

den Breems, N and Kulasiri, D (2014). Sensitivity and Robustness analysis of Signaling and Gene Network Regulation in Mastitis, poster, Scottish Mathematical Biology Network Meeting, University of Stirling, Stirling, UK. (http://www.maths.stir.ac.uk/~ak/network2014/), 28^{th} May. [CORE]

Horváth, G (2014). Algebra in the service of analysis; 87th Arbeitstagung Allgemeine Algebra (AAA87), Linz, Austria, February. [download]

Horváth, G, (2014). Some new results on the equivalence problem; Summer School on General Algebra and Ordered Sets, Stará Lesná, Szlováki, September. [download]

Muzsnay, Z (2014). Invariant metrizability and projective metrizability on Lie groups, X-th International Conference, Finsler Extensions of Relativity Theory, Brasov, Romania, August 18-23. [download]

Figula, Á (2014). Sections in compact Lie groups , Groups and topological groups Conference, Istanbul, 17-18 January. [download]

Figula, Á (2014). 3-dimensional topological loops with nilpotent multiplication group, Groups and topological groups conference, Palermo, June 27-28. [download]

Figula, Á (2014). Multiplicative loops of 2-dimensional topological quasifields, The 2nd International Conference and Workshop on Lie Groups, Differential Equations and Geometry, Palermo, June 30 to July 5. [download]

Földvári, A (2014). The equivalence and equation solvability problems over some finite groups, 87th Arbeitstagung Allgemeine Algebra (AAA87), Linz, Austria, 8 February. [download]

C. Hannusch (2014), Visible codes in the radical of modular group algebras, Third Conference of PhD Students in Mathematics, 30 June-2 July, Szeged, Hungary. [download]

**2013**

Figula, Á (2013). Lie groups as multiplication groups of topological loops, *Proc. of the International Conference Lie Groups, Differential Equations and Geometry*, Batumi, Georgia, 10-22 June, Georgian Technical University, pp. 96-103. [download]

Halasi, Z (2013). On the minimal base size for coprime linear groups, 2^{nd} Biennial International Group Theory Conference, Istanbul, February 04-08. [download]

Muzsnay, Z (2013). The holonomy of projectively flat Finsler manifolds of constant curvature, Colloquium on Differential Geometry and its Applications and IX-th International Conference on Finsler Extensions of Relativity Theory August 26 - 30, Debrecen, Hungary. [download]

Földvári, A (2013). Complexity of Equation Solvability over Semipattern Groups (in Hungarian), National Scientific Meeting (7th PhD Conference), Budapest, 11th October. [download]

**2012**

Muzsnay, Z (2012). Finsler manifolds with maximal holonomy group of infinite dimension, 47^{th} Symposium on Finsler Geometry, November 23-25, Kagoshima University, Japan.

Horváth, G (2013). 1^{st} Heidelberg Laureate Forum, 21-28 September, Heidelberg, Germany. Attendance by invitation only based on publication list and CV. At this conference only Abel prize winners, Turing prize winners, Fields medalists, and Nevanlinna prize winners gave talks.

*These are papers, presentations, and talks that are project-specific. For example, many of these have been presented at our Summer Workshops. Any proceedings generated here have not been refereed.*

**3rd BIOMICS Workshop: 8-10th February 2016, University of Passau, Germany. [CORE]**

Papers presented:

Dini, P and Munro, A, BIOMICS and Physics & Biology

Horváth, G, BIOMICS and Mathematics

Nehaniv, C L, BIOMICS and Automata

Schreckling, D, BIOMICS and Specifications

Dini, P and Munro, A, Equilibrium, the Balance of natural Fallacy, and Dynamical Stability

Dini, P, Bonivárt, Á and Nehaniv, C L, Dynamical Stability, Hamilton-Jacobi Theory and the Quasi-Potential

Konkoli, Z, On Modelling Stochastic Reaction Kinetics: The XARNES Method

Milkovszki, T Lie Symmetry Analysis of the Equation u''=f_0(u)+f_1(u)u'[download]

Muzsnay, Z, Holonomy distribution and degree of metrizability of a SODE [download]

Figula, Á, How can we find ordinary differential equations having a given symmetry group? [download]

Horváth, G, (Podosky, K), The Maximal Defect $k$-Subgroups of Semigroups of Graphs and Digraphs [download]

Karimi, F and Nehaniv, C L, Coupling as Colimit

Börger, E, How to Avoid Petri Net Ideosyncrasies When Modeling Computational Systems

Rothstein Morris, E and Schreckling, D, BSL: aCoreASM Modification for the BIOMICS Project

Schreckling, D, Rothstein Morris, E and Nehaniv, C L, LIFE: Load Balancing Inspired by Filament Structures

**2nd BIOMICS Summer Workshop: 18-20th June 2014, University of St Andrews, Scotland. [CORE]**

Papers presented:

Dini P, and Bonivárt, Á, Modelling the Dynamical Stability of Tyson et al.'s Case 2a. [download]

Karimi F, and Nehaniv, C, Categories of Digraphs and Automata. [download]

Nehaniv, C., Functorial Relations between Categories of Mathematical Objects arising in Systems Biology. [download]

Egri-Nagy A and Nehaniv, C. Hierarchical Decompositions: An Intuitive Approach. [download]

Breems N, and Alastair Munro, A. On The Application Of Lie Groups To Biological Problems: A Systematic Review.

Dini, P, Rothstein, E, Schreckling, D, Nehaniv C and Egri-Nagy, A. Algebraic Analysis of Automata Derived from Petri Nets. [download]

Schreckling, D, and Rothstein, E. A Coalgebraic Perspective on Abstract State Machines. [download]

Rothstein E. Challenges in Enforcing Behaviours on Systems. [download]

Börger, E Abstract State Machines Tutorial: Trying to discover what ASMs can do for BIOMICS

Gselmann, E, The Global Version of the Rectification Theorem. [download]

Muzsnay, Z, Linearised Symmetry Condition for Systems of Second Order ODEs. [download]

Halasi, Z, Classification of Simple Lie Algebras. [download]

Podoski, K, On the Structure of the Chevalley Groups. [download]

**1st BIOMICS Summer Workshop: 17-19 July 2013, University of Debrecen, Hungary [CORE]**

Papers presented:

Nicoline Den Breems, Systems Biology: Computing, Mathematics and Biology

Kyriakos Christodoulides, Symmetry Analysis of Ordinary Differential Equations and Applications [download]

Paolo Dini, Lie Group Analysis of Two Biochemical Pathway Modules

Gábor Horváth and Zoltán Muzsnay, Linearised Symmetry Condition for Systems of ODEs [download]

Karoly Podoski, Classification of Semisimple Lie-Algebras [download]

Ágota Figula, Octonions [download]

Zoltán Halasi, Groups Associated to Simple Lie Algebras [download]

Chrystopher L. Nehaniv, Maria Schilstra, Nicoline den Breems, Alastair Munro and Daniel Schreckling, What Functors and Categories are Suitable for Relating Mathematical and Biological Models?

Chrystopher L. Nehaniv, John Rhodes, Attila Egri-Nagy, Paolo Dini, and Maria J. Schilstra, Algebra and Symmetry Structure in Discrete Models of Biochemical and Biological Systems: Natural Subsystems, Permutation Groups, and the Weak Control Hierarchy

Eric Rothstein, TECtonIc: Tick-Enforceable Control-Flow Integrity for Web-Applications

Eric Rothstein, Paolo Dini, Chrystopher L. Nehaniv and Daniel Schreckling, Holonomy Decomposition of the N-Queens Problem

*The presentations and papers listed here refer to events that are external to the BIOMICS project but that are not full-fledged conferences. For example, when one of us is invited to give a talk at a university we are visiting, such a talk would be listed here.*

**2015**

Horváth, G, (2015) Complexity of solving equations in finite algebras; Research Seminar, Department of Algebra, Johannes Kepler University, Linz, Austria, July 2015 [download]

Zoltán Muzsnay: About the holonomy and the curvature of Finsler manifolds , Analysis Research Seminar, UD, Debrecen, Hungary, March 25, 2015, [download]

Zoltán Muzsnay: About the holonomy of Finsler manifolds, Eötvös Loránd University, Hajós Seminar, Budapest, 2015.04.16 [download]

**2014**

Dini, P, (2014). An Algebraic Form of Emergence: Interaction Computing for Software Synthesis, Centre for Complexity Science, University of Warwick, 15 January. [download] [CORE]

Horváth, G, (2014). Some Examples on How Algebra Can Relate to Other Areas of Mathematics and Computer Science; Computer Science Research Colloquium, University of Hertfordshire, Hatfield, United Kingdom, January.[download] [CORE]

Muzsnay, Z, (2014). About the holonomy of Finsler spaces, Bolyai Institute, Kerékjártó Seminar of Geometry, University of Szeged, Szeged, Hungary, 4 Oct. [download]

Horváth, G (2014). Polynomial time algorithms for deciding equivalence and equation solvability (in Hungarian); Rényi Research Institute of Hungarian Academy of Sciences, Budapest, Hungary, May. [download]

Muzsnay, Z (2014). The inverse problem of the calculus of variations, Rhodes University, Grahamstown, South Africa, 17 January.

Muzsnay, Z (2014). The metrizability and projective metrizability of the canonicas SODE of Lie Groups, Rhodes University, Grahamstown, South Africa, 24 January.

Figula, Á (2014). Loops as sections in compact Lie groups, Seminar of the Institute of Mathematics, Kutaisi Akaki Tsereteli State University, Georgia, 21 January. [download]

**2013**

Dini, P (2013). Holonomy Decomposition of the N-Queens Puzzle, University of Hertfordshire Computer Science Research Colloquium, 16 October. Download Presentation [CORE]

Muzsnay, Z (2013). Invariant metrizability and projective metrizability on Lie groups, University Alexandru Ioan Cuza, Iasi, Romania, 29 November. [download]

Dini, P (2013). Attendance at Royal Society Heterotic Computing Conference, 6-8 November.

Muzsnay, Z (2013). Characterization of projectively flat Finsler manifolds of constant curvature with finite dimensional holonomy group, Hiroshima University, Japan, 7 June.

Muzsnay, Z (2013). About the holonomy of Finsler manifolds, Tokai University, Sapporo, Japan, 12 June.

Rothstein, E. Towards the Interactive Implementation of Behavioural Specifications, UCOMP/TRUCE Summer School, Malaga, Spain, 1-12 September 2014. [CORE]

Cossey, J.P, Halasi, Z, Maróti, A, Nguyen H.N. and Podoski, K. Base sizes, large orbits, and large character degrees of linear groups, Ischia Group Theory 2014, Grand Hotel delle Terme Re Ferdinando, Ischia (Naples, Italy), 1-5 April. [download]

Figula, Á. Multiplicative loops of 2-dimensional topological quasifelds, Ischia Group Theory 2014, Grand Hotel delle Terme Re Ferdinando, Ischia (Naples, Italy), 1-5 April. [download]

Figula, Á (2013). Nilpotent and quasi-simple Lie groups as multiplication groups of topological loops, Colloquium on Differential Geometry and its Applications and IX-th International Conference Finsler Extensions of Relativity Theory, Debrecen, 26-30 August. [download]

Jones, G, EEG Microstates in Mediators. Supervisors: Elena Antonova (Institute of Psychiatry, King's College London), Judith Nottage (Institute of Psychiatry, King's College London), Chrystopher L. Nehaniv (The Wolfson / Royal Society Biocomputation Research Laboratory, University of Hertfordhsire). This thesis uses automata-theoretic methods including epsilon-machines and causal-state automata reconstruction to derive significant results in neuroscience (In addition C. L. Nehaniv has done holonomy decomposition on the automata.) BIOMICS supported Prof Nehaniv’s participation in the research supervision meetings.

Egri-Nagy, A. Nehaniv, C. L. (2015), Computational Holonomy Decomposition for Transformation Semigroups. http://arxiv.org/abs/1508.06345 [CORE]

Egri-Nagy, A, Nehaniv, C. L. (2014), Green's J-classes and Subduction Classes in Finite Transformation Semigroups. http://arxiv.org/abs/1401.4224 [CORE]

Egri-Nagy, A, and Nehaniv, C L. (2013). Compact Notation for Finite Transformations, http://arxiv.org/abs/1306.1138 [CORE]

Egri-Nagy, A and Nehaniv C L. (2013) Cascade Product of Permutation Groups. This paper can be found on ArXiv at http://arxiv.org/abs/1303.0091 [CORE] Abstract: Motivated by computational issues in algebraic automata theory here we define the cascade product of permutation groups as an external product, as a generic extension. It is the most general hierarchical product since it uses arbitrary total functions to combine a linearly ordered set of permutation groups. In other words, cascade products are explicitly constructed substructures of the iterated wreath product. We show how direct, semidirect and wreath products can be described as cascade products and we also discuss examples of composite groups that can only be constructed exactly as generic extensions by cascade products.

Dini, P and Nehaniv, C L (2013). Notes on the Eigenvalues of Interdependent Networks, University of Hertfordshire Technical Report.

2013 GAP-SEMIGROUPS-SGPDEC (rainy) Summer Code Camp [CORE]

Interview with Gábor Horváth for Debrecen local radio station Friss Radio FM90, http://www.frissradio.hu/ broadcast on July 17th on Egyetem tér' (University square) at 6:20pm regarding the BIOMICS project. Note the interview is in Hungarian. This is an English Transcription [CORE]