- Dauphine Home >
- Faculty & Staff >
- Faculty & Researcher profiles
COUCEIRO Miguel
Other activities and responsibilities
Docent in Mathematics, University of Tampere. Docent in Discrete Mathematics, Tampere University of Technology.
Former positions
Researcher, Mathematics Research Unit, University of Luxembourg (2007-2012).
Researcher, Department of Mathematics, Statistics
and Philosophy, University of Tampere (2003-2006).
Education and qualification
Ph.D.
Mathématiques (2006 - Tampere)Master (Search) specialty : Mathematiques (2002 - Tampere)
Awards
Best Master's Thesis in Mathematics 2002, Department of Mathematics, Statistics and Philosophy, University of Tampere.
Sampo-Varma Prize 2003, Finnish. Mathematical Society
Publications of COUCEIRO Miguel
2013
Articles
- Waldhauser, Tamás ; Couceiro, Miguel . Interpolation by polynomial functions of distributive lattices: a generalization of a theorem of R. L. Goodstein. Algebra Universalis. Volume 69. n° 3. 2013. pages 287-299. Springer. DOI http://dx.doi.org/10.1007/s00012-013-0231-6.
- Grabisch, Michel ; Couceiro, Miguel . On the poset of computation rules for nonassociative calculus. Order. Volume 30. n° 1. 2013. pages 269-288. Springer. DOI http://dx.doi.org/10.1007/s11083-011-9243-z.
2012
Articles
- Marichal, Jean-Luc ; Couceiro, Miguel . Aczélian n-ary semigroups. Semigroup Forum. Volume 85. n° 1. 2012. pages 81-90. Springer. DOI http://dx.doi.org/10.1007/s00233-011-9354-2.
- Szendrei, Ágnes ; Kearnes, Keith A. ; Behrisch, Mike ; Lehtonen, Erkko ; Couceiro, Miguel . Commuting polynomial operations of distributive lattices. Order. Volume 29. n° 2. 2012. pages 245-269. Springer. DOI http://dx.doi.org/10.1007/s11083-011-9231-3.
- Lehtonen, Erkko ; Couceiro, Miguel . On the arity gap of finite functions: results and applications. Journal of Multiple-Valued Logic and Soft Computing. 2012. Old City Publishing.
- Waldhauser, Tamás ; Lehtonen, Erkko ; Couceiro, Miguel . On equational definability of function classes. Journal of Multiple-Valued Logic and Soft Computing. 2012. Old City Publishing.
- Marichal, Jean-Luc ; Couceiro, Miguel . Axiomatizations of Lovász extensions of pseudo-Boolean functions. Fuzzy Sets and Systems. Volume 181. n° 1. 2011. pages 28–38. Elsevier. DOI http://dx.doi.org/10.1016/j.fss.2011.05.006.
- Waldhauser, Tamás ; Lehtonen, Erkko ; Couceiro, Miguel . Decompositions of functions based on arity gap. Discrete Mathematics. Volume 312. n° 2. 2012. pages 238-247. Elsevier. DOI http://dx.doi.org/10.1016/j.disc.2011.08.028.
- Waldhauser, Tamás ; Lehtonen, Erkko ; Couceiro, Miguel . The arity gap of order-preserving functions and extensions of pseudo-Boolean functions. Discrete Applied Mathematics. Volume 160. n° 4-5. 2012. pages 383-390. Elsevier. DOI http://dx.doi.org/10.1016/j.dam.2011.07.024.
- Waldhauser, Tamás ; Lehtonen, Erkko ; Couceiro, Miguel . On the arity gap of polynomial functions. Acta Scientiarum Mathematicarum (Szeged). 2012. University of Szeged.
- Haddad, Lucien ; Couceiro, Miguel . Intersections of finitely generated maximal partial clones. Journal of Multiple-Valued Logic and Soft Computing. Volume 19. n° 1-3. 2012. pages 85-94. Old City Publishing.
- Waldhauser, Tamás ; Lehtonen, Erkko ; Couceiro, Miguel . A survey on the arity gap. Journal of Multiple-Valued Logic and Soft Computing. 2012. Old City Publishing.
- Waldhauser, Tamás ; Lehtonen, Erkko ; Couceiro, Miguel . Parametrized arity gap. Order. 2012. Springer. DOI http://dx.doi.org/10.1007/s11083-012-9261-5.
- Waldhauser, Tamás ; Couceiro, Miguel . Pseudo-polynomial functions over finite distributive lattices. Fuzzy Sets and Systems. 2012. Elsevier. DOI http://dx.doi.org/10.1016/j.fss.2012.09.007.
- Lehtonen, Erkko ; Couceiro, Miguel . Galois theory for sets of operations closed under permutation, cylindrification and composition. Algebra Universalis. Volume 67. n° 3. 2012. pages 273-297. Springer. DOI http://dx.doi.org/10.1007/s00012-012-0184-1.
- Marichal, Jean-Luc ; Couceiro, Miguel . Polynomial functions over bounded distributive lattices. Journal of Multiple-Valued Logic and Soft Computing. Volume 18. n° 3-4. 2012. pages 247-256. Old City Publishing.
- Waldhauser, Tamás ; Marichal, Jean-Luc ; Couceiro, Miguel . Locally monotone Boolean and pseudo-Boolean functions. Discrete Applied Mathematics. Volume 160. n° 12. 2012. pages 1651-1660. Elsevier. DOI http://dx.doi.org/10.1016/j.dam.2012.03.006.
Book chapters
- Cardin, Marta ; Couceiro, Miguel . An ordinal approach to risk measurement. Perna, Cira; Sibillo, Marilena. Mathematical and Statistical Methods for Actuarial Sciences and Finance. Berlin. 2012. pages 79-86.
Conference Contributions
- Mayag, Brice ; Marichal, Jean-Luc ; Labreuche, Christophe ; Couceiro, Miguel ; Bouyssou, Denis . Using Choquet integral in Machine learning: What can MCDA bring?. DA2PL 2012. Mons. Belgique. 2012.
- Waldhauser, Tamás ; Rico, Agnès ; Prade, Henri ; Dubois, Didier ; Couceiro, Miguel . General Interpolation by Polynomial Functions of Distributive Lattices. IPMU 2012. Catanes. Italie. 2012.
- Haddad, Lucien ; Couceiro, Miguel . A Survey on Intersections of Maximal Partial Clones of Boolean Partial Functions. IEEE 42nd International Symposium on Multiple-Valued Logic (ISMVL2012). Washington. Canada. 2012.
- Waldhauser, Tamás ; Lehtonen, Erkko ; Couceiro, Miguel . GAP vs. PAG. IEEE 42nd International Symposium on Multiple-Valued Logic (ISMVL2012). Victoria. Canada. 2012.
- Marichal, Jean-Luc ; Couceiro, Miguel . Quasi-Lovasz extensions and their symmetric counterparts. Advances in Computational Intelligence. 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012, Proceedings, Part IV. Berlin. Italie. 2012.
- Waldhauser, Tamás ; Rico, Agnés ; Prade, Henri ; Dubois, Didier ; Couceiro, Miguel . General interpolation by polynomial functions of distributive lattices. Communications in Computer and Information Science. Catane. Italie. 2012.
- Waldhauser, Tamás ; Marichal, Jean-Luc ; Couceiro, Miguel . Hierarchies of local monotonicities and lattice derivatives for Boolean and pseudo-Boolean functions. IEEE 42nd International Symposium on Multiple-Valued Logic (ISMVL2012). Washington. Canada. 2012.
- Dubois, Didier ; Prade, Henri ; Waldhauser, Tamás ; Couceiro, Miguel . Decision making with Sugeno integrals: DMU vs. MCDM. ECAI 2012 - 20th European Conference on Artificial Intelligence, 27–31 August 2012, Montpellier, France. Montpellier. France. 2012.
2011
Articles
- Marichal, Jean-Luc ; Couceiro, Miguel . Axiomatizations of quasi-Lovász extensions of pseudo-Boolean functions. Aequationes Mathematicae. Volume 82. n° 3. 2011. pages 213-231. Springer. DOI http://dx.doi.org/10.1007/s00010-011-0091-0.
- Waldhauser, Tamás ; Couceiro, Miguel . Axiomatizations and factorizations of Sugeno Utility Functions. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems. Volume 19. n° 4. 2011. pages 635-658. World Scientific. DOI http://dx.doi.org/10.1142/S0218488511007167.
- Giove, Silvio ; Marichal, Jean-Luc ; Cardin, Marta ; Couceiro, Miguel . Axiomatizations of signed discrete Choquet integrals. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems. Volume 19. n° 2. 2011. pages 193-200. World Scientific. DOI http://dx.doi.org/10.1142/S0218488511006964.
- Marichal, Jean-Luc ; Couceiro, Miguel . Associative polynomial functions over bounded distributive lattices. Order. Volume 28. n° 1. 2011. pages 1-8. Springer. DOI http://dx.doi.org/10.1007/s11083-010-9150-8.
- Lehtonen, Erkko ; Couceiro, Miguel . Self-commuting lattice polynomial functions on chains. Aequationes Mathematicae. Volume 81. n° 3. 2011. pages 263-278. Springer. DOI http://dx.doi.org/10.1007/s00010-010-0058-6.
- Cardin, Marta ; Couceiro, Miguel . Invariant functionals on completely distributive lattices. Fuzzy Sets and Systems. Volume 167. n° 1. 2011. pages 45-56. Elsevier. DOI http://dx.doi.org/10.1016/j.fss.2010.03.018.
Conference Contributions
- Waldhauser, Tamás ; Couceiro, Miguel . Pseudo-polynomial functions over finite distributive lattices. ECSQARU 2011. Belfast. Royaume-Uni. 2011.
- Marichal, Jean-Luc ; Couceiro, Miguel . Axiomatizations of the discrete Choquet integral and extensions. EUSFLAT/LFA 2011. Aix les Bains. France. 2011.
- Waldhauser, Tamás ; Marichal, Jean-Luc ; Lehtonen, Erkko ; Couceiro, Miguel . An algorithm for producing median normal form representations for Boolean functions. Reed–Muller 2011 Workshop. Tuusula. Finlande. 2011.
- Lehtonen, Erkko ; Couceiro, Miguel . The arity gap of polynomial functions over bounded distributive lattices. 40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010, Barcelona, Spain, 26-28 May 2010. Barcelone. Espagne. 2010.
2010
Articles
- Marichal, Jean-Luc ; Couceiro, Miguel . Quasi-polynomial functions over bounded distributive lattices. Aequationes Mathematicae. Volume 80. n° 3. 2010. pages 319-334. Springer. DOI http://dx.doi.org/10.1007/s00010-010-0039-9.
- Bouaziz, Moncef ; Pouzet, Maurice ; Couceiro, Miguel . Join-irreducible Boolean functions. Order. Volume 27. n° 3. 2010. pages 261-282. Springer. DOI http://dx.doi.org/10.1007/s11083-010-9175-z.
- Marichal, Jean-Luc ; Couceiro, Miguel . Characterizations of discrete Sugeno integrals as polynomial functions over distributive lattices. Fuzzy Sets and Systems. Volume 161. n° 5. 2010. pages 694-707. Elsevier. DOI http://dx.doi.org/10.1016/j.fss.2009.10.008.
- Marichal, Jean-Luc ; Couceiro, Miguel . Representations and characterizations of polynomial functions on chains. Journal of Multiple-Valued Logic and Soft Computing. Volume 16. n° 1-2. 2010. pages 65-86. Old City Publishing.
Conference Contributions
- Couceiro, Miguel ; Waldhauser, Tamás . Sugeno Utility Functions I: Axiomatizations. Modeling Decisions for Artificial Intelligence - 7th International Conference (MDAI2010). Perpignan. France. 2010.
- Lehtonen, Erkko ; Couceiro, Miguel . Explicit descriptions of bisymmetric Sugeno integrals. Lecture Notes in Computer Sciences. Dortmund. Allemagne. 2010.
- Marichal, Jean-Luc ; Couceiro, Miguel . Explicit descriptions of associative Sugeno integrals. Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods. 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part I. Dortmund. Allemagne. 2010.
- Haddad, Lucien ; Couceiro, Miguel . Finitely generated maximal partial clones and their intersections. 40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010, Barcelona, Spain, 26-28 May 2010. Washington. Espagne. 2010.
- Waldhauser, Tamás ; Couceiro, Miguel . Sugeno Utility Functions II: Factorizations. Modeling Decisions for Artificial Intelligence - 7th International Conference (MDAI2010). Perpignan. France. 2010.
- Lehtonen, Erkko ; Couceiro, Miguel . Classes of operations closed under permutation, cylindrification and composition. 40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010, Barcelona, Spain, 26-28 May 2010. Barcelone. Espagne. 2010.
2009
Articles
- Lehtonen, Erkko ; Couceiro, Miguel . Generalizations of Swierczkowski’s lemma and the arity gap of finite functions. Discrete Mathematics. Volume 309. n° 20. 2009. pages 5905-5912. Elsevier. DOI http://dx.doi.org/10.1016/j.disc.2009.04.009.
- Foldes, Stephan ; Couceiro, Miguel . Function classes and relational constraints stable under compositions with clones,. Discussiones Mathematicae, General Algebra and Applications. Volume 29. 2009. pages 109-121. University of Zielona Gora (Pologne).
- Marichal, Jean-Luc ; Couceiro, Miguel . Axiomatizations of quasi-polynomial functions on bounded chains. Aequationes Mathematicae. Volume 78. n° 1-2. 2009. pages 195-213. Springer. DOI http://dx.doi.org/10.1007/s00010-009-2969-7.
Conference Contributions
- Marichal, Jean-Luc ; Couceiro, Miguel . Polynomial functions on bounded chains. Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference, Lisbon, Portugal, July 20-24, 2009.. Lisbonne. Portugal. 2009.
- Marichal, Jean-Luc ; Couceiro, Miguel . Quasi-polynomial functions on bounded chains. Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference, Lisbon, Portugal, July 20-24, 2009.. Lisbonne. Portugal. 2009.
- Marichal, Jean-Luc ; Couceiro, Miguel . From Discrete Sugeno integrals to generalized lattice polynomial functions: axiomatizations and representations. 5th International Summer School on Aggregation Operators (AGOP 2009). Palma de Mallorca. Espagne. 2009.
2008
Articles
- Bouaziz, Moncef ; Pouzet, Maurice ; Couceiro, Miguel . Join-irreducible Boolean functions. Order. Volume 27. n° 3. 2010. pages 261-282. Springer. DOI http://dx.doi.org/10.1007/s11083-010-9175-z.
- Pouzet, Maurice ; Couceiro, Miguel . On a quasi-ordering on Boolean functions. Theoretical Computer Science. Volume 396. n° 1-3. 2008. pages 71–87. Elsevier. DOI http://dx.doi.org/10.1016/j.tcs.2008.01.025.
- Kivelä, Jari ; Hella, Lauri ; Couceiro, Miguel . Term definable classes of Boolean functions and frame definability in modal logic. Logic Journal of the IGPL. Volume 16. n° 1. 2008. pages 43-73. Oxford University Press. DOI http://dx.doi.org/10.1093/jigpal/jzm018.
- Couceiro, Miguel . On the lattice of equational classes of Boolean functions and its closed intervals. Journal of Multiple-Valued Logic and Soft Computing. Volume 14. n° 1-2. 2008. pages 81-104. Old City Publishing.
Conference Contributions
- Lehtonen, Erkko ; Couceiro, Miguel ; Couceiro, Miguel . On the arity gap of finite functions: results and applications. Actes de la Conference internationale sur les Relations, Ordres et Graphes: Interaction avec l'Informatique ROGICS’08. Mahdia. Tunisie. 2008.
2007
Articles
- Lehtonen, Erkko ; Couceiro, Miguel . On the effect of variable indentification on the essential arity of functions. International Journal of Foundations of Computer Science. Volume 18. n° 5. 2007. World Scientific. DOI http://dx.doi.org/10.1142/S012905410700508X.
- Foldes, Stephan ; Couceiro, Miguel . Functional equations, constraints, definability of function classes, and functions of Boolean variables. Acta Cybernetica. Volume 18. n° 1. 2007. pages 61-75. Acta Cybernetica Szeged.
2006
Articles
- Couceiro, Miguel . On Galois connections between external functions and relational constraints: arity restrictions and operator decompositions. Acta Scientiarum Mathematicarum (Szeged). Volume 72. 2006. pages 15-35. Universitatis Szegediensis.
- Lehtonen, Erkko ; Foldes, Stephan ; Couceiro, Miguel . Composition of Post classes and normal forms of Boolean functions. Discrete Mathematics. Volume 306. n° 24. 2006. pages 3223-3243. Elsevier. DOI http://dx.doi.org/10.1016/j.disc.2006.06.014.
Conference Contributions
- Pouzet, Maurice ; Couceiro, Miguel . Equational definability and a quasi-order on Boolean functions. Second International Workshop on Boolean Functions: Cryptography and Applications (BFCA’ 06). Rouen. France. 2006.
2005
Articles
- Foldes, Stephan ; Couceiro, Miguel . On closed sets of relational constraints and classes of functions closed under variable substitutions. Algebra Universalis. Volume 54. 2005. pages 149-165. Springer. DOI http://dx.doi.org/10.1007/s00012-005-1933-1.
Conference Contributions
- Foldes, Stephan ; Lehtonen, Erkko ; Couceiro, Miguel . On the complexity of representing sets of vertices in the n-cube. International Conference of Numerical Analysis and Applied Mathematics (ICNAAM 2005). Rhodes. Grèce. 2005.
- Couceiro, Miguel . Galois connections for generalized functions and relational constraints. Contributions to general algebra 16 : proceedings of the 68th Workshop on General Algebra. Dresden. Allemagne. 2005.
2004
Articles
- Foldes, Stephan ; Couceiro, Miguel . Definability of Boolean function classes by linear equations over GF(2). Discrete Applied Mathematics. Volume 142. n° 1-3. 2004. pages 29-34. Elsevier. DOI http://dx.doi.org/10.1016/j.dam.2003.09.002.
Conference Contributions
- Foldes, Stephan ; Lehtonen, Erkko ; Couceiro, Miguel . On compositions of clones of Boolean functions. International Conference of Computational Methods in Sciences and Engineering 2004 (ICCMSE 2004). Leiden. Grèce. 2004.





