(copie 1)

Back

COUCEIRO Miguel

PDF

Other activities and responsibilities

Docent in Mathematics, University of Tampere. Docent in Discrete Mathematics, Tampere University of Technology.

Former positions

Assistant-chercheur, Unité de recherche en Mathématiques, Université du Luxembourg (2007-2012).

Chercheur, Département de Mathématique, Statistique
et Philosophie, Université de 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.

Fields of teaching, research and professionnal competence

Fields of teaching

  • Analyse des données
  • Analyse et fouille de données


Publications 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.

Curricula Vitae de Profesores-Investigadores