|
|
Venues (Conferences, Journals, ...)
|
|
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 |
49 | Steve Reeves, David Streader |
Comparison of Data and Process Refinement. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
process refinement, sub-typing, Z, labelled transition systems, data refinement |
28 | Albert Cohen 0001, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet |
Synchronization of periodic clocks. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
high-performance video streaming, type inference and sub-typing, synchronous language, correctness by construction |
21 | Grant Rosario, David Noever, Matthew Ciolino |
Soft-labeling Strategies for Rapid Sub-Typing. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Matteo 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. |
EMBC |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Diana Diaz, Aliccia Bollig-Fischer, Alexander Kotov 0001 |
Tensor Decomposition for Sub-typing of Complex Diseases based on Clinical and Genomic Data. |
BIBM |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Anoop 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. |
AMIA |
2017 |
DBLP BibTeX RDF |
|
21 | Klaas Thoelen, Davy Preuveneers, Sam Michiels, Wouter Joosen, Danny Hughes 0001 |
Types in Their Prime: Sub-typing of Data in Resource Constrained Environments. |
MobiQuitous |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Aridaman Pandit, Somdatta Sinha |
Using genomic signatures for HIV-1 sub-typing. |
BMC Bioinform. |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Vincent Simonet |
An extension of HM(X) with bounded existential and universal data-types. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
existential and universal data-types, structural subtyping, constraint-based type inference |
11 | Richard Dapoigny, Patrick Barlatier |
Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations. |
ER |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Albert 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. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
subtyping, synchronous languages, resource constraints, streaming applications, correctness by construction |
11 | Frank S. de Boer, Cees Pierik |
How to Cook a Complete Hoare Logic for Your Pet OO Language. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Noemi de La Rocque Rodriguez, Roberto Ierusalimschy |
Dynamic Reconfiguration of CORBA-Based Applications. |
SOFSEM |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|