|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 19 occurrences of 18 keywords
|
|
|
Results
Found 48 publication records. Showing 43 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
107 | Jeannette M. Wing |
Using Larch to Specify Avalon/C++ Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(9), pp. 1076-1088, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Avalon/C++ objects, subatomic, nonfunctional properties, complex properties, formal specification, formal specification, atomic, recoverable, Larch |
74 | Jeannette M. Wing |
Specifying Avalon Objects in Larch. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.2 ![In: TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages (CCIPL), pp. 61-80, 1989, Springer, 3-540-50940-2. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
45 | Michael Granitzer, Arno Scharl, Albert Weichselbraun, Thomas Neidhart, Andreas Juffinger, Gerhard Wohlgenannt |
Automated Ontology Learning and Validation Using Hypothesis Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AWIC ![In: Advances in Intelligent Web Mastering, Proceedings of the 5th Atlantic Web Intelligence Conference - AWIC 2007, Fontainebleau, France, June 25 - 27, 2007, pp. 130-135, 2007, Springer, 978-3-540-72574-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
41 | Barbara R. Terlouw, Kai Blin, Jorge C. Navarro-Muñoz, Nicole E. Avalon, Marc G. Chevrette, Susan Egbert, Sanghoon Lee, David Meijer, Michael J. Recchia, Zachary L. Reitz, Jeffrey A. van Santen, Nelly Selem Mojica, Thomas Tørring, Liana Zaroubi, Mohammad Alanjary, Gajender Aleti, César Aguilar, Suhad A. Al-Salihi, Hannah E. Augustijn, J. Abraham Avelar-Rivas, Luis A. Avitia-Domínguez, Francisco Barona-Gómez, Jordan Bernaldo-Agüero, Vincent A. Bielinski, Friederike Biermann, Thomas J. Booth, J. Carrion Bravo, Raquel Castelo-Branco, Fernanda O. Chagas, Pablo Cruz-Morales, Chao Du, Katherine R. Duncan, Athina Gavriilidou, Damien Gayrard, Karina Gutiérrez-García, Kristina Haslinger, Eric J. N. Helfrich, Justin J. J. van der Hooft, Afif P. Jati, Edward Kalkreuter, Nikolaos Kalyvas, Kyo Bin Kang, Satria A. Kautsar, Wonyong Kim, Aditya M. Kunjapur, Yong-Xin Li, Geng-Min Lin, Catarina Loureiro, Joris J. R. Louwen, Nico l L. Louwen, George Lund, Jonathan Parra, Benjamin Philmus, Bita Pourmohsenin, Lotte U. Pronk, Adriana Rego, Devasahayam Arokia Balaya Rex, Serina L. Robinson, L. Rodrigo Rosas-Becerra, Eve T. Roxborough, Michelle A. Schorn, Darren J. Scobie, Kumar Saurabh Singh, Nika Sokolova, Xiaoyu Tang, Daniel W. Udwary, Aruna Vigneshwari, Kristiina Vind, Sophie P. J. M. Vromans, Valentin Waschulin, Sam E. Williams, Jaclyn M. Winter, Thomas E. Witte, Huali Xie, Dong Yang, Jingwei Yu, Mitja Zdouc, Zheng Zhong, Jérôme Collemare, Roger G. Linington, Tilmann Weber, Marnix H. Medema |
MIBiG 3.0: a community-driven effort to annotate experimentally validated biosynthetic gene clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 51(D1), pp. 603-610, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
41 | Avalon Vinella, Margaret Capetz, Rebecca Pattichis, Christina Chance, Reshmi Ghosh |
Leveraging Language Models to Detect Greenwashing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.01469, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
41 | Cheila Avalon Cullen, Rafea Al Suhili, Edier Aristizabal |
A Landslide Numerical Factor Derived from CHIRPS for Shallow Rainfall Triggered Landslides in Colombia. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 14(9), pp. 2239, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
41 | Megan Ma, Dmitriy Podkopaev, Avalon Campbell-Cousins, Adam Nicholas |
Deconstructing Legal Text_Object Oriented Design in Legal Adjudication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2009.06054, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
41 | Cheila Avalon Cullen, Rafea Al-Suhili, Reza Khanbilvardi |
Guidance Index for Shallow Landslide Hazard Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 8(10), pp. 866, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
41 | Jon Avalon, Peter Hayward, Victor P. Lane, James Snaith |
E-health modelling for decision support: Can technology turn us all into experts? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: IEEE 23rd International Symposium on Computer-Based Medical Systems (CBMS 2010), Perth, Australia, October 12-15, 2010, pp. 432-437, 2010, IEEE Computer Society, 978-1-4244-9167-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
33 | Maurice Herlihy, Nancy A. Lynch, Michael Merritt, William E. Weihl |
On the Correctness of Orphan Management Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 39(4), pp. 881-930, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
avalon, camelot, input-output automata, recovery, serializability, atomic actions, Argus |
29 | Weilin Chen, Wei Yang 0011, Lide Xue, Bingren Chen, Youwen Zhu, Liusheng Huang |
Avalon: A Scalable and Secure Distributed Transaction Ledger Based on Proof-of-Market. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 72(12), pp. 3576-3589, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Simon Stepputtis, Joseph Campbell, Yaqi Xie, Zhengyang Qi, Wenxin Sharon Zhang, Ruiyi Wang, Sanketh Rangreji, Michael Lewis 0001, Katia P. Sycara |
Long-Horizon Dialogue Understanding for Role Identification in the Game of Avalon with Large Language Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.05720, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Shenzhi Wang, Chang Liu, Zilong Zheng, Siyuan Qi, Shuo Chen, Qisen Yang, Andrew Zhao, Chaofei Wang, Shiji Song, Gao Huang |
Avalon's Game of Thoughts: Battle Against Deception through Recursive Contemplation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.01320, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Yihuai Lan, Zhiqiang Hu, Lei Wang 0185, Yang Wang, Deheng Ye, Peilin Zhao, Ee-Peng Lim, Hui Xiong 0001, Hao Wang 0094 |
LLM-Based Agent Society Investigation: Collaboration and Confrontation in Avalon Gameplay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.14985, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Jonathan Light, Min Cai, Sheng Shen, Ziniu Hu |
From Text to Tactic: Evaluating LLMs Playing the Game of Avalon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.05036, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Zijing Shi, Meng Fang, Shunfeng Zheng, Shilong Deng, Ling Chen, Yali Du 0001 |
Cooperation on the Fly: Exploring Language Agents for Ad Hoc Teamwork in the Avalon Game. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.17515, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Simon Stepputtis, Joseph Campbell, Yaqi Xie, Zhengyang Qi, Wenxin Sharon Zhang, Ruiyi Wang, Sanketh Rangreji, Charles Lewis, Katia P. Sycara |
Long-Horizon Dialogue Understanding for Role Identification in the Game of Avalon with Large Language Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP (Findings) ![In: Findings of the Association for Computational Linguistics: EMNLP 2023, Singapore, December 6-10, 2023., pp. 11193-11208, 2023, Association for Computational Linguistics, 979-8-89176-061-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Joshua Albrecht, Abraham J. Fetterman, Bryden Fogelman, Ellie Kitanidis, Bartosz Wróblewski, Nicole Seo, Michael Rosenthal, Maksis Knutins, Zachary Polizzi, James B. Simon, Kanjun Qiu |
Avalon: A Benchmark for RL Generalization Using Procedurally Generated Worlds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.13417, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Robert Chuchro |
Training an Assassin AI for The Resistance: Avalon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.09331, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Joshua Albrecht, Abraham J. Fetterman, Bryden Fogelman, Ellie Kitanidis, Bartosz Wróblewski, Nicole Seo, Michael Rosenthal, Maksis Knutins, Zack Polizzi, James Simon, Kanjun Qiu |
Avalon: A Benchmark for RL Generalization Using Procedurally Generated Worlds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans, LA, USA, November 28 - December 9, 2022., 2022, 9781713871088. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
29 | Quan Chen 0002, Zhenning Wang, Jingwen Leng, Chao Li 0009, Wenli Zheng, Minyi Guo |
Avalon: towards QoS awareness and improved utilization through multi-resource management in datacenters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the ACM International Conference on Supercomputing, ICS 2019, Phoenix, AZ, USA, June 26-28, 2019, pp. 272-283, 2019, ACM, 978-1-4503-6079-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Frank Plasencia-Balabarca, Edward Mitacc-Meza, Mario Raffo-Jara, Carlos Silva Cárdenas |
A Flexible UVM-Based Verification Framework Reusable with Avalon, AHB, AXI and Wishbone Bus Interfaces for an AES Encryption Module. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATS ![In: IEEE Latin American Test Symposium, LATS 2019, Santiago, Chile, March 11-13, 2019, pp. 1-4, 2019, IEEE, 978-1-7281-1756-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Yuan Xu, Zhiyuan Yan, Sa Wang, Cheng Yang, Qingsai Xiao, Yungang Bao |
Avalon: Building an Operating System for Robotcenter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1805.00745, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
29 | Matthew Murawski, R. M. Jenita Priya, Mohammed Khalid |
Design and evaluation of Avalon compatible adapter and parameterizable NoC router for FPGAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: IEEE 28th Canadian Conference on Electrical and Computer Engineering, CCECE 2015, Halifax, NS, Canada, May 3-6, 2015, pp. 553-558, 2015, IEEE, 978-1-4799-5827-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Jon W. Dunn, Stuart L. Baker |
The avalon media system: a platform for access-controlled delivery of time-based media. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: 13th ACM/IEEE-CS Joint Conference on Digital Libraries, JCDL '13, Indianapolis, IN, USA, July 22 - 26, 2013, pp. 455-456, 2013, ACM, 978-1-4503-2077-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
29 | María Paula Santalla del Río |
Desarrollo de Recursos para el Análisis Sintáctico Automático del Español: AVALON, una gramática formal y CSA, un corpus sintácticamente analizado. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proces. del Leng. Natural ![In: Proces. del Leng. Natural 47, pp. 335-336, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
29 | Hendrik Erckens, Gion-Andri Büsser, Cédric Pradalier, Roland Siegwart |
Avalon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Robotics Autom. Mag. ![In: IEEE Robotics Autom. Mag. 17(1), pp. 45-54, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
29 | Hendrik Eeckhaut, Mark Christiaens, Dirk Stroobandt |
Improving External Memory Access for Avalon Systems on Programmable Chips.. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: FPL 2007, International Conference on Field Programmable Logic and Applications, Amsterdam, The Netherlands, 27-29 August 2007, pp. 311-316, 2007, IEEE, 1-4244-1060-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Chris Sells, Ian Griffiths |
Programming Windows presentation foundation - building Windows XP / Vista user interfaces: AKA: Avalon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2005 |
RDF |
|
29 | Feng Lin, Haili Wang, Jinian Bian |
HW/SW Interface Synthesis Based on Avalon Bus Specification for Nios-Oriented SoC Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPT ![In: Proceedings of the 2005 IEEE International Conference on Field-Programmable Technology, FPT 2005, 11-14 December 2005, Singapore, pp. 305-306, 2005, IEEE, 0-7803-9407-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
29 | Johannes Behr |
Avalon: ein skalierbares Rahmensystem für dynamische Mixed-Reality-Anwendungen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2005 |
RDF |
|
29 | Jeffrey L. Eppinger, Lily B. Mummert, Alfred Z. Spector |
Camelot and Avalon: A Distributed Transaction Facility ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1991 |
RDF |
|
29 | Stewart M. Clamen, Linda D. Leibengood, Scott Nettles, Jeannette M. Wing |
Reliable Distributed Computing with Avalon/Common Lisp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCL ![In: 1990 Internation Conference on Computer Languages, March 12-15 1990, New Orleans, Louisiana, USA, pp. 169-179, 1990, IEEE Computer Society, 0-8186-2036-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
29 | David Detlefs, Maurice Herlihy, Jeannette M. Wing |
Inheritance of Synchronization and Recovery Properties in Avalon/C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 21(12), pp. 57-69, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
29 | Richard Allen Lerner |
Reliable Servers: Design and Implementation in Avalon/C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DPDS ![In: Proceedings of the International Symposium on Databases in Parallel and Distributed Systems, Austin, Texas, USA, December 5-7, 1988, pp. 13-21, 1988, IEEE Computer Society, 0-8186-0893-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
29 | David Detlefs, Maurice Herlihy, K. Kietzke, Jeannette M. Wing |
Avalon/C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
C++ Workshop ![In: Proceedings of the C++ Workshop. Santa Fe, NM, USA, November 1987, pp. 451-459, 1987, USENIX Association. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
23 | Jay Kraut |
Hardware Edge Detection using an Altera Stratix NIOS2 Development Kit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: Proceedings of the Canadian Conference on Electrical and Computer Engineering, CCECE 2006, May 7-10, 2006, Ottawa Congress Centre, Ottawa, Canada, pp. 2013-2016, 2006, IEEE, 1-4244-0038-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Stefan Göbel 0001, Oliver Schneider 0001, Ido Iurgel, Axel Feix, Christian Knöpfle, Alexander Rettig |
Virtual Human: Storytelling and Computer Graphics for a Virtual Human Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIDSE ![In: Technologies for Interactive Digital Storytelling and Entertainment, Second International Conference, TIDSE 2004, Darmstadt, Germany, June 24-26, 2004, Proceedings, pp. 79-88, 2004, Springer, 3-540-22283-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Jens Knodel, Martin Pinzger 0001 |
Improving Fact Extraction of Framework-Based Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 10th Working Conference on Reverse Engineering, WCRE 2003, Victoria, Canada, November 13-16, 2003, pp. 186-195, 2003, IEEE Computer Society, 0-7695-2027-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
lexical pattern matching, reverse engineering, frameworks, parsing, architecture recovery, fact extraction |
23 | Alan D. Fekete, Nancy A. Lynch, William E. Weihl |
Hybrid Atomicity for Nested Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT'92, 4th International Conference, Berlin, Germany, October 14-16, 1992, Proceedings, pp. 216-230, 1992, Springer, 3-540-56039-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
23 | Gopi K. Attaluri |
Issues in managing long transactions and large objects in a multidatabase system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1992 Conference of the Centre for Advanced Studies on Collaborative Research, November 9-12, 1992, Toronto, Ontario, Canada, 2 Volumes, pp. 129-151, 1992, IBM. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
23 | Jeannette M. Wing |
Verifying Atomic Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings, pp. 731-758, 1989, Springer, 3-540-52559-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
fault-tolerance, distributed systems, program verification, transactions, Atomicity, abstract data types |
23 | Gail E. Kaiser |
Transactions for concurrent object-oriented programming systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 136-138, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #43 of 43 (100 per page; Change: )
|
|