Amir Pnueli - 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]

Monad compositions II: Kleisli strengthErnie Manes, Philip S. Mulry. mscs, 18(3):613-643, 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.

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]

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]

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

Composition by Colimit and Formal Software DevelopmentDouglas R. Smith. BIRTHDAY 2006: 317-332 [doi]

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

A compositional approach to CTL* verificationYonit Kesten, Amir Pnueli. TCS, 331(2-3):397-428, 2005. [doi]

Enforcing Secure Service CompositionMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari. csfw 2005: 211-223 [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]

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

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

Page composition using PPML as a link-editing scriptSteven R. Bagley, David F. Brailsford. DOCENG 2004: 134-136 [doi]

Multiscale Inverse Compositional Alignment for Subdivision Surface MapsIgor Guskov. eccv 2004: 133-145 [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.

Keynote Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State ExplosionAmir Pnueli. cav 2000: 1

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

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.

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 Negotiation Model for Dynamic Composition of Distributed ApplicationsIsrael Ben-Shaul, Yoad Gidron, Ophir Holder. dexaw 1998: 820-825

A Compositional Real-Time Semantics of STATEMATE DesignsWerner Damm, Bernhard Josko, Hardi Hungar, Amir Pnueli. SC 1998: 186-238 [doi]

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

Finite Failure is And-CompositionalRoberta Gori, Giorgio Levi. logcom, 7(6):753-776, 1997.

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

Compositional Verification of Real-Time SystemsEdward Y. Chang, Zohar Manna, Amir Pnueli. lics 1994: 458-465

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

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