|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 17976 occurrences of 6591 keywords
|
|
|
Results
Found 65387 publication records. Showing 65387 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Christoph Wernhard |
Generating Compressed Combinatory Proof Structures: An Approach to Automated First-Order Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAAR@IJCAR ![In: Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022., 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
14 | Tomer Libal |
Do Lawyers Use Automated Reasoning? (invited paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARQNL@IJCAR ![In: Proceedings of the 4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2022) affiliated with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022), Haifa, Israel, August 11, 2022., pp. 1-10, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
14 | Jens Otten |
Advancing Automated Theorem Proving for the Modal Logics D and S5. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARQNL@IJCAR ![In: Proceedings of the 4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2022) affiliated with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022), Haifa, Israel, August 11, 2022., pp. 81-91, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
14 | Xavier Parent, Christoph Benzmüller |
Automated Verification of Deontic Correspondences in Isabelle/HOL - First Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARQNL@IJCAR ![In: Proceedings of the 4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2022) affiliated with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022), Haifa, Israel, August 11, 2022., pp. 92-108, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
14 | Joshua Wilson, Cristina Ahrendt, Emily A. Fudge, Alexandria Raiche, Gaysha Beard, Charles MacArthur |
Elementary teachers' perceptions of automated feedback and automated scoring: Transforming the teaching and learning of writing using automated writing evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Educ. ![In: Comput. Educ. 168, pp. 104208, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Emre Yolcu, Scott Aaronson, Marijn J. H. Heule |
An Automated Approach to the Collatz Conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 468-484, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Julian Schindler, Domenic Lysander Herbig, Merle Lau, Michael Oehl |
Communicating Issues in Automated Driving to Surrounding Traffic - How should an Automated Vehicle Communicate a Minimum Risk Maneuver via eHMI and/or dHMI? - How Should an Automated Vehicle Communicate a Minimum Risk Maneuver via eHMI and/or dHMI? ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (49) ![In: HCI International 2020 - Late Breaking Posters - 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part II, pp. 619-626, 2020, Springer, 978-3-030-60702-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Yizheng Zhao, Renate A. Schmidt |
FAME(Q): An Automated Tool for Forgetting in Description Logics with Qualified Number Restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings, pp. 568-579, 2019, Springer, 978-3-030-29435-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Di Long Li, Alwen Tiu |
Combining ProVerif and Automated Theorem Provers for Security Protocol Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings, pp. 354-365, 2019, Springer, 978-3-030-29435-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Tomer Libal |
A Simple Semi-automated Proof Assistant for First-order Modal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARQNL@IJCAR ![In: Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2018), Oxford, UK, July 18, 2018., pp. 34-48, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
14 | Koen Claessen, Ann Lillieström |
Alternative Treatments of Common Binary Relations in First-order Automated Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAAR@IJCAR ![In: Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), Coimbra, Portugal, July 2nd, 2016., pp. 11-23, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Eugen Kuksa, Till Mossakowski |
Prover-independent Axiom Selection for Automated Theorem Proving in Ontohub. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAAR@IJCAR ![In: Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), Coimbra, Portugal, July 2nd, 2016., pp. 56-68, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Yu Lu 0001, Alice A. Miller, Ruth Hoffmann, Christopher W. Johnson 0001 |
Towards the Automated Verification of Weibull Distributions for System Failure Rates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS-AVoCS ![In: Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings, pp. 81-96, 2016, Springer, 978-3-319-45942-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Mahmoud Mohsen, Bart Jacobs 0002 |
One Step Towards Automatic Inference of Formal Specifications Using Automated VeriFast. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS-AVoCS ![In: Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings, pp. 56-64, 2016, Springer, 978-3-319-45942-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Zhe Hou, Rajeev Goré, Alwen Tiu |
Automated Theorem Proving for Assertions in Separation Logic with All Connectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings, pp. 501-516, 2015, Springer, 978-3-319-21400-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Ulrich Furbach, Björn Pelzer, Claudia Schon |
Automated Reasoning in the Wild. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings, pp. 55-72, 2015, Springer, 978-3-319-21400-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | David A. Plaisted |
History and Prospects for First-Order Automated Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings, pp. 3-28, 2015, Springer, 978-3-319-21400-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Vijay D'Silva, Caterina Urban |
Abstract Interpretation as Automated Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings, pp. 450-464, 2015, Springer, 978-3-319-21400-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Dave de Jonge, Carles Sierra |
GANGSTER: An Automated Negotiator Applying Genetic Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANAC@AAMAS ![In: Recent Advances in Agent-based Complex Automated Negotiation [revised and extended papers from the 7th International Workshop on Agent-based Complex Automated Negotiation, ACAN 2014, Paris, France, May 2014]., pp. 225-234, 2014, Springer, 978-3-319-30305-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Katsuhide Fujita, Reyhan Aydogan, Tim Baarslag, Takayuki Ito 0001, Catholijn M. Jonker |
The Fifth Automated Negotiating Agents Competition (ANAC 2014). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANAC@AAMAS ![In: Recent Advances in Agent-based Complex Automated Negotiation [revised and extended papers from the 7th International Workshop on Agent-based Complex Automated Negotiation, ACAN 2014, Paris, France, May 2014]., pp. 211-224, 2014, Springer, 978-3-319-30305-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Siqi Chen 0001, Shuang Zhou 0001, Gerhard Weiss 0001, Karl Tuyls |
Using Transfer Learning to Model Unknown Opponents in Automated Negotiations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANAC@AAMAS ![In: Recent Advances in Agent-based Complex Automated Negotiation [revised and extended papers from the 7th International Workshop on Agent-based Complex Automated Negotiation, ACAN 2014, Paris, France, May 2014]., pp. 175-192, 2014, Springer, 978-3-319-30305-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Katsuhide Fujita |
Automated Negotiating Agent with Strategy Adaptation for Multi-times Negotiations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANAC@AAMAS ![In: Recent Advances in Agent-based Complex Automated Negotiation [revised and extended papers from the 7th International Workshop on Agent-based Complex Automated Negotiation, ACAN 2014, Paris, France, May 2014]., pp. 21-37, 2014, Springer, 978-3-319-30305-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Chris Hawblitzel, Ming Kawaguchi, Shuvendu K. Lahiri, Henrique Rebêlo |
Towards Modularly Comparing Programs Using Automated Theorem Provers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings, pp. 282-299, 2013, Springer, 978-3-642-38573-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Natarajan Shankar |
Automated Reasoning, Fast and Slow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings, pp. 145-161, 2013, Springer, 978-3-642-38573-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Koen Claessen |
The Anatomy of Equinox - An Extensible Automated Reasoning Tool for First-Order Logic and Beyond - (Talk Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings, pp. 1-3, 2011, Springer, 978-3-642-22437-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
14 | James Brotherston, Dino Distefano, Rasmus Lerchedahl Petersen |
Automated Cyclic Entailment Proofs in Separation Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings, pp. 131-146, 2011, Springer, 978-3-642-22437-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Volker Haarslev, Roberto Sebastiani, Michele Vescovi |
Automated Reasoning in ALCQ\mathcal{ALCQ} via SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings, pp. 283-298, 2011, Springer, 978-3-642-22437-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Sascha Böhme, Michal Moskal |
Heaps and Data Structures: A Challenge for Automated Provers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings, pp. 177-191, 2011, Springer, 978-3-642-22437-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Francesco Alberti, Alessandro Armando, Silvio Ranise |
ASASP: Automated Symbolic Analysis of Security Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings, pp. 26-33, 2011, Springer, 978-3-642-22437-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Michael Schneider 0001, Geoff Sutcliffe |
Reasoning in the OWL 2 Full Ontology Language Using First-Order Automated Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings, pp. 461-475, 2011, Springer, 978-3-642-22437-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Moshe Y. Vardi |
From Automated Verification to Automated Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAPS ![In: Proceedings of the 20th International Conference on Automated Planning and Scheduling, ICAPS 2010, Toronto, Ontario, Canada, May 12-16, 2010, pp. 271, 2010, AAAI. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
14 | Konstantin Verchinine, Alexander V. Lyaletski, Andrey Paskevich |
System for Automated Deduction (SAD): A Tool for Proof Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings, pp. 398-403, 2007, Springer, 978-3-540-73594-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Marc Bezem, Dimitri Hendriks, Hans de Nivelle |
Automated Proof Construction in Type Theory Using Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings, pp. 148-163, 2000, Springer, 3-540-67664-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Erica Melis |
Workshop: Automated Deduction in Education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings, pp. 516, 2000, Springer, 3-540-67664-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Robi Malik |
Automated Deduction of Finite-State Control Programs for Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-15, 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings, pp. 302-316, 1998, Springer, 3-540-64675-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Robert Nieuwenhuis, José Miguel Rivero, Miguel Ángel Vallejo |
Dedan: A Kernel of Data Structures and Algorithms for Automated Deduction with Equality Clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings, pp. 49-52, 1997, Springer, 3-540-63104-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
14 | Wu Wen-Tsün |
The Char-Set Method and Its Applications to Automated Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings, pp. 1-3, 1997, Springer, 3-540-63104-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
14 | Bernd I. Dahn, Jürgen Gehne, Th. Honigmann, Andreas Wolf |
Integration of Automated and Interactive Theorem Proving in ILP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings, pp. 57-60, 1997, Springer, 3-540-63104-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
14 | Dana S. Scott |
What Can We Hope to Achieve From Automated Deduction? (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings, pp. 245, 1996, Springer, 3-540-61511-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
14 | Deepak Kapur, Mahadevan Subramaniam |
Lemma Discovery in Automated Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings, pp. 538-552, 1996, Springer, 3-540-61511-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
14 | John K. Slaney |
The Crisis in Finite Mathematics: Automated Reasoning as Cause and Cure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings, pp. 1-13, 1994, Springer, 3-540-58156-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Siani Baker |
A New Application for Explanation-Based Generalisation within Automated Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings, pp. 177-191, 1994, Springer, 3-540-58156-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Frederic D. Portoraro |
Symlog: Automated Advice in Fitch-style Proof Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings, pp. 802-806, 1994, Springer, 3-540-58156-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Tie-Cheng Wang, Allen Goldberg |
KITP-93: An Automated Inference System for Program Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings, pp. 831-835, 1994, Springer, 3-540-58156-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Shang-Ching Chou, Xiao-Shan Gao |
Automated Reasoning in Differential Geometry and Mechanics Using Characteristic Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992, pp. 1-12, 1992, North-Holland, 0-444-89876-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
14 | Qing Shen, Quanyuan Wu |
Automated Reasoning on Prime Weighted Neural Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992, pp. 335-341, 1992, North-Holland, 0-444-89876-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
14 | Tie-Cheng Wang, Allen Goldberg |
RVF: An Automated Formal Verification System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings, pp. 735-739, 1992, Springer, 3-540-55602-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Li Dafa |
A Natural Deduction Automated Theorem Proving System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings, pp. 668-672, 1992, Springer, 3-540-55602-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Tomás E. Uribe, Alan M. Frisch, Michael K. Mitchell |
An Overview of FRAPPS 2.0: A Framework for Resolution-based Automated Proof Procedure Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings, pp. 721-725, 1992, Springer, 3-540-55602-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
14 | William McCune, Larry Wos |
Experiments in Automated Deduction with Condensed Detachment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings, pp. 209-223, 1992, Springer, 3-540-55602-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Dave Barker-Plummer, Sidney C. Bailin, Andrew S. Merrill |
&: Automated Natural Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings, pp. 716-720, 1992, Springer, 3-540-55602-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
13 | Andy R. Terrel |
From Equations to Code: Automated Scientific Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Eng. ![In: Comput. Sci. Eng. 13(2), pp. 78-82, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Automated computing, domain-specific languages, scientific computing, code optimization |
13 | Tangtisanon Pikulkaew, Hiroaki Kikuchi |
Improving Efficiency in Privacy-Preserving Automated Trust Negotiation with Conjunctive Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NBiS ![In: The 14th International Conference on Network-Based Information Systems, NBiS 2011, Tirana, Albania, September 7-9, 2011, pp. 679-684, 2011, IEEE Computer Society, 978-1-4577-0789-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Privacy Preserving, Automated Trust Negotiation |
13 | Ramide Dantas, Ernani Azevedo, Cyrus Dias, Thiago Lima, Djamel Sadok, Carlos Alberto Kamienski, Börje Ohlman |
Facilitating Service Creation via Partial Specification and Automated Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERVICES ![In: World Congress on Services, SERVICES 2011, Washington, DC, USA, July 4-9, 2011, pp. 303-310, 2011, IEEE Computer Society, 978-1-4577-0879-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
automated composition, web services, semantic web |
13 | Long Ngo, Colin Boyd, Juanma González Nieto |
Automated Proofs for Diffie-Hellman-Based Key Exchanges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: Proceedings of the 24th IEEE Computer Security Foundations Symposium, CSF 2011, Cernay-la-Ville, France, 27-29 June, 2011, pp. 51-65, 2011, IEEE Computer Society, 978-1-61284-644-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
modular, automated, key exchange, Diffie-Hellman |
13 | Cuauhtemoc Munoz, Steve Roach |
Automated Testing of LTL Formula Generation by Prospec. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 12th IEEE High Assurance Systems Engineering Symposium, HASE 2010, San Jose, CA, USA, November 3-4, 2010, pp. 168-169, 2010, IEEE Computer Society, 978-1-4244-9091-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Prospec, Specification Pattern System, automated testing, LTL |
13 | Alan L. Kwan, Susan K. Dutcher, Gary D. Stormo |
Detecting Coevolution of Functionally Related Proteins for Automated Protein Annotation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBE ![In: 10th IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2010, Philadelphia, Pennsylvania, USA, May 31-June 3 2010, pp. 99-105, 2010, IEEE Computer Society, 978-0-7695-4083-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
protein coevolution, automated protein annotation, protein function |
13 | Avik Sinha, Stanley M. Sutton Jr., Amit M. Paradkar |
Text2Test: Automated Inspection of Natural Language Use Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: Third International Conference on Software Testing, Verification and Validation, ICST 2010, Paris, France, April 7-9, 2010, pp. 155-164, 2010, IEEE Computer Society, 978-0-7695-3990-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Text2Test, Testing, Requirements, Analysis, Use Cases, Automated Inspection |
13 | Jason R. Meek, Narayan C. Debnath |
Architectural Design of an Automated Software Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Seventh International Conference on Information Technology: New Generations, ITNG 2010, Las Vegas, Nevada, USA, 12-14 April 2010, pp. 26-31, 2010, IEEE Computer Society, 978-0-7695-3984-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
test, software, tool, automated |
13 | Cristian Zamfir, George Candea |
Execution synthesis: a technique for automated software debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSys ![In: European Conference on Computer Systems, Proceedings of the 5th European conference on Computer systems, EuroSys 2010, Paris, France, April 13-16, 2010, pp. 321-334, 2010, ACM, 978-1-60558-577-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
symbolic execution, automated debugging |
13 | Fernando Lopes 0001, Augusto Q. Novais, Helder Coelho |
On the Empirical Evaluation of an Interdisciplinary Framework for Automated Negotiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HoloMAS ![In: Holonic and Multi-Agent Systems for Manufacturing, 4th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2009, Linz, Austria, August 31 - September 2, 2009. Proceedings, pp. 92-101, 2009, Springer, 978-3-642-03666-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Multi-agent systems, Automated negotiation, Bargaining |
13 | Sarthak Grover, Nigamanth Sridhar |
GenQA: automated addition of architectural quality attribute support for Java software? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 483-487, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
software architecture, aspects, automated generation |
13 | Béla Genge, Piroska Haller |
Towards Automated Secure Web Service Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Networking ![In: NETWORKING 2009, 8th International IFIP-TC 6 Networking Conference, Aachen, Germany, May 11-15, 2009. Proceedings, pp. 943-954, 2009, Springer, 978-3-642-01398-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
automated execution, ontology, Web services, Security protocols |
13 | Mustarum Musaruddin, Rastko Zivanovic |
Web Services for Automated Fault Analysis in Electrical Power System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCM ![In: International Conference on Networked Computing and Advanced Information Management, NCM 2009, Fifth International Joint Conference on INC, IMS and IDC: INC 2009: International Conference on Networked Computing, IMS 2009: International Conference on Advanced Information Management and Service, IDC 2009: International Conference on Digital Content, Multimedia Technology and its Applications, Seoul, Korea, August 25-27, 2009, pp. 829-832, 2009, IEEE Computer Society, 978-0-7695-3769-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Automated Fault Analysis, Web Services, Service-Oriented Architecture |
13 | Martin Kienle, Daniel Damböck, Johann Kelsch, Frank Flemisch, Klaus Bengler |
Towards an H-Mode for highly automated vehicles: driving with side sticks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AutomotiveUI ![In: Proceedings of 1st International Conference on Automotive User Interfaces and Interactive Vehicular Applications, AutomotiveUI 2009, in-cooperation with ACM SIGCHI, Essen, Germany, 21-22 September 2009, pp. 19-23, 2009, ACM, 978-1-60558-571-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
active control element, cooperative automation, highly automated vehicles, interaction, automation, ergonomics, haptic interaction, assistance |
13 | Subramanian Ramanathan, Harish Katti, Raymond Huang, Tat-Seng Chua, Mohan S. Kankanhalli |
Automated localization of affective objects and actions in images via caption text-cum-eye gaze analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 17th International Conference on Multimedia 2009, Vancouver, British Columbia, Canada, October 19-24, 2009, pp. 729-732, 2009, ACM, 978-1-60558-608-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
affect model for world concepts, automated localization and labeling, caption text-cum-eye gaze analysis, statistical model |
13 | Soonho Kong, Nikolai Tillmann, Jonathan de Halleux |
Automated Testing of Environment-Dependent Programs - A Case Study of Modeling the File System for Pex. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Sixth International Conference on Information Technology: New Generations, ITNG 2009, Las Vegas, Nevada, USA, 27-29 April 2009, pp. 758-762, 2009, IEEE Computer Society, 978-0-7695-3596-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Test Generation, Unit Testing, Automated Testing, Environment Modeling, Dynamic Symbolic Execution |
13 | Parag C. Pendharkar |
An automated procedure for identifying poorly documented object oriented software components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
C3S2E ![In: Canadian Conference on Computer Science & Software Engineering, C3S2E 2009, Montreal, Quebec, Canada, May 19-21, 2009, Proceedings, pp. 217-222, 2009, ACM, 978-1-60558-401-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
automated reasoning techniques, testing, software testing, software maintenance, reuse, program understanding, component-based systems, maintenance and evolution, documentation systems |
13 | Pradeep Padala, Kai-Yuan Hou, Kang G. Shin, Xiaoyun Zhu, Mustafa Uysal, Zhikui Wang, Sharad Singhal, Arif Merchant |
Automated control of multiple virtualized resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSys ![In: Proceedings of the 2009 EuroSys Conference, Nuremberg, Germany, April 1-3, 2009, pp. 13-26, 2009, ACM, 978-1-60558-482-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
application qos, automated control, virtualization, resource management, data center, control theory, server consolidation |
13 | Dan Tisher, Ray Alsaber, Kuan-Tsae Huang, D. Frank Hsu |
Simulating an Automated System (SAS) for Merging Medical Vocabularies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: The 10th International Symposium on Pervasive Systems, Algorithms, and Networks, ISPAN 2009, Kaohsiung, Taiwan, December 14-16, 2009, pp. 373-379, 2009, IEEE Computer Society, 978-0-7695-3908-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
automated, merge, thesaurus, definition, lexicon, medical, vocabulary |
13 | Ewen Denney, Bernd Fischer 0002 |
A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: ASE 2009, 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, November 16-20, 2009, pp. 560-564, 2009, IEEE Computer Society, 978-0-7695-3891-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
model-based design, verification and validation, code reviews, automated code generation |
13 | Abdelouahed Gherbi, Ali Kanso, Ferhat Khendek, Abdelwahab Hamou-Lhadj, Maria Toeroe |
A Tool Suite for the Generation and Validation of Configurations for Software Availability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: ASE 2009, 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, November 16-20, 2009, pp. 671-673, 2009, IEEE Computer Society, 978-0-7695-3891-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Availability Management Framework, Automated Configuration Generation, Validation, Domain Model, High-Availability |
13 | Chunsheng Yang, Benoit Farley, Robert Orchard |
Automated case creation and management for diagnostic CBR systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 28(1), pp. 17-28, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Case bases, Automated case creation, Natural language processing, Methodology, Case-based reasoning |
13 | Shaul Druckmann, Thomas K. Berger, Sean L. Hill, Felix Schürmann, Henry Markram, Idan Segev |
Evaluating automated parameter constraining procedures of neuron models by experimental and surrogate data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biol. Cybern. ![In: Biol. Cybern. 99(4-5), pp. 371-379, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Compartmental, Firing pattern, Automated fitting, Parameter constraining, Model, Multi-objective Optimization, Neuron |
13 | Werner Van Geit, Erik De Schutter, Pablo Achard |
Automated neuron model optimization techniques: a review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biol. Cybern. ![In: Biol. Cybern. 99(4-5), pp. 241-251, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Automated tuning, Optimization, Model, Fitness function, Neuron, Parameters, Error function |
13 | Zhifang Wang, Yiyun Chen, Zhenming Wang, Baojian Hua |
Automated verification of pointer programs in pointer logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Sci. China ![In: Frontiers Comput. Sci. China 2(4), pp. 380-397, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
pointer logic, alias analysis, software safety, automated verification |
13 | Charalampos Doukas, Thomas Pliakas, John Karigiannis, Ilias Maglogiannis |
Enabling indoor exhibition automated guidance and multimedia content delivery on mobile devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIMEA ![In: Proceedings of the Third International Conference on Digital Interactive Media in Entertainment and Arts, DIMEA 2008, 10-12 September 2008, Athens, Greece, pp. 128-132, 2008, ACM, 978-1-60558-248-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
automated guidance, mobile devices, multimedia delivery |
13 | Amit M. Paradkar, Avik Sinha |
Specify Once Test Everywhere: Analyzing Invariants to Augment Service Descriptions for Automated Test Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - ICSOC 2008, 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings, pp. 551-557, 2008, 978-3-540-89647-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Invariants analysis, Service Functional Testing, Automated Test Generation |
13 | Sedigheh Khajouei Nejad, Amir Najafi-Ardabili, Ali Ghazinezhad, Vahid Salmani |
Automated Ontological Web Service Management - A New Approach in Semantic Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asia International Conference on Modelling and Simulation ![In: Second Asia International Conference on Modelling and Simulation, AMS 2008, Kuala Lumpur, Malaysia, May 13-15, 2008, pp. 150-153, 2008, IEEE Computer Society, 978-0-7695-3136-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
automated web service management, ontological graph, semantic web, Web service composition |
13 | Ayla Dantas, Francisco Vilar Brasileiro, Walfredo Cirne |
Improving Automated Testing of Multi-threaded Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, pp. 521-524, 2008, IEEE Computer Society, 978-0-7695-3127-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
multi-threaded systems development, Aspect-Oriented Programming, test-driven development, Automated testing, application monitoring |
13 | Ildikó Pelczer, Fernando Gamboa Rodríguez |
Design of a System for Automated Generation of Problem Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Tutoring Systems ![In: Intelligent Tutoring Systems, 9th International Conference, ITS 2008, Montreal, Canada, June 23-27, 2008, Proceedings, pp. 763-765, 2008, Springer, 978-3-540-69130-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
automated problem generation, problem fields, mathematics |
13 | Ioannis V. Papaioannou, Ioanna Roussaki, Miltiades E. Anagnostou |
Detecting Unsuccessful Automated Negotiation Threads When Opponents Employ Hybrid Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (2) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence, 4th International Conference on Intelligent Computing, ICIC 2008, Shanghai, China, September 15-18, 2008, Proceedings, pp. 27-39, 2008, Springer, 978-3-540-85983-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
MLP & GR neural networks, NN-assisted negotiation strategies, Opponent behaviour prediction, Early detection of unsuccessful negotiations, Hybrid negotiation strategies, Automated negotiations |
13 | Doguhan Uluca, Jan Willem Streefkerk, Brian Sciacchitano, D. Scott McCrickard |
Designing automated handheld navigation support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile HCI ![In: Proceedings of the 10th Conference on Human-Computer Interaction with Mobile Devices and Services, Mobile HCI 2008, Amsterdam, the Netherlands, September 2-5, 2008, pp. 481-482, 2008, ACM, 978-1-59593-952-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
automated user interaction, loosely-directed navigation, mobile devices, adaptive user interfaces, navigation aids, police |
13 | Ainhoa Llorente, Simon E. Overell, Haiming Liu 0002, Rui Hu, Adam Rae, Jianhan Zhu, Dawei Song 0001, Stefan M. Rüger |
Exploiting Term Co-occurrence for Enhancing Automated Image Annotation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEF ![In: Evaluating Systems for Multilingual and Multimodal Information Access, 9th Workshop of the Cross-Language Evaluation Forum, CLEF 2008, Aarhus, Denmark, September 17-19, 2008, Revised Selected Papers, pp. 632-639, 2008, Springer, 978-3-642-04446-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
statistical co-occurrence, image analysis, semantic similarity, automated image annotation |
13 | Thomas J. Ostrand, Elaine J. Weyuker |
Progress in Automated Software Defect Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings, pp. 200-204, 2008, Springer, 978-3-642-01701-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
negative binomial model, automated tool, software fault prediction |
13 | Ronan J. Skehill, Sean McGrath 0001, Carlos Antonio de Ramos |
Automated troubleshooting of a UMTS-WLAN test platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRIDENTCOM ![In: 4th International Conference on Testbeds & Research Infrastructures for the DEvelopment of NeTworks & COMmunities (TRIDENTCOM 2008), March 18-20, 2008, Innsbruck, Austria, pp. 5, 2008, ICST, 978-963-9799-24-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
automated troubleshooting, test platform, analysis |
13 | Swen Jacobs, Uwe Waldmann |
Comparing Instance Generation Methods for Automated Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 38(1-3), pp. 57-78, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
disconnection calculus, primal partial instantiation, resolution-based instance generation, theorem proving, automated reasoning |
13 | Tai-Yi Huang, Pin-Chuan Chou, Cheng-Han Tsai, Hsin-An Chen |
Automated fault localization with statistically suspicious program states. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2007 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'07), San Diego, California, USA, June 13-15, 2007, pp. 11-20, 2007, ACM, 978-1-59593-632-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
fault localization, automated debugging, state coverage |
13 | Serdar Cabuk, Chris I. Dalton, HariGovind V. Ramasamy, Matthias Schunter |
Towards automated provisioning of secure virtualized networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2007 ACM Conference on Computer and Communications Security, CCS 2007, Alexandria, Virginia, USA, October 28-31, 2007, pp. 235-245, 2007, ACM, 978-1-59593-703-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
automated security provisioning, trusted virtual domains, network security, security policies, network virtualization |
13 | John R. Koza, Sameer H. Al-Sakran, Lee W. Jones, Greg Manassero |
Automated synthesis of a fixed-length loaded symmetric dipole antenna whose gain exceeds that of a commercial antenna and matches the theoretical maximum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2007, Proceedings, London, England, UK, July 7-11, 2007, pp. 2074-2081, 2007, ACM, 978-1-59593-697-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
human-competitive result, invention machine, genetic programming, automated design, antenna |
13 | Juan Manuel García Chamizo, Andrés Fuster Guilló, Jorge Azorín López |
Simulation of Automated Visual Inspection Systems for Specular Surfaces Quality Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSIVT ![In: Advances in Image and Video Technology, Second Pacific Rim Symposium, PSIVT 2007, Santiago, Chile, December 17-19, 2007, Proceedings, pp. 749-762, 2007, Springer, 978-3-540-77128-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
simulation, quality control, automated visual inspection, specular surfaces |
13 | Philippe Pasquier, Ramon Hollands, Frank Dignum, Iyad Rahwan, Liz Sonenberg |
Exploiting Hierarchical Goals in Bilateral Automated Negotiation: Empirical Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMEC/TADA ![In: Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis, AAMAS 2007 Workshop, AMEC 2007, Honolulu, Hawaii, May 14, 2007, and AAAI 2007 Workshop, TADA 2007, Vancouver, Canada, July 23, 2007, Selected and Revised Papers, pp. 46-61, 2007, Springer, 978-3-540-88712-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Interest-based negotiation, agent-based simulation, automated negotiation |
13 | Andrew Gilpin, Tuomas Sandholm |
Better automated abstraction techniques for imperfect information games, with application to Texas Hold'em poker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007, pp. 192, 2007, IFAAMAS, 978-81-904262-7-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
automated abstraction, equilibrium computation, abstraction, poker, computational game theory |
13 | Rob Fearn, Raymond Williams, R. Mike Cameron-Jones, Julian Harrington, Jayson Semmens |
Automated Intelligent Abundance Analysis of Scallop Survey Video Footage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Conference on Artificial Intelligence ![In: AI 2007: Advances in Artificial Intelligence, 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, Proceedings, pp. 549-558, 2007, Springer, 978-3-540-76926-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Scallop Survey Video Transects, Automated Video Annotation |
13 | Chun Sing Louis Tsui, John Q. Gan |
Asynchronous BCI Control of a Robot Simulator with Supervised Online Training. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAL ![In: Intelligent Data Engineering and Automated Learning - IDEAL 2007, 8th International Conference, Birmingham, UK, December 16-19, 2007, Proceedings, pp. 125-134, 2007, Springer, 978-3-540-77225-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
asynchronous BCI, automated learning, Adaptation, brain-computer interface, online training |
13 | Leen Lambers, Hartmut Ehrig, Leonardo Mariani, Mauro Pezzè |
Iterative model-driven development of adaptable service-based applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA, pp. 453-456, 2007, ACM, 978-1-59593-882-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
visual languages, graph transformations, service integration, live sequence charts, automated analysis |
13 | Wen-tsun Wu, Xiao-Shan Gao |
Automated Reasoning and Equation Solving with the Characteristic Set Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 21(5), pp. 756-764, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
characteristic set method, automated reasoning, difference equation, first order theory |
13 | Panagiotis Manolios, Sudarshan K. Srinivasan |
A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 37(1-2), pp. 93-116, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
pipelined machines, bit-level, verification, refinement, automated reasoning, ACL2 |
13 | Lee W. Jones, Sameer H. Al-Sakran, John R. Koza |
Automated synthesis of a human-competitive solution to the challenge problem of the 2002 international optical design conference by means of genetic programming and a multi-dimensional mutation operation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2006, Proceedings, Seattle, Washington, USA, July 8-12, 2006, pp. 823-830, 2006, ACM, 1-59593-186-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
human-competitive result, international optical design conference, invention machine, optical lens system, genetic programming, automated design, mutation operation |
13 | Joseph F. JáJá |
Robust technologies for automated ingestion and long-term preservation of digital information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DG.O ![In: Proceedings of the 7th Annual International Conference on Digital Government Research, DG.O 2006, San Diego, California, USA, May 21-24, 2006, pp. 285-286, 2006, Digital Government Research Center. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
automated ingestion, format registry, management of preservation processes, digital preservation, digital archiving |
|
|