Mathias Kleiner
Mathias Kleiner
Verified email at
Cited by
Cited by
Configuration based workflow composition
P Albert, L Henocque, M Kleiner
IEEE International Conference on Web Services (ICWS'05), 285-292, 2005
Parsing SBVR-based controlled languages
M Kleiner, P Albert, J Bézivin
Model Driven Engineering Languages and Systems: 12th International …, 2009
Performance evaluation of collaboration in the design process: Using interoperability measurement
AP Neghab, A Etienne, M Kleiner, L Roucoules
Computers in Industry 72, 14-26, 2015
Model-based (mechanical) product design
M Iraqi-Houssaini, M Kleiner, L Roucoules
Model Driven Engineering Languages and Systems: 14th International …, 2011
Model search: Formalizing and automating constraint solving in MDE platforms
M Kleiner, MD Del Fabro, P Albert
Modelling Foundations and Applications: 6th European Conference, ECMFA 2010 …, 2010
Tools Interoperability in Engineering Design Using Model-Based Engineering
MI Houssaini, M Kleiner, L Roucoules
ASME 2012 11th Biennial Conference on Engineering Systems Design and …, 2012
Model-Based Interoperability IoT Hub for the Supervision of Smart Gas Distribution Networks
A Ahmed, M Kleiner, L Roucoules
IEEE Systems Journal 13 (2), 1526-1533, 2018
Over-constraints detection and resolution in geometric equation systems
H Hu, M Kleiner, JP Pernot
Computer-Aided Design 90, 84-94, 2017
Transformation as search
M Kleiner, M Didonet Del Fabro, D De Queiroz Santos
Modelling Foundations and Applications: 9th European Conference, ECMFA 2013 …, 2013
Advances in polytime isomorph elimination for configuration
L Hénocque, M Kleiner, N Prcovic
Principles and Practice of Constraint Programming-CP 2005, 301-313, 2005
Geometric over-constraints detection: a survey
H Hu, M Kleiner, JP Pernot, C Zhang, Y Huang, Q Zhao, S Yeung
Archives of Computational Methods in Engineering 28 (7), 4331-4355, 2021
3-Level behavioural models for semantic web services
B Norton, C Pedrinaci, L Henocque, M Kleiner
International Transactions on Systems Science and Applications, 340-355, 2008
An end-to-end configuration-based framework for automatic sws composition
P Albert, L Henocque, M Kleiner
Tools with Artificial Intelligence, 2008. ICTAI'08. 20th IEEE International …, 2008
Configuring models for (controlled) languages
M Kleiner, P Albert, J Bézivin
Proceedings of the IJCAI-09 Workshop on Configuration (ConfWS-09), Pacadena …, 2009
Model-based interoperability solutions for the supervision of smart gas distribution networks
A Ahmed, M Kleiner, L Roucoules, R Gaudy, B Larat
2016 11th System of Systems Engineering Conference (SoSE), 1-5, 2016
A generic approach to model generation operations
M Kleiner, MD Del Fabro
Journal of Systems and Software 142, 136-155, 2018
Ant colony optimization for configuration
P Albert, L Henocque, M Kleiner
2008 20th IEEE International Conference on Tools with Artificial …, 2008
Contribution to the use of Constraint Programming for Finite Model Search in Artificial Intelligence
I Artificielle, M KLEINER
Une procedure generale d’elimination d’isomorphismes pour les problemes de configuration
L Henocque, M Kleiner, N Prcovic
Journées Francophones de Programmation par Contraintes, 335-344, 2005
Project and Problem Based Learning for Students and Teachers Involvement in a Multidisciplinary Engineering Project
C Pédarriosse, L Roucoules, F Huet, E Yahia, A Polette, M Kleiner
Advances on Mechanics, Design Engineering and Manufacturing IV: Proceedings …, 2022
The system can't perform the operation now. Try again later.
Articles 1–20