The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase sub-typing (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1999-2022 (13)
Publication types (Num. hits)
article(2) inproceedings(11)
Venues (Conferences, Journals, ...)
AMIA(1) BIBM(1) BMC Bioinform.(1) CoRR(1) EMBC(1) EMSOFT(1) ER(1) FMCO(1) ICFEM(1) ICFP(1) MobiQuitous(1) POPL(1) SOFSEM(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 11 occurrences of 9 keywords

Results
Found 13 publication records. Showing 13 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
49Steve Reeves, David Streader Comparison of Data and Process Refinement. Search on Bibsonomy ICFEM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF process refinement, sub-typing, Z, labelled transition systems, data refinement
28Albert Cohen 0001, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet Synchronization of periodic clocks. Search on Bibsonomy EMSOFT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF high-performance video streaming, type inference and sub-typing, synchronous language, correctness by construction
21Grant Rosario, David Noever, Matthew Ciolino Soft-labeling Strategies for Rapid Sub-Typing. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Matteo Stefano Savino, Lara Cavinato, Guido Costa, Francesco Fiz, Guido Torzilli, Luca ViganĂ² 0004, Francesca Ieva Distant supervision for imaging-based cancer sub-typing in Intrahepatic Cholangiocarcinoma. Search on Bibsonomy EMBC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Diana Diaz, Aliccia Bollig-Fischer, Alexander Kotov 0001 Tensor Decomposition for Sub-typing of Complex Diseases based on Clinical and Genomic Data. Search on Bibsonomy BIBM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Anoop M. Mayampurath, Jonathan Matthews, Samuel L. Volchenboum, Lazaro N. Sanchez-Pinto A Data-driven Framework for Sub-Typing Stem Cell Transplant Recipients at Risk for Infection. Search on Bibsonomy AMIA The full citation details ... 2017 DBLP  BibTeX  RDF
21Klaas Thoelen, Davy Preuveneers, Sam Michiels, Wouter Joosen, Danny Hughes 0001 Types in Their Prime: Sub-typing of Data in Resource Constrained Environments. Search on Bibsonomy MobiQuitous The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
21Aridaman Pandit, Somdatta Sinha Using genomic signatures for HIV-1 sub-typing. Search on Bibsonomy BMC Bioinform. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
18Vincent Simonet An extension of HM(X) with bounded existential and universal data-types. Search on Bibsonomy ICFP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF existential and universal data-types, structural subtyping, constraint-based type inference
11Richard Dapoigny, Patrick Barlatier Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations. Search on Bibsonomy ER The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
11Albert Cohen 0001, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems. Search on Bibsonomy POPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF subtyping, synchronous languages, resource constraints, streaming applications, correctness by construction
11Frank S. de Boer, Cees Pierik How to Cook a Complete Hoare Logic for Your Pet OO Language. Search on Bibsonomy FMCO The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
11Noemi de La Rocque Rodriguez, Roberto Ierusalimschy Dynamic Reconfiguration of CORBA-Based Applications. Search on Bibsonomy SOFSEM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #13 of 13 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license