|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 23 occurrences of 19 keywords
|
|
|
Results
Found 32 publication records. Showing 32 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
101 | Lu Yang, Naijun Zhan, Bican Xia, Chaochen Zhou |
Program Verification by Using DISCOVERER. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions, pp. 528-538, 2005, Springer, 978-3-540-69147-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
semi-algebraic systems, DISCOVERER, reachability computation, program verification, termination, invariant generation |
81 | Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan |
Generating Polynomial Invariants with DISCOVERER and QEPCAD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods and Hybrid Real-Time Systems ![In: Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007, pp. 67-82, 2007, Springer, 978-3-540-75220-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Semi-Algebraic Systems, DISCOVERER, QEPCAD, Program Verification, Quantifier Elimination, Invariant Generation, Polynomial Programs |
51 | Eduardo Machado Gonçalves, Marcilio Silva Oliveira, Kleber Rogerio Bacili |
DigitalAssets discoverer: automatic identification of reusable software components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 872-873, 2007, ACM, 978-1-59593-865-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
reusable assets identification, software assets, services-oriented architecture (SOA), reverse engineering, reuse, software components |
49 | Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan, Chaochen Zhou |
Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings, pp. 34-49, 2007, Springer, 978-3-540-75290-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Loop Termination, Semi-Algebraic Systems, DISCOVERER, QEPCAD, Program Verification, Computer Algebra, Ranking Function, Polynomial Programs |
49 | Jeonghee Yi, Neel Sundaresan |
Metadata Based Web Mining for Relevance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: 2000 International Database Engineering and Applications Symposium, IDEAS 2000, September 18-20, 2000, Yokohoma, Japan, Proccedings, pp. 113-121, 2000, IEEE Computer Society, 0-7695-0789-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
relevant term discoverer, hyperlink metadata, filtering techniques, topic-specific search-engine, World Wide Web, metadata, search engine, Web mining, relevance, information resources |
40 | Zhou Chaochen |
Program Verification Through Computer Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings, pp. 1, 2006, Springer, 3-540-47460-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Tzvetan Ostromsky, Ivan Dimov 0001, Rayna Georgieva, Venelin Todorov |
Sensitivity Study of a Large-scale Air Pollution Model on the Bulgarian Petascale Supercomputer Discoverer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FedCSIS ![In: Proceedings of the 18th Conference on Computer Science and Intelligence Systems, FedCSIS 2023, Warsaw, Poland, September 17-20, 2023., pp. 1093-1100, 2023, 978-83-967447-8-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Tzvetan Ostromsky |
Performance and Scalability Experiments with a Large-scale Air Pollution Model on the EuroHPC Petascale Supercomputer DISCOVERER. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FedCSIS (Communication Papers) ![In: Communication Papers of the 17th Conference on Computer Science and Intelligence Systems, FedCSIS 2022, Sofia, Bulgaria, September 4-7, 2022., pp. 81-84, 2022, 978-83-965897-4-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Tzvetan Ostromsky |
Optimization, Performance and Scalability Experiments of a Large Air Pollution Model by Using the EuroHPC Petascale Supercomputer DISCOVERER. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCO ![In: Recent Advances in Computational Optimization - Selected Papers from the WCO 2022 - Workshop on Computational Optimization, Sofia, Bulgaria, 4-7 September, 2022., pp. 141-151, 2022, Springer, 978-3-031-57319-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Werner Marx, Robin Haunschild, Bernie French, Lutz Bornmann |
Slow reception and under-citedness in climate change research: A case study of Charles David Keeling, discoverer of the risk of global warming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scientometrics ![In: Scientometrics 112(2), pp. 1079-1092, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
31 | Dariusz Palka, Marek Zachara, Krzysztof Wójcik |
Active Protocol Discoverer Based on Grammatical Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAT (1) ![In: Information Systems Architecture and Technology: Proceedings of 38th International Conference on Information Systems Architecture and Technology - ISAT 2017 - Part I, Szklarska Poręba, Poland, September 17-19, 2017, pp. 95-106, 2017, Springer, 978-3-319-67219-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
31 | Yan Tang, Robert Meersman |
DIY-CDR: an ontology-based, Do-It-Yourself component discoverer and recommender. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pers. Ubiquitous Comput. ![In: Pers. Ubiquitous Comput. 16(5), pp. 581-595, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
31 | Zhuo Wang, Zhushou Tang, Kan Zhou, Ruoyu Zhang, Zhengwei Qi, Haibing Guan |
DsVD: An Effective Low-Overhead Dynamic Software Vulnerability Discoverer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISADS ![In: 10th International Symposium on Autonomous Decentralized Systems, ISADS 2011, Tokyo & Hiroshima, Japan, March 23-17, 2011, pp. 372-377, 2011, IEEE Computer Society, 978-1-61284-213-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
31 | Luis de la Torre, Jaime Seguel |
A Parallel Biosequence Motif Discoverer Based on Dynamic Programming and Adaptive Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSC ![In: Proceedings of the 2009 International Conference on Scientific Computing, CSC 2009, July 13-16, 2009, Las Vegas, Nevada, USA, pp. 145-150, 2009, CSREA Press, 1-60132-098-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
31 | Pedro T. Monteiro 0001, Nuno D. Mendes, Miguel C. Teixeira, Sofia d'Orey, Sandra Tenreiro, Nuno P. Mira, Hélio Pais, Alexandre P. Francisco, Alexandra M. Carvalho, Artur B. Lourenço, Isabel Sá-Correia, Arlindo L. Oliveira, Ana T. Freitas |
YEASTRACT-DISCOVERER: new tools to improve the analysis of transcriptional regulatory associations in Saccharomyces cerevisiae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 36(Database-Issue), pp. 132-136, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Bican Xia |
DISCOVERER: a tool for solving semi-algebraic systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 41(3), pp. 102-103, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Weidong Cui, Jayanthkumar Kannan, Helen J. Wang |
Discoverer: Automatic Protocol Reverse Engineering from Network Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: Proceedings of the 16th USENIX Security Symposium, Boston, MA, USA, August 6-10, 2007, 2007, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
31 | Marco Masseroli, Dario Martucci, Francesco Pinciroli |
GFINDer: Genome Function INtegrated Discoverer through dynamic annotation, statistical analysis, and mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 32(Web-Server-Issue), pp. 293-300, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Olcay Kursun, Oleg V. Favorov |
SINBAD: Towards an Implementation-Independent Hidden-Variable Discoverer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCCT (1) ![In: Proceedings of the 2nd International Conference Computing, Communications and Control Technologies, CCCT 2004, Austin, TX, USA, August 14-17, 2004, Volume 1., pp. 290-295, 2004, The International Institute of Informatics and Systemics (IIIS). The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
20 | Ming Xu 0010, Liangyu Chen 0001, Zhi-bin Li 0005 |
Symbolic Reachability Computation of a Class of Nonlinear Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 8th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2009, June 1-3, 2009, Shanghai, China, pp. 706-710, 2009, IEEE Computer Society, 978-0-7695-3641-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Marco Masseroli, Stefano Ceri, Alessandro Campi |
Integration and Mining of Genomic Annotations: Experiences and Perspectives in GFINDer Data Warehousing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DILS ![In: Data Integration in the Life Sciences, 6th International Workshop, DILS 2009, Manchester, UK, July 20-22, 2009. Proceedings, pp. 88-95, 2009, Springer, 978-3-642-02878-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
GFINDer, biomolecular annotation integration, data warehousing |
20 | Peter Turchi |
Once upon a time, like never before: the challenge of telling the next story. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 719, 2007, ACM, 978-1-59593-865-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
creative writing, maps |
20 | Soo Ho Chang, Hyun Jung La, Jeong Seop Bae, Won Young Jeon, Soo Dong Kim |
Design of a Dynamic Composition Handler for ESB-based Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEBE ![In: Proceedings of ICEBE 2007, IEEE International Conference on e-Business Engineering and the Workshops SOAIC 2007, SOSE 2007, SOKM 2007, 24-26 October, 2007, Hong Kong, China, pp. 287-294, 2007, IEEE Computer Society, 0-7695-3003-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Robert Ricci, David L. Oppenheimer, Jay Lepreau, Amin Vahdat |
Lessons from resource allocators for large-scale multiuser testbeds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 40(1), pp. 25-32, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Yuan Jiang 0001, Jinjiang Ling, Gang Li 0009, Honghua Dai 0001, Zhi-Hua Zhou |
Dependency Bagging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSFDGrC (1) ![In: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part I, pp. 491-500, 2005, Springer, 3-540-28653-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Eun-Seok Ryu, Jeong-Seop Hwang, Chuck Yoo |
Widget Integration Framework for Context-Aware Middleware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MATA ![In: Mobility Aware Technologies and Applications, Second International Workshop, MATA 2005, Montreal, Canada, October 17-19, 2005, Proceedings, pp. 161-171, 2005, Springer, 3-540-29410-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Kamran Karimi, Howard J. Hamilton |
RFCT: An Association-Based Causality Miner. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI ![In: Advances in Artificial Intelligence, 15th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2002, Calgary, Canada, May 27-29, 2002, Proceedings, pp. 334-338, 2002, Springer, 3-540-43724-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Kamran Karimi, Howard J. Hamilton |
TimeSleuth: A Tool for Discovering Causal and Temporal Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002), 4-6 November 2002, Washington, DC, USA, pp. 375-380, 2002, IEEE Computer Society, 0-7695-1849-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Lindley Darden |
Discovering Mechanisms: A Computational Philosophy of Science Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discovery Science ![In: Discovery Science, 4th International Conference, DS 2001, Washington, DC, USA, November 25-28, 2001, Proceedings, pp. 3-15, 2001, Springer, 3-540-42956-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Lindley Darden |
Discovering Mechanisms: A Computational Philosophy of Science Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 12th International Conference, ALT 2001, Washington, DC, USA, November 25-28, 2001, Proceedings, pp. 57-57, 2001, Springer, 3-540-42875-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Lu Yang, Xiaorong Hou, Bican Xia |
Automated Discovering and Proving for Geometric Inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings, pp. 30-46, 1998, Springer, 3-540-66672-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Jan M. Zytkow, Paul J. Fischer |
Constructing Models of Hidden Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Methodologies for Intelligent Systems, 6th International Symposium, ISMIS '91, Charlotte, N.C., USA, October 16-19, 1991, Proceedings, pp. 441-449, 1991, Springer, 3-540-54563-8. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Hidden structure discovery and evaluation, quark models |
Displaying result #1 - #32 of 32 (100 per page; Change: )
|
|