|
|
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. |
IEEE Trans. Software Eng. |
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. |
TAPSOFT, Vol.2 |
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. |
AWIC |
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. |
Nucleic Acids Res. |
2023 |
DBLP DOI BibTeX RDF |
|
41 | Avalon Vinella, Margaret Capetz, Rebecca Pattichis, Christina Chance, Reshmi Ghosh |
Leveraging Language Models to Detect Greenwashing. |
CoRR |
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. |
Remote. Sens. |
2022 |
DBLP DOI BibTeX RDF |
|
41 | Megan Ma, Dmitriy Podkopaev, Avalon Campbell-Cousins, Adam Nicholas |
Deconstructing Legal Text_Object Oriented Design in Legal Adjudication. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
41 | Cheila Avalon Cullen, Rafea Al-Suhili, Reza Khanbilvardi |
Guidance Index for Shallow Landslide Hazard Analysis. |
Remote. Sens. |
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? |
CBMS |
2010 |
DBLP DOI BibTeX RDF |
|
33 | Maurice Herlihy, Nancy A. Lynch, Michael Merritt, William E. Weihl |
On the Correctness of Orphan Management Algorithms. |
J. ACM |
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. |
IEEE Trans. Computers |
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. |
CoRR |
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. |
CoRR |
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. |
CoRR |
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. |
CoRR |
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. |
CoRR |
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. |
EMNLP (Findings) |
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. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Robert Chuchro |
Training an Assassin AI for The Resistance: Avalon. |
CoRR |
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. |
NeurIPS |
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. |
ICS |
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. |
LATS |
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. |
CoRR |
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. |
CCECE |
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. |
JCDL |
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. |
Proces. del Leng. Natural |
2011 |
DBLP BibTeX RDF |
|
29 | Hendrik Erckens, Gion-Andri Büsser, Cédric Pradalier, Roland Siegwart |
Avalon. |
IEEE Robotics Autom. Mag. |
2010 |
DBLP DOI BibTeX RDF |
|
29 | Hendrik Eeckhaut, Mark Christiaens, Dirk Stroobandt |
Improving External Memory Access for Avalon Systems on Programmable Chips.. |
FPL |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Chris Sells, Ian Griffiths |
Programming Windows presentation foundation - building Windows XP / Vista user interfaces: AKA: Avalon. |
|
2005 |
RDF |
|
29 | Feng Lin, Haili Wang, Jinian Bian |
HW/SW Interface Synthesis Based on Avalon Bus Specification for Nios-Oriented SoC Design. |
FPT |
2005 |
DBLP BibTeX RDF |
|
29 | Johannes Behr |
Avalon: ein skalierbares Rahmensystem für dynamische Mixed-Reality-Anwendungen. |
|
2005 |
RDF |
|
29 | Jeffrey L. Eppinger, Lily B. Mummert, Alfred Z. Spector |
Camelot and Avalon: A Distributed Transaction Facility |
|
1991 |
RDF |
|
29 | Stewart M. Clamen, Linda D. Leibengood, Scott Nettles, Jeannette M. Wing |
Reliable Distributed Computing with Avalon/Common Lisp. |
ICCL |
1990 |
DBLP DOI BibTeX RDF |
|
29 | David Detlefs, Maurice Herlihy, Jeannette M. Wing |
Inheritance of Synchronization and Recovery Properties in Avalon/C++. |
Computer |
1988 |
DBLP DOI BibTeX RDF |
|
29 | Richard Allen Lerner |
Reliable Servers: Design and Implementation in Avalon/C++. |
DPDS |
1988 |
DBLP DOI BibTeX RDF |
|
29 | David Detlefs, Maurice Herlihy, K. Kietzke, Jeannette M. Wing |
Avalon/C++. |
C++ Workshop |
1987 |
DBLP BibTeX RDF |
|
23 | Jay Kraut |
Hardware Edge Detection using an Altera Stratix NIOS2 Development Kit. |
CCECE |
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. |
TIDSE |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Jens Knodel, Martin Pinzger 0001 |
Improving Fact Extraction of Framework-Based Software Systems. |
WCRE |
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. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
23 | Gopi K. Attaluri |
Issues in managing long transactions and large objects in a multidatabase system. |
CASCON |
1992 |
DBLP BibTeX RDF |
|
23 | Jeannette M. Wing |
Verifying Atomic Data Types. |
REX Workshop |
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. |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming |
1988 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #43 of 43 (100 per page; Change: )
|
|