|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings, pp. 266-285, 2003, Springer, 3-540-20461-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: EMSOFT 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th ACM International Conference On Embedded Software, Proceedings, pp. 339-342, 2005, ACM, 1-59593-091-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.12684, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 44th Annual International Conference of the IEEE Engineering in Medicine & Biology Society, EMBC 2022, Glasgow, Scotland, United Kingdom, July 11-15, 2022, pp. 1032-1035, 2022, IEEE, 978-1-7281-2782-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBM ![In: 2019 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2019, San Diego, CA, USA, November 18-21, 2019, pp. 647-651, 2019, IEEE, 978-1-7281-1867-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 2017, American Medical Informatics Association Annual Symposium, Washington, DC, USA, November 4-8, 2017, 2017, AMIA. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiQuitous ![In: Mobile and Ubiquitous Systems: Computing, Networking, and Services - 10th International Conference, MOBIQUITOUS 2013, Tokyo, Japan, December 2-4, 2013, Revised Selected Papers, pp. 250-261, 2013, Springer, 978-3-319-11568-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Aridaman Pandit, Somdatta Sinha |
Using genomic signatures for HIV-1 sub-typing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 11(S-1), pp. 26, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Vincent Simonet |
An extension of HM(X) with bounded existential and universal data-types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003, pp. 39-50, 2003, ACM, 1-58113-756-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2009, 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings, pp. 145-158, 2009, Springer, 978-3-642-04839-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006, pp. 180-193, 2006, ACM, 1-59593-027-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, pp. 111-133, 2003, Springer, 3-540-22942-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Noemi de La Rocque Rodriguez, Roberto Ierusalimschy |
Dynamic Reconfiguration of CORBA-Based Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM '99, Theory and Practice of Informatics, 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27 - December 4, 1999, Proceedings, pp. 95-111, 1999, Springer, 3-540-66694-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|