Search dblp for Publications

export results for "toc:db/journals/csur/csur41.bht:"

 download as .bib file

@article{DBLP:journals/csur/BatiniCFM09,
  author       = {Carlo Batini and
                  Cinzia Cappiello and
                  Chiara Francalanci and
                  Andrea Maurino},
  title        = {Methodologies for data quality assessment and improvement},
  journal      = {{ACM} Comput. Surv.},
  volume       = {41},
  number       = {3},
  pages        = {16:1--16:52},
  year         = {2009},
  url          = {https://doi.org/10.1145/1541880.1541883},
  doi          = {10.1145/1541880.1541883},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/csur/BatiniCFM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Brown09,
  author       = {Nathan Brown},
  title        = {Chemoinformatics - an introduction for computer scientists},
  journal      = {{ACM} Comput. Surv.},
  volume       = {41},
  number       = {2},
  pages        = {8:1--8:38},
  year         = {2009},
  url          = {https://doi.org/10.1145/1459352.1459353},
  doi          = {10.1145/1459352.1459353},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/Brown09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/CarpinetoORW09,
  author       = {Claudio Carpineto and
                  Stanislaw Osinski and
                  Giovanni Romano and
                  Dawid Weiss},
  title        = {A survey of Web clustering engines},
  journal      = {{ACM} Comput. Surv.},
  volume       = {41},
  number       = {3},
  pages        = {17:1--17:38},
  year         = {2009},
  url          = {https://doi.org/10.1145/1541880.1541884},
  doi          = {10.1145/1541880.1541884},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/csur/CarpinetoORW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/ChandolaBK09,
  author       = {Varun Chandola and
                  Arindam Banerjee and
                  Vipin Kumar},
  title        = {Anomaly detection: {A} survey},
  journal      = {{ACM} Comput. Surv.},
  volume       = {41},
  number       = {3},
  pages        = {15:1--15:58},
  year         = {2009},
  url          = {https://doi.org/10.1145/1541880.1541882},
  doi          = {10.1145/1541880.1541882},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/csur/ChandolaBK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/FuriaPR09,
  author       = {Carlo A. Furia and
                  Matteo Pradella and
                  Matteo Rossi},
  title        = {Comments on temporal logics for real-time system specification},
  journal      = {{ACM} Comput. Surv.},
  volume       = {41},
  number       = {2},
  pages        = {13:1--13:5},
  year         = {2009},
  url          = {https://doi.org/10.1145/1459352.1459358},
  doi          = {10.1145/1459352.1459358},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/FuriaPR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/HieronsBBCDDGHKKLSVWZ09,
  author       = {Robert M. Hierons and
                  Kirill Bogdanov and
                  Jonathan P. Bowen and
                  Rance Cleaveland and
                  John Derrick and
                  Jeremy Dick and
                  Marian Gheorghe and
                  Mark Harman and
                  Kalpesh Kapoor and
                  Paul J. Krause and
                  Gerald L{\"{u}}ttgen and
                  Anthony J. H. Simons and
                  Sergiy A. Vilkomir and
                  Martin R. Woodward and
                  Hussein Zedan},
  title        = {Using formal specifications to support testing},
  journal      = {{ACM} Comput. Surv.},
  volume       = {41},
  number       = {2},
  pages        = {9:1--9:76},
  year         = {2009},
  url          = {https://doi.org/10.1145/1459352.1459354},
  doi          = {10.1145/1459352.1459354},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/HieronsBBCDDGHKKLSVWZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/HoareM09,
  author       = {C. A. R. Hoare and
                  Jayadev Misra},
  title        = {Preface to special issue on software verification},
  journal      = {{ACM} Comput. Surv.},
  volume       = {41},
  number       = {4},
  pages        = {18:1--18:3},
  year         = {2009},
  url          = {https://doi.org/10.1145/1592434.1592435},
  doi          = {10.1145/1592434.1592435},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/HoareM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/HoareMLS09,
  author       = {C. A. R. Hoare and
                  Jayadev Misra and
                  Gary T. Leavens and
                  Natarajan Shankar},
  title        = {The verified software initiative: {A} manifesto},
  journal      = {{ACM} Comput. Surv.},
  volume       = {41},
  number       = {4},
  pages        = {22:1--22:8},
  year         = {2009},
  url          = {https://doi.org/10.1145/1592434.1592439},
  doi          = {10.1145/1592434.1592439},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/HoareMLS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/IriberriL09,
  author       = {Alicia Iriberri and
                  Gondy Leroy},
  title        = {A life-cycle perspective on online community success},
  journal      = {{ACM} Comput. Surv.},
  volume       = {41},
  number       = {2},
  pages        = {11:1--11:29},
  year         = {2009},
  url          = {https://doi.org/10.1145/1459352.1459356},
  doi          = {10.1145/1459352.1459356},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/IriberriL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/JhalaM09,
  author       = {Ranjit Jhala and
                  Rupak Majumdar},
  title        = {Software model checking},
  journal      = {{ACM} Comput. Surv.},
  volume       = {41},
  number       = {4},
  pages        = {21:1--21:54},
  year         = {2009},
  url          = {https://doi.org/10.1145/1592434.1592438},
  doi          = {10.1145/1592434.1592438},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/JhalaM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Navigli09,
  author       = {Roberto Navigli},
  title        = {Word sense disambiguation: {A} survey},
  journal      = {{ACM} Comput. Surv.},
  volume       = {41},
  number       = {2},
  pages        = {10:1--10:69},
  year         = {2009},
  url          = {https://doi.org/10.1145/1459352.1459355},
  doi          = {10.1145/1459352.1459355},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/csur/Navigli09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/QiD09,
  author       = {Xiaoguang Qi and
                  Brian D. Davison},
  title        = {Web page classification: Features and algorithms},
  journal      = {{ACM} Comput. Surv.},
  volume       = {41},
  number       = {2},
  pages        = {12:1--12:31},
  year         = {2009},
  url          = {https://doi.org/10.1145/1459352.1459357},
  doi          = {10.1145/1459352.1459357},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/QiD09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Shankar09,
  author       = {Natarajan Shankar},
  title        = {Automated deduction for verification},
  journal      = {{ACM} Comput. Surv.},
  volume       = {41},
  number       = {4},
  pages        = {20:1--20:56},
  year         = {2009},
  url          = {https://doi.org/10.1145/1592434.1592437},
  doi          = {10.1145/1592434.1592437},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/Shankar09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/SockutI09,
  author       = {Gary H. Sockut and
                  Balakrishna R. Iyer},
  title        = {Online reorganization of databases},
  journal      = {{ACM} Comput. Surv.},
  volume       = {41},
  number       = {3},
  pages        = {14:1--14:136},
  year         = {2009},
  url          = {https://doi.org/10.1145/1541880.1541881},
  doi          = {10.1145/1541880.1541881},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/SockutI09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/WoodcockLBF09,
  author       = {Jim Woodcock and
                  Peter Gorm Larsen and
                  Juan Bicarregui and
                  John S. Fitzgerald},
  title        = {Formal methods: Practice and experience},
  journal      = {{ACM} Comput. Surv.},
  volume       = {41},
  number       = {4},
  pages        = {19:1--19:36},
  year         = {2009},
  url          = {https://doi.org/10.1145/1592434.1592436},
  doi          = {10.1145/1592434.1592436},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/WoodcockLBF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/AbidiAYA08,
  author       = {Besma R. Abidi and
                  Nash R. Aragam and
                  Yi Yao and
                  Mongi A. Abidi},
  title        = {Survey and analysis of multimodal sensor planning and integration
                  for wide area surveillance},
  journal      = {{ACM} Comput. Surv.},
  volume       = {41},
  number       = {1},
  pages        = {7:1--7:36},
  year         = {2008},
  url          = {https://doi.org/10.1145/1456650.1456657},
  doi          = {10.1145/1456650.1456657},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/AbidiAYA08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/BenediktK08,
  author       = {Michael Benedikt and
                  Christoph Koch},
  title        = {XPath leashed},
  journal      = {{ACM} Comput. Surv.},
  volume       = {41},
  number       = {1},
  pages        = {3:1--3:54},
  year         = {2008},
  url          = {https://doi.org/10.1145/1456650.1456653},
  doi          = {10.1145/1456650.1456653},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/BenediktK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/BleiholderN08,
  author       = {Jens Bleiholder and
                  Felix Naumann},
  title        = {Data fusion},
  journal      = {{ACM} Comput. Surv.},
  volume       = {41},
  number       = {1},
  pages        = {1:1--1:41},
  year         = {2008},
  url          = {https://doi.org/10.1145/1456650.1456651},
  doi          = {10.1145/1456650.1456651},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/BleiholderN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/BoriePT08,
  author       = {Richard B. Borie and
                  R. Gary Parker and
                  Craig A. Tovey},
  title        = {Solving problems on recursively constructed graphs},
  journal      = {{ACM} Comput. Surv.},
  volume       = {41},
  number       = {1},
  pages        = {4:1--4:51},
  year         = {2008},
  url          = {https://doi.org/10.1145/1456650.1456654},
  doi          = {10.1145/1456650.1456654},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/BoriePT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/CockburnKB08,
  author       = {Andy Cockburn and
                  Amy K. Karlson and
                  Benjamin B. Bederson},
  title        = {A review of overview+detail, zooming, and focus+context interfaces},
  journal      = {{ACM} Comput. Surv.},
  volume       = {41},
  number       = {1},
  pages        = {2:1--2:31},
  year         = {2008},
  url          = {https://doi.org/10.1145/1456650.1456652},
  doi          = {10.1145/1456650.1456652},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/csur/CockburnKB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/OnievaZL08,
  author       = {Jose Antonio Onieva and
                  Jianying Zhou and
                  Javier L{\'{o}}pez},
  title        = {Multiparty nonrepudiation: {A} survey},
  journal      = {{ACM} Comput. Surv.},
  volume       = {41},
  number       = {1},
  pages        = {5:1--5:43},
  year         = {2008},
  url          = {https://doi.org/10.1145/1456650.1456655},
  doi          = {10.1145/1456650.1456655},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/csur/OnievaZL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Smith-Miles08,
  author       = {Kate Smith{-}Miles},
  title        = {Cross-disciplinary perspectives on meta-learning for algorithm selection},
  journal      = {{ACM} Comput. Surv.},
  volume       = {41},
  number       = {1},
  pages        = {6:1--6:25},
  year         = {2008},
  url          = {https://doi.org/10.1145/1456650.1456656},
  doi          = {10.1145/1456650.1456656},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/csur/Smith-Miles08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics