Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/csur/csur41.bht:"
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.