The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for competition with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1961-1979 (21) 1980-1982 (16) 1983-1985 (16) 1986-1987 (17) 1988-1989 (25) 1990 (17) 1991 (20) 1992 (22) 1993 (37) 1994 (24) 1995 (27) 1996 (38) 1997 (108) 1998 (94) 1999 (68) 2000 (171) 2001 (138) 2002 (185) 2003 (231) 2004 (288) 2005 (300) 2006 (377) 2007 (402) 2008 (432) 2009 (416) 2010 (239) 2011 (256) 2012 (277) 2013 (307) 2014 (327) 2015 (329) 2016 (342) 2017 (430) 2018 (476) 2019 (435) 2020 (429) 2021 (520) 2022 (469) 2023 (467) 2024 (137)
Publication types (Num. hits)
article(4267) book(9) data(6) incollection(48) inproceedings(4546) phdthesis(34) proceedings(20)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2545 occurrences of 1545 keywords

Results
Found 8930 publication records. Showing 8930 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
9Miaoting Cheng, Xiaoyan Lai, Da Tao, Juntong Lai, Jun Yang Children's programming environment acceptance: extending the boundary conditions to programming competition, computational thinking, and programming modality. Search on Bibsonomy Educ. Inf. Technol. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Shuxing Li, Jiawei Xu, Honghua Dong, Yu Yang, Chun Yuan, Peng Sun, Lei Han 0001 The Fittest Wins: A Multistage Framework Achieving New SOTA in ViZDoom Competition. Search on Bibsonomy IEEE Trans. Games The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Anna Yu-Ju Yen, Maria R. Lee Technology competition of human-AI collaboration on the film and animation creation. Search on Bibsonomy Int. J. Soc. Humanist. Comput. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Rugang Ma, Xiaowen Zhou Explosion of continuous-state branching processes with competition in a Lévy environment. Search on Bibsonomy J. Appl. Probab. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Yijun Chen 0002, Guodong Shi How Cooperation and Competition Arise in Regional Climate Policies: RICE as a Dynamic Game. Search on Bibsonomy IEEE Trans. Control. Syst. Technol. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Zhuangzhuang Ma, Lei Shi 0012, Kai Chen 0018, Jinliang Shao, Yuhua Cheng 0001 Multi-Agent Bipartite Flocking Control Over Cooperation-Competition Networks With Asynchronous Communications. Search on Bibsonomy IEEE Trans. Signal Inf. Process. over Networks The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Nan Chen, Jianfeng Cai 0002, Devika Kannan, Kannan Govindan 0002 Optimal channel selection considering price competition and information sharing under demand uncertainty. Search on Bibsonomy Ind. Manag. Data Syst. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Carlos Jose Xavier Cruz Transforming Competition into Collaboration: The Revolutionary Role of Multi-Agent Systems and Language Models in Modern Organizations. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Fan Yao, Chuanhao Li, Denis Nekipelov, Hongning Wang, Haifeng Xu Human vs. Generative AI in Content Creation Competition: Symbiosis or Conflict? Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Shengdong Xu, Zhouyang Chi, Yang Yang Solution for Emotion Prediction Competition of Workshop on Emotionally and Culturally Intelligent AI. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Baiyi Wang, Zipeng Zhang, Patrick Siarry, Xinhua Liu, Grzegorz Królczyk, Dezheng Hua, Frantisek Brumercik, Zhixiong Li 0001 A Nonlinear African Vulture Optimization Algorithm Combining Henon Chaotic Mapping Theory and Reverse Learning Competition Strategy. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Dimitrios Kollias, Panagiotis Tzirakis, Alan Cowen, Stefanos Zafeiriou, Irene Kotsia, Alice Baird, Chris Gagne 0001, Chunchang Shao, Guanyu Hu The 6th Affective Behavior Analysis in-the-wild (ABAW) Competition. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Johannes Brustle, José Correa 0001, Paul Dütting, Tomer Ezra, Michal Feldman, Victor Verdugo The Competition Complexity of Prophet Inequalities. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Francesco Ortu, Zhijing Jin, Diego Doimo, Mrinmaya Sachan, Alberto Cazzaniga, Bernhard Schölkopf Competition of Mechanisms: Tracing How Language Models Handle Facts and Counterfactuals. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Pittawat Taveekitworachai, Febri Abdullah, Mury F. Dewantoro, Yi Xia, Pratch Suntichaikul, Ruck Thawonmas, Julian Togelius, Jochen Renz ChatGPT4PCG 2 Competition: Prompt Engineering for Science Birds Level Generation. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Carlos Henrique Quartucci Forster, Paulo André Lima de Castro, Andrei Ramalho A Methodology for Questionnaire Analysis: Insights through Cluster Analysis of an Investor Competition Data. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Yujun Mao, Yoon Kim, Yilun Zhou CHAMP: A Competition-level Dataset for Fine-Grained Analyses of LLMs' Mathematical Reasoning Capabilities. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Shuaijiang Zhao, Xiaoquan Fang Technical Report: Competition Solution For BetterMixture. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Scott Goodfriend A Competition Winning Deep Reinforcement Learning Agent in microRTS. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Quang Pham, Giang Do, Huy Nguyen, TrungTin Nguyen, Chenghao Liu, Mina Sartipi, Binh T. Nguyen 0001, Savitha Ramasamy, Xiaoli Li 0001, Steven C. H. Hoi, Nhat Ho CompeteSMoE - Effective Training of Sparse Mixture of Experts via Competition. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Jiawei Zhang Regulating Chatbot Output via Inter-Informational Competition. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Wenjian Luo, Peilan Xu, Shengxiang Yang, Yuhui Shi Benchmark for CEC 2024 Competition on Multiparty Multiobjective Optimization. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Yufei Huang, Shengding Hu, Xu Han, Zhiyuan Liu, Maosong Sun Unified View of Grokking, Double Descent and Emergent Abilities: A Perspective from Circuits Competition. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Subhamon Supantha, Naresh Kumar Sharma 0004 A Dynamic Agent Based Model of the Real Economy with Monopolistic Competition, Perfect Product Differentiation, Heterogeneous Agents, Increasing Returns to Scale and Trade in Disequilibrium. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Kyoungtae Ji, Sangjae Bae, Nan Li 0015, Kyoungseok Han Competition-Aware Decision-Making Approach for Mobile Robots in Racing Scenarios. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Takashi Minato, Ryuichiro Higashinaka, Kurima Sakai, Tomo Funayama, Hiromitsu Nishizaki, Takayuki Nagai Overview of Dialogue Robot Competition 2023. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Andrey V. Savchenko HSEmotion Team at the 6th ABAW Competition: Facial Expressions, Valence-Arousal and Emotion Intensity Prediction. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Kris Hauser, Eleanor Watson, Joonbum Bae, Josh Bankston, Sven Behnke, Bill Borgia, Manuel G. Catalano, Stefano Dafarra, Jan B. F. van Erp, Thomas Ferris, Jeremy Fishel, Guy Hoffman, Serena Ivaldi, Fumio Kanehiro, Abderrahmane Kheddar, Gaelle Lannuzel, Jacquelyn Ford Morie, Patrick Naughton, Steve NGuyen, Paul Y. Oh, Taskin Padir, Jim Pippine, Jaeheung Park, Daniele Pucci, Jean Chagas Vaz, Peter Whitney, Peggy Wu, David Locke Analysis and Perspectives on the ANA Avatar XPRIZE Competition. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Mahsa Derakhshan, Emily Ryu, S. Matthew Weinberg, Eric Xue 0001 Settling the Competition Complexity of Additive Buyers over Independent Items. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Kangyao Huang, Di Guo, Xinyu Zhang, Xiangyang Ji, Huaping Liu Stimulate the Potential of Robots via Competition. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9So Sasaki, Cédric Langbort Misinformation Regulation in the Presence of Competition between Social Media Platforms (Extended Version). Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Denis Dresvyanskiy, Maxim Markitantov, Jiawei Yu, Peitong Li, Heysem Kaya, Alexey Karpov 0001 SUN Team's Contribution to ABAW 2024 Competition: Audio-visual Valence-Arousal Estimation and Expression Recognition. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Ahmed Said Donmez, Yuksel Arslantas, Muhammed O. Sayin Team Collaboration vs Competition: New Fictitious Play Dynamics for Multi-team Zero-Sum Games. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Nicolas Erni, Al-Ameen Mohammed Ali Mohammed, Christian Birchler, Pouria Derakhshanfar, Stephan Lukasczyk, Sebastiano Panichella SBFT Tool Competition 2024 - Python Test Case Generation Track. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Federico Galbiati, Ranier X. Gran, Brendan D. Jacques, Sullivan J. Mulhern, Chun-Kit Ngan An Integrated Framework for Team Formation and Winner Prediction in the FIRST Robotics Competition: Model, Algorithm, and Analysis. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Mingzhu Yu, Xinni Tan, Jihong Chen Pricing competition in maritime transportation with blockchain technology and empty container repositioning. Search on Bibsonomy Adv. Eng. Informatics The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Nan Li, Fan Li, Chengjun Liu Do buyer protection mechanisms help sellers? A model of seller competition in the presence of online reputation systems. Search on Bibsonomy Adv. Eng. Informatics The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Patrice Cassagnard, Thiam Mamadou How Strategic Trade Policy Leads to Mixed Cournot-Bertrand Competition? Search on Bibsonomy IGTR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Konstantin Schall, Werner Bailer, Kai Uwe Barthel, Fabio Carrara, Jakub Lokoc, Ladislav Peska, Klaus Schoeffmann, Lucia Vadicamo, Claudio Vairo Interactive multimodal video search: an extended post-evaluation for the VBS 2022 competition. Search on Bibsonomy Int. J. Multim. Inf. Retr. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Qin Zhou, Chao Meng, Jiuh-Biing Sheu, Kum Fai Yuen Impact of Market Competition on Remanufacturing Investment. Search on Bibsonomy IEEE Trans. Engineering Management The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Xianpei Hong, Menghuan Zhou, Yeming Gong Technology Licensing Under Competition: Absorptive Capacity vs. Innovation Capability. Search on Bibsonomy IEEE Trans. Engineering Management The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Xin Li, Yuanfei Shen, Haolun Cheng, Fei Yuan, Lucheng Huang Identifying the Development Trends and Technological Competition Situations for Digital Twin: A Bibliometric Overview and Patent Landscape Analysis. Search on Bibsonomy IEEE Trans. Engineering Management The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Qin Zhou, Kum Fai Yuen, Chao Meng, Jiuh-Biing Sheu Impact of Intercompetitor Licensing on Remanufacturing Market Competition and Cooperation. Search on Bibsonomy IEEE Trans. Engineering Management The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Chi Zhou 0001, Xinyu Li, Yufei Ren, Jing Yu How Do Fairness Concern and Power Structure Affect Competition Between E-Platforms and Third-Party Sellers? Search on Bibsonomy IEEE Trans. Engineering Management The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Libo Li Boosting Performance in Data Science Competition Using Topic-Driven Analytics: Evidence From Recommendation System Design on Kaggle. Search on Bibsonomy IEEE Trans. Engineering Management The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Jing Li, Kun Zhang 0019, Chenglong Zhang, Li Li, Xicheng Yin Compatible or Incompatible: The Interplay of Vertical Differentiation Competition and Third-Party Marketplace Openness. Search on Bibsonomy IEEE Trans. Engineering Management The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Ye Lim Jung, Hyoung Sun Yoo Competition and Pharmaceutical Innovation: The Moderating Role of Size and Age of Leading Companies in the Market. Search on Bibsonomy IEEE Trans. Engineering Management The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Xumei Zhang, Xiaoyu Zha, Bin Dan, Yi Liu, Ronghua Sui Logistics mode selection and information sharing in a cross-border e-commerce supply chain with competition. Search on Bibsonomy Eur. J. Oper. Res. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Cristián Troncoso-Valverde, Felipe Chávez-Bustamante Do you want to know a secret? Strategic alliances and competition in product markets. Search on Bibsonomy Eur. J. Oper. Res. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Zhifeng Qian, Steven James Day, Joshua Ignatius, Lalitha Dhamotharan, Junwu Chai Digital advertising spillover, online-exclusive product launches, and manufacturer-remanufacturer competition. Search on Bibsonomy Eur. J. Oper. Res. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Wei Gu, H. Sebastian Heese, Eda Kemahlioglu-Ziya, Serhan Ziya Pricing for services with cross-segment externalities, capacity constraints, and competition. Search on Bibsonomy Eur. J. Oper. Res. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Arda Yenipazarli Strategic incentives for comparative advertising investments in non-zero-sum competition and economic consequences. Search on Bibsonomy Eur. J. Oper. Res. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Jong-Shenq Guo, Karen Guo, Masahiko Shimojo Stability of monostable traveling waves in diffusive three-species competition systems. Search on Bibsonomy Appl. Math. Lett. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Hojin Chu, Suh-Ryung Kim Competition graphs of degree bounded digraphs. Search on Bibsonomy Discret. Appl. Math. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Hui-Tzu Chang, Chia-Yu Lin Applying Competition-Based Learning to Stimulate Students' Practical and Competitive AI Ability in a Machine Learning Curriculum. Search on Bibsonomy IEEE Trans. Educ. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Dan Li, Hualong Yang, Zhibin Hu Exploring the ineffectiveness of gamification health management: a U-shaped relationship between competition and technological exhaustion. Search on Bibsonomy Inf. Technol. People The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Jie Lin, Sheng Xin Zhang, Shao Yong Zheng A diverse/converged individual competition algorithm for computationally expensive many-objective optimization. Search on Bibsonomy Appl. Intell. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Luiz H. A. Monteiro, Frederico C. Nonis, Ricardo Concilio Biological pest control and crop-tree competition in agroforestry: a dynamical systems analysis. Search on Bibsonomy Comput. Appl. Math. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Thomas Kamalakis, Georgia Dede, Christos Michalakelis, Mara Nikolaidou Game-theoretic analysis of competition between access service providers utilizing a Nash genetic algorithm. Search on Bibsonomy Oper. Res. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Jan Petr, Julien Portier Bounds for the competition-independence game on trees. Search on Bibsonomy Discret. Math. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Lixiang Sun, Yixin Yang, Guoxiong Zhou, Aibin Chen, Yukai Zhang, Weiwei Cai, Liujun Li An integration-competition network for bridge crack segmentation under complex scenes. Search on Bibsonomy Comput. Aided Civ. Infrastructure Eng. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Valerio Antonini, Alessandra Mileo, Mark Roantree Engineering Features from Raw Sensor Data to Analyse Player Movements during Competition. Search on Bibsonomy Sensors The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Sjoerd Terpstra, Flavia Maria Darcie Marquitti, Vítor V. Vasconcelos Adaptive foraging of pollinators fosters gradual tipping under resource competition and rapid environmental change. Search on Bibsonomy PLoS Comput. Biol. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Zhijie Feng, Robert Marsland III, Jason W. Rocks, Pankaj Mehta Emergent competition shapes top-down versus bottom-up control in multi-trophic ecosystems. Search on Bibsonomy PLoS Comput. Biol. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Limin Zhang, Yike Xu, Guangyuan Liao, Mainul Haque Qualitative properties and bifurcations of a Cournot-Bertrand duopoly mixed competition model. Search on Bibsonomy Commun. Nonlinear Sci. Numer. Simul. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Xindong Si, Zhen Wang 0008, Yingjie Fan 0003, Xia Huang Coopetition-dependent controller design for bipartite synchronization of cooperation-competition delayed memristive neural networks. Search on Bibsonomy Commun. Nonlinear Sci. Numer. Simul. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Helmut Bester, József Sákovics Cooperation, competition, and welfare in a matching market. Search on Bibsonomy Games Econ. Behav. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Jianli Xiao, Hanli Xiao The Complexities in the R&D Competition Model with Spillover Effects in the Supply Chain. Search on Bibsonomy Complex. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Muhammad Mohebujjaman, Clarisa Buenrostro, Md. Kamrujjaman, Taufiquar Khan Decoupled algorithms for non-linearly coupled reaction-diffusion competition model with harvesting and stocking. Search on Bibsonomy J. Comput. Appl. Math. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Dmitry A. Ammosov, N. V. Malysheva, Liudmila S. Zamorshchikova Generalized multiscale finite element method for language competition modeling I: Offline approach. Search on Bibsonomy J. Comput. Appl. Math. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Dmitry A. Ammosov, N. V. Malysheva, Liudmila S. Zamorshchikova Generalized multiscale finite element method for language competition modeling II: Online approach. Search on Bibsonomy J. Comput. Appl. Math. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Takashi Yamada Evolutionary Competition in Small-Size Lowest Unique Integer Games. Search on Bibsonomy J. Adv. Comput. Intell. Intell. Informatics The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Henna Hyypiö, Sarthak Giri, Harri Oinas-Kukkonen Exploring Self-competition as a Viable Motivation to Promote Physical Activity. Search on Bibsonomy PERSUASIVE The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Quim Motger, Xavier Franch, Vincenzo Gervasi, Jordi Marco Unveiling Competition Dynamics in Mobile App Markets Through User Reviews. Search on Bibsonomy REFSQ The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Franco Galante, Michele Garetto, Emilio Leonardi Competition of Influencers: A Model for Maximizing Online Social Impact. Search on Bibsonomy WebSci The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Xiaotie Deng, Hangxin Gan, Ningyuan Li, Weian Li, Qi Qi 0003 Competition among Pairwise Lottery Contests. Search on Bibsonomy AAAI The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Hui Li, Jiayi Zhou, Qingquan Zhang Rolling Horizon Co-evolution for Snake AI Competition. Search on Bibsonomy Intelligent Information Processing (1) The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Simmo Saan, Julian Erhard, Michael Schwarz 0007, Stanimir Bozhilov, Karoliine Holter, Sarah Tilscher, Vesal Vojdani, Helmut Seidl Goblint: Abstract Interpretation for Memory Safety and Termination - (Competition Contribution). Search on Bibsonomy TACAS (3) The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Marek Chalupa, Cedric Richter Bubaak-SpLit: Split what you cannot verify (Competition contribution). Search on Bibsonomy TACAS (3) The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Paulína Ayaziová, Jan Strejcek Witch 3: Validation of Violation Witnesses in the Witness Format 2.0 - (Competition Contribution). Search on Bibsonomy TACAS (3) The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Rafael Sá Menezes, Mohannad Aldughaim, Bruno Farias, Xianzhiyu Li, Edoardo Manino, Fedor Shmarov, Kunjian Song, Franz Brauße, Mikhail R. Gadelha, Norbert Tihanyi, Konstantin Korovin, Lucas C. Cordeiro ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution). Search on Bibsonomy TACAS (3) The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Frank Schüssele, Manuel Bentele, Daniel Dietsch, Matthias Heizmann, Xinyu Jiang, Dominik Klumpp, Andreas Podelski Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution). Search on Bibsonomy TACAS (3) The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Daniel Baier, Dirk Beyer 0001, Po-Chun Chien, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger 0002, Marian Lingsch Rosenfeld, Martin Spiessl, Henrik Wachowitz, Philipp Wendler CPAchecker 2.3 with Strategy Selection - (Competition Contribution). Search on Bibsonomy TACAS (3) The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Martin Jonás, Kristián Kumor, Jakub Novák, Jindrich Sedlácek, Marek Trtík, Lukás Zaoral, Paulína Ayaziová, Jan Strejcek Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution - (Competition Contribution). Search on Bibsonomy TACAS (3) The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Zhen Wang, Zhenbang Chen AISE: A Symbolic Verifier by Synergizing Abstract Interpretation and Symbolic Execution (Competition Contribution). Search on Bibsonomy TACAS (3) The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar, R. Venkatesh 0001, Supratik Chakraborty PROTON: PRObes for Termination Or Not (Competition Contribution). Search on Bibsonomy TACAS (3) The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Levente Bajczi, Zsófia Ádám, Zoltán Micskei ConcurrentWitness2Test: Test-Harnessing the Power of Concurrency (Competition Contribution). Search on Bibsonomy TACAS (3) The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Nils Loose, Felix Mächtle, Florian Sieck, Thomas Eisenbarth 0001 SWAT: Modular Dynamic Symbolic Execution for Java Applications using Dynamic Instrumentation (Competition Contribution). Search on Bibsonomy TACAS (3) The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Raphaël Monat, Marco Milanese, Francesco Parolini, Jérôme Boillot, Abdelraouf Ouadjaout, Antoine Miné Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution). Search on Bibsonomy TACAS (3) The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Simmo Saan, Julian Erhard, Michael Schwarz 0007, Stanimir Bozhilov, Karoliine Holter, Sarah Tilscher, Vesal Vojdani, Helmut Seidl Goblint Validator: Correctness Witness Validation by Abstract Interpretation - (Competition Contribution). Search on Bibsonomy TACAS (3) The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Levente Bajczi, Csanád Telbisz, Márk Somorjai, Zsófia Ádám, Mihály Dobos-Kovács, Dániel Szekeres, Milán Mondok, Vince Molnár Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution). Search on Bibsonomy TACAS (3) The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Levente Bajczi, Dániel Szekeres, Milán Mondok, Zsófia Ádám, Márk Somorjai, Csanád Telbisz, Mihály Dobos-Kovács, Vince Molnár EmergenTheta: Verification Beyond Abstraction Refinement (Competition Contribution). Search on Bibsonomy TACAS (3) The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Ted Ladd, Robert Barlow, Beau Giannini, Annette Pflaum Decentralized Autonomous Organizations as a Threat to Centralized Platforms: Applying and Expanding Theories of Platform Competition and Disintermediation. Search on Bibsonomy HICSS The full citation details ... 2024 DBLP  BibTeX  RDF
9Wil Fisackerly, Yongjin Hwang Where do Amateurs Go to Become Pros? A Comparison of the Current Competition Systems in Collegiate Esports to Traditional Collegiate Sport Environments. Search on Bibsonomy HICSS The full citation details ... 2024 DBLP  BibTeX  RDF
9Gábor Szárnyas Linked Data Benchmark Council: 12 years of fostering competition in the graph processing space. Search on Bibsonomy ICPE (Companion) The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Matthieu Godichaud, Lionel Amodeo Hybrid Manufacturing / Remanufacturing Inventory Model with Two Markets and Price Sensitive Demands with Competition. Search on Bibsonomy ICORES The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Martin Jonás, Jan Strejcek, Marek Trtík, Lukás Urban Fizzer: New Gray-Box Fuzzer - (Competition Contribution). Search on Bibsonomy FASE The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Guofeng Zhang 0005, Ziqi Shuai, Kelin Ma, Kunlin Liu, Zhenbang Chen, Ji Wang 0001 FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution). Search on Bibsonomy FASE The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Arpita Dutta, Rasool Maghareh, Joxan Jaffar, Sangharatna Godboley, Xiao Liang Yu TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution). Search on Bibsonomy FASE The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
9Aleksandr Misonizhnik, Sergey Morozov 0004, Yurii Kostyukov, Vladislav Kalugin, Aleksei Babushkin, Dmitry Mordvinov, Dmitry Ivanov KLEEF: Symbolic Execution Engine (Competition Contribution). Search on Bibsonomy FASE The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
Displaying result #801 - #900 of 8930 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][16][17][18][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license