Dimitrios Vytiniotis - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged subtyping

Theory and applications of subtyping: IntroductionAdriana B. Compagnoni, Healfdene Goguen. mscs, 18(5):795-796, 2008. [doi]

Polarised subtyping for sized typesAndreas Abel. mscs, 18(5):797-822, 2008. [doi]

Coercive Subtyping via Mappings of Reduction BehaviourPaul Callaghan. ENTCS, 196:53-68, 2008. [doi]

Low- and high- agressive genetic breast cancer subtypes and significant survival gene signaturesVladimir A. Kuznetsov, Efthimios Motakis, Anna V. Ivshina. ijcnn 2008: 4151-4156 [doi]

Combining structural subtyping and external dispatchDonna Malayeri. OOPSLA 2007: 951-952 [doi]

Anti-symmetry of higher-order subtyping and equality by subtypingAdriana B. Compagnoni, Healfdene Goguen. mscs, 16(1):41-65, 2006. [doi]

Polarized Subtyping for Sized TypesAndreas Abel. csr 2006: 381-392 [doi]

Practical Verification of Component Substitutability Using Subtype RelationPremek Brada, Lukas Valenta. euromicro 2006: 38-45 [doi]

Mechanized Metatheory for the Masses: The PoplMark ChallengeBrian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic. tphol 2005: 50-65 [doi]

GenSo-FDSS: a neural-fuzzy decision support system for pediatric ALL cancer subtype identification using gene expression dataW. L. Tung, Hiok Chai Quek. artmed, 33(1):61-88, 2005. [doi]

Typed behavioural equivalences for processes in the presence of subtypingMatthew Hennessy, Julian Rathke. mscs, 14(5):651-684, 2004. [doi]

Higher-order subtyping and its decidabilityAdriana B. Compagnoni. iandc, 191(1):41-103, 2004. [doi]

Subtyping Union TypesJerome Vouillon. csl 2004: 415-429 [doi]

Application of Kernel Method to Reveal Subtypes of TF Binding MotifsAlexander E. Kel, Yuri Tikunov, Nico Voss, Jürgen Borlak, Edgar Wingender. recomb 2005: 42-51 [doi]

Data Mining the NCI Cancer Cell Line Compound GI::50:: Values: Identifying Quinone Subtypes Effective Against Melanoma and Leukemia Cell ClassesKenneth A. Marx, Philip O Neil, Patrick Hoffman, M. L. Ujwal. jcisd, 43(5):1652-1667, 2003. [doi]

Typed behavioural equivalences for processes in the presence of subtypingMatthew Hennessy, Julian Rathke. ENTCS, 61:122-139, 2002. [doi]

Satisfying subtype inequalities in polynomial spaceAlexandre Frey. TCS, 277(1-2):105-117, 2002. [doi]

Predicate Subtyping with Predicate SetsJoe Hurd. tphol 2001: 265-280 [doi]

Finite subtype inference with explicit polymorphismDominic Duggan. SCP, 39(1):57-92, 2001.

Subtyping dependent typesDavid Aspinall, Adriana B. Compagnoni. TCS, 266(1-2):273-309, 2001. [doi]

Subtyping arithmetical typesJoseph Gil. POPL 2001: 276-289 [doi]

Behavioral Subtyping and Behavioral Enrichment of MultimethodsNeelam Soundarajan, Stephen Fridella. TOOLS 2000: 105 [doi]

Subtyping with Power TypesDavid Aspinall. csl 2000: 156-171 [doi]

Anti-Symmetry of Higher-Order SubtypingAdriana B. Compagnoni, Healfdene Goguen. csl 1999: 420-438

Some Complexity Bounds for Subtype InequalitiesMarcin Benke. TCS, 212(1-2):3-27, 1999. [doi]

Pragmatic Subtyping in Polymorphic LanguagesJohan Nordlander. ICFP 1998: 216-227 [doi]

Polymorphic Subtyping Without DistributivityJacek Chrzaszcz. mfcs 1998: 346-355 [doi]

Predicative Polymorphic SubtypingMarcin Benke. mfcs 1998: 326-335 [doi]

Finite Subtype Inference with Explicit PolymorphismDominic Duggan. SAS 1998: 295-310 [doi]

Collaborations: Beyond SubtypesDesmond D Souza. joop, 9(8):61-66, 1997.

Satisfying Subtype Inequalities in Polynomial SpaceAlexandre Frey. SAS 1997: 265-277

Subtypes for SpecificationsJohn M. Rushby. ESEC/FSE 1997: 4-19 [doi]

Pharmacophore development for antagonists at alpha::1:: adrenergic receptor subtypesJohn B. Bremner, Burak Coban, Renate Griffith. jcamd, 10(6):545-557, 1996.

Interfaces, Subtypes, and FrameworksDesmond D Souza. joop, 9(7):19-22, 1996.

Subtyping Dependent Types (Summary)David Aspinall, Adriana B. Compagnoni. lics 1996: 86-97

Record Subtyping in Flexible Relations by Means of Attribute DependenciesChristian Kalus, Peter Dadam. icde 1995: 383-390 [doi]

Covariant Deep Subtyping ReconsideredDavid L. Shang. SIGPLAN, 30(5):21-28, 1995.

Subtyping with Union Types, Intersection Types and Recursive TypesFlemming M. Damm. tacs 1994: 687-706

Subtyping with Singleton TypesDavid Aspinall. csl 1995: 1-15

Decidability of Higher-Order Subtyping with Intersection TypesAdriana B. Compagnoni. csl 1995: 46-60

Types, Subtypes, and ASL+David Aspinall. compass 1995: 116-131

Conjunctive SubtypingDavid J. Lillie. fpca 1993: 42-51

Parametricity as SubtypingQingMing Ma. POPL 1992: 281-292

Reply to Subtypes and Quantification F. Warren Burton. TOPLAS, 13(4):633, 1991.

Subtypes and QuantificationDennis M. Volpano. TOPLAS, 13(4):631-632, 1991. [doi]

Inheritance Is Not SubtypingWilliam R. Cook, Walter L. Hill, Peter S. Canning. POPL 1990: 125-135

On embedding Boolean as a subtype of integerMarkku Sakkinen. SIGPLAN, 25(7):95-96, 1990. [doi]

Non-trivial Power Types Can t Be Subtypes of Polymorphic TypesAndrew M. Pitts. lics 1989: 6-13

Program Synthesis by Completion with Dependent SubtypesPaul Jacquet. cade 1988: 550-562

Cloning and structural analyses of hepatitis B virus DNAs, subtype adrAsao Fujiyama, Atsushi Miyanohara, Chikateru Nozaki, Tetsuo Yoneyama, Tetsuo Ohtomo, K. Matsubara. nar, 11(13):4601-4610, 1983.

runs on WebDSL