|
|
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 |
9 | Miaoting 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. |
Educ. Inf. Technol. |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Shuxing 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. |
IEEE Trans. Games |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Anna Yu-Ju Yen, Maria R. Lee |
Technology competition of human-AI collaboration on the film and animation creation. |
Int. J. Soc. Humanist. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Rugang Ma, Xiaowen Zhou |
Explosion of continuous-state branching processes with competition in a Lévy environment. |
J. Appl. Probab. |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Yijun Chen 0002, Guodong Shi |
How Cooperation and Competition Arise in Regional Climate Policies: RICE as a Dynamic Game. |
IEEE Trans. Control. Syst. Technol. |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Zhuangzhuang Ma, Lei Shi 0012, Kai Chen 0018, Jinliang Shao, Yuhua Cheng 0001 |
Multi-Agent Bipartite Flocking Control Over Cooperation-Competition Networks With Asynchronous Communications. |
IEEE Trans. Signal Inf. Process. over Networks |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Nan Chen, Jianfeng Cai 0002, Devika Kannan, Kannan Govindan 0002 |
Optimal channel selection considering price competition and information sharing under demand uncertainty. |
Ind. Manag. Data Syst. |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Carlos Jose Xavier Cruz |
Transforming Competition into Collaboration: The Revolutionary Role of Multi-Agent Systems and Language Models in Modern Organizations. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Fan Yao, Chuanhao Li, Denis Nekipelov, Hongning Wang, Haifeng Xu |
Human vs. Generative AI in Content Creation Competition: Symbiosis or Conflict? |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Shengdong Xu, Zhouyang Chi, Yang Yang |
Solution for Emotion Prediction Competition of Workshop on Emotionally and Culturally Intelligent AI. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Baiyi 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. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Dimitrios 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. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Johannes Brustle, José Correa 0001, Paul Dütting, Tomer Ezra, Michal Feldman, Victor Verdugo |
The Competition Complexity of Prophet Inequalities. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Francesco Ortu, Zhijing Jin, Diego Doimo, Mrinmaya Sachan, Alberto Cazzaniga, Bernhard Schölkopf |
Competition of Mechanisms: Tracing How Language Models Handle Facts and Counterfactuals. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Pittawat 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. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Carlos Henrique Quartucci Forster, Paulo André Lima de Castro, Andrei Ramalho |
A Methodology for Questionnaire Analysis: Insights through Cluster Analysis of an Investor Competition Data. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Yujun Mao, Yoon Kim, Yilun Zhou |
CHAMP: A Competition-level Dataset for Fine-Grained Analyses of LLMs' Mathematical Reasoning Capabilities. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Shuaijiang Zhao, Xiaoquan Fang |
Technical Report: Competition Solution For BetterMixture. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Scott Goodfriend |
A Competition Winning Deep Reinforcement Learning Agent in microRTS. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Quang 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. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Jiawei Zhang |
Regulating Chatbot Output via Inter-Informational Competition. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Wenjian Luo, Peilan Xu, Shengxiang Yang, Yuhui Shi |
Benchmark for CEC 2024 Competition on Multiparty Multiobjective Optimization. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Yufei Huang, Shengding Hu, Xu Han, Zhiyuan Liu, Maosong Sun |
Unified View of Grokking, Double Descent and Emergent Abilities: A Perspective from Circuits Competition. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Subhamon 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. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Kyoungtae Ji, Sangjae Bae, Nan Li 0015, Kyoungseok Han |
Competition-Aware Decision-Making Approach for Mobile Robots in Racing Scenarios. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Takashi Minato, Ryuichiro Higashinaka, Kurima Sakai, Tomo Funayama, Hiromitsu Nishizaki, Takayuki Nagai |
Overview of Dialogue Robot Competition 2023. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Andrey V. Savchenko |
HSEmotion Team at the 6th ABAW Competition: Facial Expressions, Valence-Arousal and Emotion Intensity Prediction. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Kris 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. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Mahsa Derakhshan, Emily Ryu, S. Matthew Weinberg, Eric Xue 0001 |
Settling the Competition Complexity of Additive Buyers over Independent Items. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Kangyao Huang, Di Guo, Xinyu Zhang, Xiangyang Ji, Huaping Liu |
Stimulate the Potential of Robots via Competition. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
9 | So Sasaki, Cédric Langbort |
Misinformation Regulation in the Presence of Competition between Social Media Platforms (Extended Version). |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Denis 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. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Ahmed Said Donmez, Yuksel Arslantas, Muhammed O. Sayin |
Team Collaboration vs Competition: New Fictitious Play Dynamics for Multi-team Zero-Sum Games. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Nicolas Erni, Al-Ameen Mohammed Ali Mohammed, Christian Birchler, Pouria Derakhshanfar, Stephan Lukasczyk, Sebastiano Panichella |
SBFT Tool Competition 2024 - Python Test Case Generation Track. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Federico 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. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Mingzhu Yu, Xinni Tan, Jihong Chen |
Pricing competition in maritime transportation with blockchain technology and empty container repositioning. |
Adv. Eng. Informatics |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Nan Li, Fan Li, Chengjun Liu |
Do buyer protection mechanisms help sellers? A model of seller competition in the presence of online reputation systems. |
Adv. Eng. Informatics |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Patrice Cassagnard, Thiam Mamadou |
How Strategic Trade Policy Leads to Mixed Cournot-Bertrand Competition? |
IGTR |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Konstantin 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. |
Int. J. Multim. Inf. Retr. |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Qin Zhou, Chao Meng, Jiuh-Biing Sheu, Kum Fai Yuen |
Impact of Market Competition on Remanufacturing Investment. |
IEEE Trans. Engineering Management |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Xianpei Hong, Menghuan Zhou, Yeming Gong |
Technology Licensing Under Competition: Absorptive Capacity vs. Innovation Capability. |
IEEE Trans. Engineering Management |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Xin 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. |
IEEE Trans. Engineering Management |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Qin Zhou, Kum Fai Yuen, Chao Meng, Jiuh-Biing Sheu |
Impact of Intercompetitor Licensing on Remanufacturing Market Competition and Cooperation. |
IEEE Trans. Engineering Management |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Chi Zhou 0001, Xinyu Li, Yufei Ren, Jing Yu |
How Do Fairness Concern and Power Structure Affect Competition Between E-Platforms and Third-Party Sellers? |
IEEE Trans. Engineering Management |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Libo Li |
Boosting Performance in Data Science Competition Using Topic-Driven Analytics: Evidence From Recommendation System Design on Kaggle. |
IEEE Trans. Engineering Management |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Jing Li, Kun Zhang 0019, Chenglong Zhang, Li Li, Xicheng Yin |
Compatible or Incompatible: The Interplay of Vertical Differentiation Competition and Third-Party Marketplace Openness. |
IEEE Trans. Engineering Management |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Ye Lim Jung, Hyoung Sun Yoo |
Competition and Pharmaceutical Innovation: The Moderating Role of Size and Age of Leading Companies in the Market. |
IEEE Trans. Engineering Management |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Xumei 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. |
Eur. J. Oper. Res. |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Cristián Troncoso-Valverde, Felipe Chávez-Bustamante |
Do you want to know a secret? Strategic alliances and competition in product markets. |
Eur. J. Oper. Res. |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Zhifeng Qian, Steven James Day, Joshua Ignatius, Lalitha Dhamotharan, Junwu Chai |
Digital advertising spillover, online-exclusive product launches, and manufacturer-remanufacturer competition. |
Eur. J. Oper. Res. |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Wei Gu, H. Sebastian Heese, Eda Kemahlioglu-Ziya, Serhan Ziya |
Pricing for services with cross-segment externalities, capacity constraints, and competition. |
Eur. J. Oper. Res. |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Arda Yenipazarli |
Strategic incentives for comparative advertising investments in non-zero-sum competition and economic consequences. |
Eur. J. Oper. Res. |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Jong-Shenq Guo, Karen Guo, Masahiko Shimojo |
Stability of monostable traveling waves in diffusive three-species competition systems. |
Appl. Math. Lett. |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Hojin Chu, Suh-Ryung Kim |
Competition graphs of degree bounded digraphs. |
Discret. Appl. Math. |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Hui-Tzu Chang, Chia-Yu Lin |
Applying Competition-Based Learning to Stimulate Students' Practical and Competitive AI Ability in a Machine Learning Curriculum. |
IEEE Trans. Educ. |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Dan Li, Hualong Yang, Zhibin Hu |
Exploring the ineffectiveness of gamification health management: a U-shaped relationship between competition and technological exhaustion. |
Inf. Technol. People |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Jie Lin, Sheng Xin Zhang, Shao Yong Zheng |
A diverse/converged individual competition algorithm for computationally expensive many-objective optimization. |
Appl. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Luiz H. A. Monteiro, Frederico C. Nonis, Ricardo Concilio |
Biological pest control and crop-tree competition in agroforestry: a dynamical systems analysis. |
Comput. Appl. Math. |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Thomas Kamalakis, Georgia Dede, Christos Michalakelis, Mara Nikolaidou |
Game-theoretic analysis of competition between access service providers utilizing a Nash genetic algorithm. |
Oper. Res. |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Jan Petr, Julien Portier |
Bounds for the competition-independence game on trees. |
Discret. Math. |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Lixiang Sun, Yixin Yang, Guoxiong Zhou, Aibin Chen, Yukai Zhang, Weiwei Cai, Liujun Li |
An integration-competition network for bridge crack segmentation under complex scenes. |
Comput. Aided Civ. Infrastructure Eng. |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Valerio Antonini, Alessandra Mileo, Mark Roantree |
Engineering Features from Raw Sensor Data to Analyse Player Movements during Competition. |
Sensors |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Sjoerd Terpstra, Flavia Maria Darcie Marquitti, Vítor V. Vasconcelos |
Adaptive foraging of pollinators fosters gradual tipping under resource competition and rapid environmental change. |
PLoS Comput. Biol. |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Zhijie Feng, Robert Marsland III, Jason W. Rocks, Pankaj Mehta |
Emergent competition shapes top-down versus bottom-up control in multi-trophic ecosystems. |
PLoS Comput. Biol. |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Limin Zhang, Yike Xu, Guangyuan Liao, Mainul Haque |
Qualitative properties and bifurcations of a Cournot-Bertrand duopoly mixed competition model. |
Commun. Nonlinear Sci. Numer. Simul. |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Xindong Si, Zhen Wang 0008, Yingjie Fan 0003, Xia Huang |
Coopetition-dependent controller design for bipartite synchronization of cooperation-competition delayed memristive neural networks. |
Commun. Nonlinear Sci. Numer. Simul. |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Helmut Bester, József Sákovics |
Cooperation, competition, and welfare in a matching market. |
Games Econ. Behav. |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Jianli Xiao, Hanli Xiao |
The Complexities in the R&D Competition Model with Spillover Effects in the Supply Chain. |
Complex. |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Muhammad Mohebujjaman, Clarisa Buenrostro, Md. Kamrujjaman, Taufiquar Khan |
Decoupled algorithms for non-linearly coupled reaction-diffusion competition model with harvesting and stocking. |
J. Comput. Appl. Math. |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Dmitry A. Ammosov, N. V. Malysheva, Liudmila S. Zamorshchikova |
Generalized multiscale finite element method for language competition modeling I: Offline approach. |
J. Comput. Appl. Math. |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Dmitry A. Ammosov, N. V. Malysheva, Liudmila S. Zamorshchikova |
Generalized multiscale finite element method for language competition modeling II: Online approach. |
J. Comput. Appl. Math. |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Takashi Yamada |
Evolutionary Competition in Small-Size Lowest Unique Integer Games. |
J. Adv. Comput. Intell. Intell. Informatics |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Henna Hyypiö, Sarthak Giri, Harri Oinas-Kukkonen |
Exploring Self-competition as a Viable Motivation to Promote Physical Activity. |
PERSUASIVE |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Quim Motger, Xavier Franch, Vincenzo Gervasi, Jordi Marco |
Unveiling Competition Dynamics in Mobile App Markets Through User Reviews. |
REFSQ |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Franco Galante, Michele Garetto, Emilio Leonardi |
Competition of Influencers: A Model for Maximizing Online Social Impact. |
WebSci |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Xiaotie Deng, Hangxin Gan, Ningyuan Li, Weian Li, Qi Qi 0003 |
Competition among Pairwise Lottery Contests. |
AAAI |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Hui Li, Jiayi Zhou, Qingquan Zhang |
Rolling Horizon Co-evolution for Snake AI Competition. |
Intelligent Information Processing (1) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Simmo 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). |
TACAS (3) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Marek Chalupa, Cedric Richter |
Bubaak-SpLit: Split what you cannot verify (Competition contribution). |
TACAS (3) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Paulína Ayaziová, Jan Strejcek |
Witch 3: Validation of Violation Witnesses in the Witness Format 2.0 - (Competition Contribution). |
TACAS (3) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Rafael 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). |
TACAS (3) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Frank Schüssele, Manuel Bentele, Daniel Dietsch, Matthias Heizmann, Xinyu Jiang, Dominik Klumpp, Andreas Podelski |
Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution). |
TACAS (3) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Daniel 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). |
TACAS (3) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Martin 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). |
TACAS (3) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Zhen Wang, Zhenbang Chen |
AISE: A Symbolic Verifier by Synergizing Abstract Interpretation and Symbolic Execution (Competition Contribution). |
TACAS (3) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar, R. Venkatesh 0001, Supratik Chakraborty |
PROTON: PRObes for Termination Or Not (Competition Contribution). |
TACAS (3) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Levente Bajczi, Zsófia Ádám, Zoltán Micskei |
ConcurrentWitness2Test: Test-Harnessing the Power of Concurrency (Competition Contribution). |
TACAS (3) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Nils Loose, Felix Mächtle, Florian Sieck, Thomas Eisenbarth 0001 |
SWAT: Modular Dynamic Symbolic Execution for Java Applications using Dynamic Instrumentation (Competition Contribution). |
TACAS (3) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Raphaë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). |
TACAS (3) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Simmo 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). |
TACAS (3) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Levente 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). |
TACAS (3) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Levente 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). |
TACAS (3) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Ted 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. |
HICSS |
2024 |
DBLP BibTeX RDF |
|
9 | Wil 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. |
HICSS |
2024 |
DBLP BibTeX RDF |
|
9 | Gábor Szárnyas |
Linked Data Benchmark Council: 12 years of fostering competition in the graph processing space. |
ICPE (Companion) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Matthieu Godichaud, Lionel Amodeo |
Hybrid Manufacturing / Remanufacturing Inventory Model with Two Markets and Price Sensitive Demands with Competition. |
ICORES |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Martin Jonás, Jan Strejcek, Marek Trtík, Lukás Urban |
Fizzer: New Gray-Box Fuzzer - (Competition Contribution). |
FASE |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Guofeng Zhang 0005, Ziqi Shuai, Kelin Ma, Kunlin Liu, Zhenbang Chen, Ji Wang 0001 |
FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution). |
FASE |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Arpita Dutta, Rasool Maghareh, Joxan Jaffar, Sangharatna Godboley, Xiao Liang Yu |
TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution). |
FASE |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Aleksandr Misonizhnik, Sergey Morozov 0004, Yurii Kostyukov, Vladislav Kalugin, Aleksei Babushkin, Dmitry Mordvinov, Dmitry Ivanov |
KLEEF: Symbolic Execution Engine (Competition Contribution). |
FASE |
2024 |
DBLP DOI BibTeX RDF |
|
|
|