Marten van Sinderen - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged composition

Model-Driven Development of Service Compositions for Enterprise InteroperabilityRavi Khadka, Brahmananda Sapkota, Luis Ferreira Pires, Marten van Sinderen, Slinger Jansen. In Enterprise Interoperability. Volume 76 of LNBIP, pages 177-190, Springer, 2011.

On the Natural Hierarchical Composition of Cliques in Cell AssembliesThomas Wennekers. cogcom, 1(2):128-138, 2009. [doi]

Goal-Oriented Composition of ServicesSebastian Nanz, Terkel K. Tolstrup. SC 2008: 109-124 [doi]

Monad compositions II: Kleisli strengthErnie Manes, Philip S. Mulry. mscs, 18(3):613-643, 2008. [doi]

Volumetric Assessment of Breast Tissue Composition from FFDM ImagesKeith Hartman, Ralph Highnam, Ruth Warren, Valerie Jackson. mammo 2008: 33-39 [doi]

Contrôle du flux d information dans une composition de servicesUstun Yildiz. inforsid 2008:

Software Composition, 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected PapersMarkus Lumpe, Wim Vanderperren, editors, Volume 4829 of Lecture Notes in Computer Science, Springer, 2007.

On the Perturbation of Fuzzy Matrix Equations with v-T CompositionYifen Lai, Shuili Chen. icfie 2007: 269-279 [doi]

Composition and tradeoff of non-functional attributes in software systems: research directionsPasqualina Potena. ESEC/FSE 2007: 583-586 [doi]

Compositional Systems over Reducible NetworksAntoni Mazurkiewicz. FUIN, 79(3-4):265-282, 2007. [doi]

Membership problem for differential ideals generated by a composition of polynomialsMarina V. Kondratieva, A. I. Zobnin. pcs, 32(3):123-127, 2006. [doi]

Charging-Effects in RF capacitive switches influence of insulating layers compositionM. Lamhamdi, J. Guastavino, L. Boudou, Y. Segui, P. Pons, L. Bouscayrol, R. Plana. mr, 46(9-11):1700-1704, 2006. [doi]

Prostate mechanical imaging: 3-D image composition and feature calculationsV. Egorov, S. Ayrapetyan, A. P. Sarvazyan. tmi, 25(10):1329-1340, 2006. [doi]

A Photographic Composition Assistant for Intelligent Virtual 3D Camera SystemsWilliam H. Bares. sg 2006: 172-183 [doi]

Automatic Generation of Component Wrappers by Composition of Hardware Library Elements Starting from Communication Service SpecificationArnaud Grasset, Frédéric Rousseau, Ahmed Amine Jerraya. rsp 2005: 47-53 [doi]

On the Role of the Group Composition for Achieving OptimalityAntonio J. Morales. anor, 137(1):387-397, 2005. [doi]

Mathematical Services CompositionYannis Chicha, Marc Gaëtano. ENTCS, 114:103-117, 2005. [doi]

Failure Mode Modular De-Composition Using Spider DiagramsRobin P. Clark. ENTCS, 134:19-31, 2005. [doi]

On the relation between equations with max-product composition and the covering problemA. V. Markovskii. fss, 153(2):261-273, 2005. [doi]

Declarative Composition of Stack FramesChristian Lindig, Norman Ramsey. CC 2004: 298-312 [doi]

Composition of Component ServicesHermann Kopetz. isorc 2004: 3 [doi]

Multiscale Inverse Compositional Alignment for Subdivision Surface MapsIgor Guskov. eccv 2004: 133-145 [doi]

Effective Heuristics for Algorithmic Music CompositionNigel Gwee. icai 2002: 1027-1033

Average Number of Distinct Part Sizes in a Random Carlitz CompositionWilliam M. Y. Goh, Pawel Hitczenko. ejc, 23(6):647-657, 2002. [doi]

Modular Chemical Descriptor Language (MCDL): Composition, Connectivity, and Supplementary ModulesAndrei A. Gakh, Michael N. Burnett. jcisd, 41(6):1494-1499, 2001. [doi]

Automating Infrastructure Composition for Internet ServicesTodd Poynor. lisa 2001: 169-178 [doi]

Parallel composition and decomposition of specificationsWolfram Kahl. isci, 139(3-4):197-220, 2001.

Expected Number Of Distinct Part Sizes In A Random Integer CompositionPawel Hitczenko, Gilbert Stengle. cpc, 9(6):519-527, 2000.

(De)Composition of Situation Calculus TheoriesEyal Amir. AAAI 2000: 456-463

The piL-Calculus - A Formal Foundation for Software CompositionMarkus Lumpe. ECOOPW 1999: 317

Nonperiodicity Implies Unique Composition for Self-Similar Translationally Finite TilingsBoris Solomyak. dcg, 20(2):265-279, 1998. [doi]

A Negotiation Model for Dynamic Composition of Distributed ApplicationsIsrael Ben-Shaul, Yoad Gidron, Ophir Holder. dexaw 1998: 820-825

Compositionality: The Significant Difference, International Symposium, COMPOS 97, Bad Malente, Germany, September 8-12, 1997. Revised LecturesWillem P. de Roever, Hans Langmaack, Amir Pnueli, editors, Volume 1536 of Lecture Notes in Computer Science, Springer, 1998.

Cognitive loads and the empowering effect of music composition softwareRichard J. Phillips, A. J. Pierson. jcal, 13(2):74-84, 1997. [doi]

Efficient Program Composition on Parix by the Ensemble MethodologyJohn Yiannis Cotronis. euromicro 1996: 545-552 [doi]

Compositional Specification and Verification of Distributed SystemsBengt Jonsson. TOPLAS, 16(2):259-303, 1994. [doi]

Compositional Reasoning about Responsive Systems with Limited ResourcesHenk Schepers. rts, 7(3):291-313, 1994.

Compositional Reasoning about Real-Time Distributed Systems with Limited ResourcesHenk Schepers. parle 1994: 809-812

A Foundation for CompositionConrad Bock, James Odell. joop, 7(6):10-14, 1994.

Compositional Proofs for Networks of ProcessesBoris A. Trakhtenbrot. FUIN, 20(1/2/3):231-275, 1994.

Towards a discipline of class compositionFranz Weber. oopsm, 4(2):149-151, 1993.

Searching for Compositions in ER SchemesOtto Rauh, Eberhard Stickel. er 1994: 74-84 [doi]

Finding Composition Factors of Permutation Groups of Degree n < 10^6William M. Kantor. JSC, 12(4/5):517-526, 1991.

A Composition Theorem for Layered SystemsSimon S. Lam, A. Udaya Shankar. pstv 1991: 93-108

Predicates are Predicate Transformers: A Unified Compositional Theory for ConcurrencyJob Zwiers, Willem P. de Roever. podc 1989: 265-279

Software Bases for the Flexible Composition of Application SystemsRoland Mittermeir, Marcus Oppitz. TSE, 13(4):440-460, 1987.

On the Composition of Well-Structured ProgramsNiklaus Wirth. ACM Comput. Surv., 6(4):247-259, 1974.

A Naturally Ordered Enumeration of CompositionsDaniel I. Barnea. JCT, 13(2):149-154, 1972.

An Existence Theory for Pairwise Balanced Designs I. Composition Theorems and MorphismsRichard M. Wilson. JCT, 13(2):220-245, 1972.

Computers and Composition in Change RingingD. P. Treble. cj, 13(4):350-351, 1970.

runs on WebDSL