Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for dialyzer with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2007-2019 (11)
Publication types (Num. hits)
article(2) incollection(3) inproceedings(6)
Venues (Conferences, Journals, ...)
Modelling and Control of Dialy...(3) Erlang Workshop(2) Comput. Math. Methods Medicine(1) FSKD (4)(1) ICBRA(1) PPDP(1) Symmetry(1) Trends in Functional Programmi...(1)
Authors
Konstantinos Sagonas(4) Abdul Majeed Siddiqui(1) Ahmad Taher Azar(1) Bertrand L. Jaber(1) Daniel Luna(1) Dianchen Lu(1) Junfeng Lu(1) Kodwo Annan(1) Miguel Jimenez(1) Mohamed Haroon Abdul Jabbar(1) Muhammad Kahshan(1) Orfeas Liangos(1) Poi Sim Khiew(1) S. Anandan Shanmugam(1) Stavros Aronis(1) Tobias Lindahl(1) More (+10 of total 17)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 2 keywords
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
222Konstantinos Sagonas Detecting defects in Erlang programs using static analysis. Search on Bibsonomy PPDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
118Junfeng Lu Observation of Blood Flow in Hemo-dialyzer Using CT Imaging Technology. Search on Bibsonomy FSKD (4) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Konstantinos Sagonas, Daniel Luna Gradual typing of erlang programs: a wrangler experience. Search on Bibsonomy Erlang Workshop The full citation details ... 2008 DBLP  DOI  BibTeX  RDF dialyzer, software defect detection, contracts, erlang
35Dianchen Lu, Muhammad Kahshan, Abdul Majeed Siddiqui Hydrodynamical Study of Micropolar Fluid in a Porous-Walled Channel: Application to Flat Plate Dialyzer. Search on Bibsonomy Symmetry The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
35Mohamed Haroon Abdul Jabbar, S. Anandan Shanmugam, Poi Sim Khiew Investigation on Heat and Mass transfer in a Dialyzer Membrane Model for the Development of Dialysate Temperature Controller. Search on Bibsonomy ICBRA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
35Wayne E. Carlson Dialyzer Reprocessing. Search on Bibsonomy Modelling and Control of Dialysis Systems (1) The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
35Ahmad Taher Azar Dialyzer Performance Parameters. Search on Bibsonomy Modelling and Control of Dialysis Systems (1) The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
35Orfeas Liangos, Bertrand L. Jaber Dialyzer Structure and Membrane Biocompatibility. Search on Bibsonomy Modelling and Control of Dialysis Systems (1) The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
35Kodwo Annan Finite Volume Scheme for Double Convection-Diffusion Exchange of Solutes in Bicarbonate High-Flux Hollow-Fiber Dialyzer Therapy. Search on Bibsonomy Comput. Math. Methods Medicine The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
35Stavros Aronis, Konstantinos Sagonas On Using Erlang for Parallelization - Experience from Parallelizing Dialyzer. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
28Miguel Jimenez, Tobias Lindahl, Konstantinos Sagonas A language for specifying type contracts in Erlang and its interaction with success typings. Search on Bibsonomy Erlang Workshop The full citation details ... 2007 DBLP  DOI  BibTeX  RDF success typings, contracts, erlang
Displaying result #1 - #11 of 11 (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