Jan Treur - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged composition

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

A pattern for almost compositional functionsBjörn Bringert, Aarne Ranta. JFP, 18(5-6):567-598, 2008. [doi]

Visual Composition of Distributed Component SystemsHans Albrecht Schmid, Christian Martin Baranowski, Marco Pfeifer. icsea 2007: 69 [doi]

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.

Trend of Amino Acid Composition of Proteins of Different TaxaNatalya S. Bogatyreva, Alexei V. Finkelstein, Oxana V. Galzitskaya. jbcb, 4(2):597-608, 2006. [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]

Enforcing Secure Service CompositionMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari. csfw 2005: 211-223 [doi]

Compositional Verification of a Multi-Agent System for One-to-Many NegotiationFrances M. T. Brazier, Frank Cornelissen, Rune Gustavsson, Catholijn M. Jonker, Olle Lindeberg, Bianca Polak, Jan Treur. apin, 20(2):95-117, 2004. [doi]

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

A compositional reasoning system for executing nonmonotonic theories of reasoningJoeri Engelfriet, Jan Treur. ijis, 18(6):593-607, 2003. [doi]

Compositional Verification of Knowledge-Based Task Models and Problem-Solving MethodsFrank Cornelissen, Catholijn M. Jonker, Jan Treur. kais, 5(3):337-367, 2003. [doi]

Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and ReactivenessCatholijn M. Jonker, Jan Treur. ijcis, 11(1-2):51-91, 2002. [doi]

A Compositional Process Control Model and its Application to Biochemical ProcessesCatholijn M. Jonker, Jan Treur. aai, 16(1):51-71, 2002. [doi]

A Compositional Knowledge Level Process Model of Requirements EngineeringDaniela E. Herlea, Catholijn M. Jonker, Jan Treur, Niek J. E. Wijngaards. ijseke, 12(1):41-75, 2002. [doi]

A method for color naming and description of color composition in imagesAleksandra Mojsilovic. icip 2002: 789-792

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

Aspects of CompositionalityGabriel Sandu, Jaakko Hintikka. jolli, 10(1):49-61, 2001.

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

Temporal Semantics of Compositional Task Models and Problem Solving MethodsFrances M. T. Brazier, Jan Treur, Niek J. E. Wijngaards, Mark Willems. DKE, 29(1):17-42, 1999. [doi]

A Compositional Process Control Model and Its Application to Biochemical ProcessesCatholijn M. Jonker, Jan Treur. ieaaie 1999: 298-305

Specification of Bahavioural Requirements within Compositional Multi-agent System DesignDaniela E. Herlea, Catholijn M. Jonker, Jan Treur, Niek J. E. Wijngaards. maamaw 1999: 8-27

Strategic knowledge in design: a compositional approachFrances M. T. Brazier, Pieter H. G. van Langen, Jan Treur. kbs, 11(7-8):405-416, 1998. [doi]

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

Groebner Basis Under Composition IHoon Hong. JSC, 25(5):643-663, 1998.

A Compositional Reasoning System for Executing Nonmonotonic Theories of ReasoningJoeri Engelfriet, Jan Treur. ecsqaru 1997: 252-266

Modelling Competitive Co-operation of Agents in a Compositional Multi-Agent FrameworkFrances M. T. Brazier, Pascal van Eck, Jan Treur. ekaw 1997: 317-322

Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and ReactivenessCatholijn M. Jonker, Jan Treur. SC 1998: 350-380 [doi]

Compositional Verification of Knowledge-Based Systems: A Case Study for Diagnostic ReasoningFrank Cornelissen, Catholijn M. Jonker, Jan Treur. ekaw 1997: 65-80

Compositional Verification of Knowledge-based Systems: a Case Study in Diagnostic ReasoningFrank Cornelissen, Catholijn M. Jonker, Jan Treur. eurovav 1997: 129-142

Process creation and full sequential composition in a name-passing calculusThomas Gehrke, Arend Rensink. ENTCS, 7:141-160, 1997. [doi]

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

Compositional Specification of Embedded Systems with StatechartsJan Phillips, Peter Scholz. tapsoft 1997: 637-651

Redesign and reuse in compositional knowledge-based systemsFrances M. T. Brazier, Pieter H. G. van Langen, Jan Treur, Niek J. E. Wijngaards. kbs, 9(2):105-118, 1996. [doi]

Compositions for Matroids with the Fulkerson PropertySunil Chopra. DAM, 62(1-3):87-101, 1995. [doi]

Towards a Methodology for Explicit Composition of MetaObjectsPhilippe Mulet, Jacques Malenfant, Pierre Cointe. OOPSLA 1995: 316-330

A Formal Model for the Dynamics of Compositional Reasoning SystemsIoa Gavrila, Jan Treur. ecai 1994: 307-311

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.

A Compositional Proof System for the Modal mu-CalculusHenrik Reif Andersen, Colin Stirling, Glynn Winskel. lics 1994: 144-153

Formal Specification of Compositional ArchitecturesI. van Langevelde, A. Philipsen, Jan Treur. ecai 1992: 272-276

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

COMP: A VHDL Composition SystemPaul R. Jordan, Ronald D. Williams. dac 1989: 750-753 [doi]

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