Sun Meng

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Connectors as designs
 
j=' ' a=' ' j#=6 a#=6
2017-05-19Paper
Hybrid Atanassov intuitionistic fuzzy Bonferroni means for multi-criteria aggregation
Journal of Intelligent and Fuzzy Systems
j='Journal of Intelligent and Fuzzy Systems' a=' ' j#=40 a#=6
2016-06-17Paper
A coalgebraic semantic framework for component-based development in UML
 
j=' ' a=' ' j#=6 a#=6
2013-09-20Paper
A calculus for generic, QoS-aware component composition
Mathematics in Computer Science
j='Mathematics in Computer Science' a=' ' j#=31 a#=6
2013-04-25Paper
Connectors as designs: modeling, refinement and test case generation
Science of Computer Programming
j='Science of Computer Programming' a=' ' j#=31 a#=6
2012-07-13Paper
Synthesis of Reo circuits from scenario-based interaction specifications
Science of Computer Programming
j='Science of Computer Programming' a=' ' j#=31 a#=6
2011-06-07Paper
QoS-driven service selection and composition using quantitative constraint automata
Fundamenta Informaticae
j='Fundamenta Informaticae' a=' ' j#=23 a#=6
2010-02-05Paper
On Resource-Sensitive Timed Component Connectors
Lecture Notes in Computer Science
j='Lecture Notes in Computer Science' a=' ' j#=33 a#=6
2007-11-28Paper
Theoretical Aspects of Computing – ICTAC 2005
Lecture Notes in Computer Science
j='Lecture Notes in Computer Science' a=' ' j#=33 a#=6
2006-11-01Paper
Components as coalgebras: the refinement dimension
Theoretical Computer Science
j='Theoretical Computer Science' a=' ' j#=28 a#=6
2006-04-06Paper
Algebraic Methodology and Software Technology
Lecture Notes in Computer Science
j='Lecture Notes in Computer Science' a=' ' j#=33 a#=6
2005-08-25Paper


Research outcomes over time


This page was built for person: Sun Meng