Vania Vieira Estrela - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged composition

Methodology for Optimization of Polymer Blends CompositionAlessandra Martins Coelho, Vania Vieira Estrela, Joaquim Teixeira de Assis, Gil de Carvalho, Joaquim Teixeira de Assis, Vania Vieira Estrela, Vânia Estrela, Vania Vieira Estrela, Vania Vieira Estrela, Vania Vieira Estrela, Vania Vieira Estrela, Alessandra Martins Coelho, Alessandra Martins Coelho, Alessandra Martins Coelho. 2012. [doi]

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]

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

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]

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

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

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

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

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.

Efficient Composition of PVM ProgramsJohn Yiannis Cotronis, Evangelos Floros, Nikos Papazis. hpcn 1996: 919-920

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 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