Search results for "contribution"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Jacques Henri Collet, Piotr Zajac, Yves Crouzet, Andrzej Napieralski	Contribution of Communications to Dependability in Massively-Defective General-Purpose Nanoarchitectures.	IOLTS	2006	DBLP DOI BibTeX RDF
13	Walter Binder, Jarle Hulaas, Philippe Moret	A Quantitative Evaluation of the Contribution of Native Code to Java Workloads.	IISWC	2006	DBLP DOI BibTeX RDF
13	Samuel R. H. Joseph, Joyce Yukawa, Daniel D. Suthers, Violet H. Harada	Searching Emergent Vocabularies: Exploring Methods to Reduce Cognitive Load during Web Navigation and Resource Contribution.	HICSS	2006	DBLP DOI BibTeX RDF
13	Jong Seung Park, Bum-Jong Lee	Hierarchical Contribution Culling for Fast Rendering of Complex Scenes.	PSIVT	2006	DBLP DOI BibTeX RDF
13	Jacqueline Leta, Júlio Cesar Rodrigues Pereira, Hernan Chaimovich	The Life Sciences - the relative contribution of the University of São Paulo to the highest impact factor journals and to those with the largest number of articles, 1980 to 1999.	Scientometrics	2005	DBLP DOI BibTeX RDF
13	Àgata Lapedriza, David Masip, Jordi Vitrià	The Contribution of External Features to Face Recognition.	IbPRIA (2)	2005	DBLP DOI BibTeX RDF
13	Gilles Hubert 0001	XML Retrieval Based on Direct Contribution of Query Components.	INEX	2005	DBLP DOI BibTeX RDF
13	Alin Deutsch, Yannis Katsis, Yannis Papakonstantinou	Determining source contribution in integration systems.	PODS	2005	DBLP DOI BibTeX RDF
13	Peter Spellward, Tim Kovacs	On the contribution of gene libraries to artificial immune systems.	GECCO	2005	DBLP DOI BibTeX RDF	gene libraries, solution diversity, artificial immune systems, job shop scheduling
13	Hitoshi Yamamoto, Kazunari Ishida, Toshizumi Ohta	Temptation and Contribution in C2C Transactions: Implications for Designing Reputation Management Systems.	Trusting Agents for Trusting Electronic Societies	2004	DBLP DOI BibTeX RDF
13	Eugeni Isern 0001, Miquel Roca 0001, Francesc Moll	Analysis of the Contribution of Interconnect Effects in the Energy Dissipation of VLSI Circuits.	PATMOS	2003	DBLP DOI BibTeX RDF
13	Olga Solovyova, Nathalie Vikulova, Vladimir S. Markhasin, Peter Kohl	A Novel Method for Quantifying the Contribution of Different Intracellular Mechanisms to Mechanically Induced Changes in Action Potential Characteristics.	FIMH	2003	DBLP DOI BibTeX RDF
13	Vojtech Franc, Václav Hlavác	A Contribution to the Schlesinger's Algorithm Separating Mixtures of Gaussians.	CAIP	2001	DBLP DOI BibTeX RDF	Gaussian separation, pattern recognition
13	Marc Sebban, Richard Nock	Contribution of Dataset Reduction Techniques to Tree-Simplification and Knowledge Discovery.	PKDD	2000	DBLP DOI BibTeX RDF
13	Arunabha Sen, K. Selçuk Candan, Afonso Ferreira, Bruno Beauquier, Stephane Perennes	On Shortest Path Problems with "Non-Markovian" Link Contribution to Path Lengths.	NETWORKING	2000	DBLP DOI BibTeX RDF
13	Christian Bremeau	The PCTE Contribution to Ada Programming Support Environments (APSE).	SEE	1989	DBLP DOI BibTeX RDF
13	Krishnendu Chatterjee, Luca de Alfaro, Ian Pye	Robust content-driven reputation.	AISec	2008	DBLP DOI BibTeX RDF	wikipedia, reputation, user-generated content
13	Kimmo Fredriksson, Gonzalo Navarro 0001	Average-optimal single and multiple approximate string matching.	ACM J. Exp. Algorithmics	2004	DBLP DOI BibTeX RDF	multiple string matching, optimality, Algorithms, approximate string matching, biological sequences
13	Richard T. B. Ma, Sam C. M. Lee, John C. S. Lui, David K. Y. Yau	An Incentive Mechanism for P2P Networks.	ICDCS	2004	DBLP DOI BibTeX RDF
13	Ko Fujimura, Naoto Tanimoto	The EigenRumor Algorithm for Calculating Contributions in Cyberspace Communities.	Trusting Agents for Trusting Electronic Societies	2004	DBLP DOI BibTeX RDF
13	Haruhiko Kaiya, Hisayuki Horai, Motoshi Saeki	AGORA: Attributed Goal-Oriented Requirements Analysis Method.	RE	2002	DBLP DOI BibTeX RDF	Requirements Elicitation, Quality Metrics, Goal Oriented Analysis
13	Pertti Vakkari	Relevance and contributing information types of searched documents in task performance.	SIGIR	2000	DBLP DOI BibTeX RDF	cognitive models and IR, embedding search within larger tasks, field-empirical studies of the information seeking, situational relevance, process
10	Qian Chen 0004, Jihong Liao, Zhimin Sang, Wei Qian, Gaohong Xu, Zhengmeng Liu	Design and Analysis of a Novel Hybrid Rotor PM Machine Considering Negative Torque Ripple Contribution.	IEEE Trans. Ind. Electron.	2024	DBLP DOI BibTeX RDF
10	Zhiqiang Lan, Guoyao Wu, Jiacheng Wu, Jiaqi Li, Fan Pan	Study on the evaluation model of the contribution of power industry expansion considering the influencing factors of new energy consumption.	J. Intell. Fuzzy Syst.	2024	DBLP DOI BibTeX RDF
10	Mfonobong Eleazar Benson, Kennedy Chinedu Okafor, Longinus Sunday Ezema, Nkwachukwu Chukwuchekwa, Bamidele Adebisi, Okoronkwo Chukwunenye Anthony	Heterogeneous cyber-physical network coexistence through interference contribution rate and uplink power control algorithm (ICR-UPCA) in 6G edge cells.	Internet Things	2024	DBLP DOI BibTeX RDF
10	Ke Shang, Tianye Shu, Hisao Ishibuchi	Learning to Approximate: Auto Direction Vector Set Generation for Hypervolume Contribution Approximation.	IEEE Trans. Evol. Comput.	2024	DBLP DOI BibTeX RDF
10	Yatang Wu, Changliang Shao, Jing Zhang, Yiliang Liu, Han Li, Leichao Ma, Ming Li, Beibei Shen, Lulu Hou, Shiyang Chen, Dawei Xu, Xiaoping Xin, Xiaoni Liu	Elevation-Dependent Contribution of the Response and Sensitivity of Vegetation Greenness to Hydrothermal Conditions on the Grasslands of Tibet Plateau from 2000 to 2021.	Remote. Sens.	2024	DBLP DOI BibTeX RDF
10	Yanrui Yang, Jie Chen 0035, Long Sun, Zheng Zhou, Zhixiang Huang, Bocai Wu	Unsupervised Domain-Adaptive SAR Ship Detection Based on Cross-Domain Feature Interaction and Data Contribution Balance.	Remote. Sens.	2024	DBLP DOI BibTeX RDF
10	Sotirios Liaskos	On the intuitive comprehensibility of contribution links in goal models: an experimental study.	Empir. Softw. Eng.	2024	DBLP DOI BibTeX RDF
10	Yehia Ibrahim Alzoubi, Alok Mishra 0001	Enterprise architecture contribution in distributed agile software development.	Syst. Eng.	2024	DBLP DOI BibTeX RDF
10	Xue Fang, Jindan Cui, Takashi Oozeki, Yuzuru Ueda	Machine Learning-Based Japanese Spot Market Price Forecasting Considering the Solar Contribution.	IEEE Access	2024	DBLP DOI BibTeX RDF
10	Hangjian Zhang, Yanan Jin, Jianfeng Lu 0002, Shuqin Cao, Qing Dai, Shasha Yang	Contribution Matching-Based Hierarchical Incentive Mechanism Design for Crowd Federated Learning.	IEEE Access	2024	DBLP DOI BibTeX RDF
10	Tongyu Liu, Qin Shu, Fangwei Xu, Lijuan Fan, Hongxin Li	A Method for Determining Harmonic Contribution and Harmonic Source Current Based on Minimum Mutual Information and Bayesian Optimization.	IEEE Trans. Instrum. Meas.	2024	DBLP DOI BibTeX RDF
10	M. T. Cao-Rial, C. Moreno, Peregrina Quintela	Mathematical perspective on XFEM implementation for models involving contribution on interfaces.	Math. Comput. Simul.	2024	DBLP DOI BibTeX RDF
10	Xingqiu Lou, Yingjiao Xu	Consumption of Sustainable Denim Products: The Contribution of Blockchain Certified Eco-Labels.	J. Theor. Appl. Electron. Commer. Res.	2024	DBLP DOI BibTeX RDF
10	Yang Zhang, Jun Xu, Paolo Gardoni	A loading contribution degree analysis-based strategy for time-variant reliability analysis of structures under multiple loading stochastic processes.	Reliab. Eng. Syst. Saf.	2024	DBLP DOI BibTeX RDF
10	Kyoichi Morimoto, Takahiro Ohno, Satomi Kakutani, Moeka Yoshida, Soichiro Suzuki	Japan Atomic Energy Agency: Contribution to the Decommissioning of the Fukushima Daiichi Nuclear Power Station and the Reconstruction of Fukushima Prefecture at the Naraha Center for Remote Control Technology Development.	J. Robotics Mechatronics	2024	DBLP DOI BibTeX RDF
10	Takaaki Onaga, Masaki Fujita, Yoshinobu Kano	Contribution Analysis of Large Language Models and Data Augmentations for Person Names in Solving Legal Bar Examination at COLIEE 2023.	Rev. Socionetwork Strateg.	2024	DBLP DOI BibTeX RDF
10	Nicolas Troquard	Existence and verification of Nash equilibria in non-cooperative contribution games with resource contention.	Ann. Math. Artif. Intell.	2024	DBLP DOI BibTeX RDF
10	Sateesh Kumar Awasthi, Yatindra Nath Singh	Analysis of the Convergence of Biased Contribution Index: A Fairness Index.	IEEE Trans. Circuits Syst. II Express Briefs	2024	DBLP DOI BibTeX RDF
10	Deepak Ahire, Charles Mariasoosai, Siavosh Naji-Talakar, Senthil Natesan, Bhagwat Prasad	Promiscuity and Quantitative Contribution of UGT2B17 in Drug and Steroid Metabolism Determined by Experimental and Computational Approaches.	J. Chem. Inf. Model.	2024	DBLP DOI BibTeX RDF
10	Carolina Matamala, J. Enrique Hinostroza, David D. Preiss, Benjamín Carmona, Christian Labbé	Exploring students' digital competencies in two Chilean Universities: Status, gaps and the contribution of years of study.	Educ. Inf. Technol.	2024	DBLP DOI BibTeX RDF
10	Pheneas Nkundabakura, Theophile Nsengimana, Eugenie Uwamariya, Pascasie Nyirahabimana, Jean Baptiste Nkurunziza, Concilie Mukamwambali, Jean Claude Dushimimana, Ezechiel Nsabayezu, Jean Nepomuscene Twahirwa, Kizito Ndihokubwayo	Contribution of Continuous Professional Development (CPD) Training Programme on Rwandan Secondary School Mathematics and Science Teachers' Pedagogical, Technological, and Content knowledge.	Educ. Inf. Technol.	2024	DBLP DOI BibTeX RDF
10	Ramesh Shankar, Lei Wang, Kunter Gunasti, Hongfei Li	Nonverbal Peer Feedback and User Contribution in Online Forums: Experimental Evidence of the Role of Attribution and Emotions.	J. Assoc. Inf. Syst.	2024	DBLP BibTeX RDF
10	Shan Jiang, Duc Khuong Nguyen, Peng-Fei Dai, Qingxin Meng	Monetary income as opportunity cost: exploring the negative effect on free knowledge contribution of knowledge suppliers.	J. Knowl. Manag.	2024	DBLP DOI BibTeX RDF
10	Tessio Novack, Leonard Vorbeck, Alexander Zipf	An investigation of the temporality of OpenStreetMap data contribution activities.	Geo spatial Inf. Sci.	2024	DBLP DOI BibTeX RDF
10	Sijie Mai, Ya Sun, Aolin Xiong, Ying Zeng, Haifeng Hu 0001	Multimodal Boosting: Addressing Noisy Modalities and Identifying Modality Contribution.	IEEE Trans. Multim.	2024	DBLP DOI BibTeX RDF
10	Pierre-Michel Bousquet, Mickael Rouvier	Asymmetric and trial-dependent modeling: the contribution of LIA to SdSV Challenge Task 2.	CoRR	2024	DBLP DOI BibTeX RDF
10	Giuseppe Orlando, Paolo Francesco Barbante, Luca Bonaventura	A comparison of different approaches to compute surface tension contribution in incompressible two-phase flows.	CoRR	2024	DBLP DOI BibTeX RDF
10	Yasuko Kawahata	Repetitive Dilemma Games in Distribution Information Using Interplay of Droop Quota: Meek's Method in Impact of Maximum Compensation and Minimum Cost Routes in Information Role of Marginal Contribution in Two-Sided Matching Markets.	CoRR	2024	DBLP DOI BibTeX RDF
10	Timotheus Kampik, Nico Potyka, Xiang Yin 0007, Kristijonas Cyras, Francesca Toni	Contribution Functions for Quantitative Bipolar Argumentation Graphs: A Principle-based Analysis.	CoRR	2024	DBLP DOI BibTeX RDF
10	Liang Qu, Wei Yuan, Ruiqi Zheng, Lizhen Cui, Yuhui Shi, Hongzhi Yin	Towards Personalized Privacy: User-Governed Data Contribution for Federated Recommendation.	CoRR	2024	DBLP DOI BibTeX RDF
10	Sina Abdidizaji, Ali Khodabandeh Yalabadi, Mehdi Yazdani-Jahromi, Özlem Özmen Garibay, Ivan Garibay	Agent-Based Modeling of C. Difficile Spread in Hospitals: Assessing Contribution of High-Touch vs. Low-Touch Surfaces and Inoculations' Containment Impact.	CoRR	2024	DBLP DOI BibTeX RDF
10	Meiying Zhang, Huan Zhao, Sheldon C. Ebron Jr., Kan Yang 0001	Towards Fair, Robust and Efficient Client Contribution Evaluation in Federated Learning.	CoRR	2024	DBLP DOI BibTeX RDF
10	Xinwen Cheng, Zhehao Huang, Xiaolin Huang	Machine Unlearning by Suppressing Sample Contribution.	CoRR	2024	DBLP DOI BibTeX RDF
10	Ángel Delgado-Panadero, Beatriz Hernández-Lorca, María Teresa García-Ordás, José Alberto Benítez-Andrades	Implementing local-explainability in Gradient Boosting Trees: Feature Contribution.	CoRR	2024	DBLP DOI BibTeX RDF
10	Nicolas Troquard	Existence and Verification of Nash Equilibria in Non-Cooperative Contribution Games with Resource Contention.	CoRR	2024	DBLP DOI BibTeX RDF
10	Tamay Besiroglu, Sage Andrus Bergerson, Amelia Michael, Lennart Heim, Xueyun Luo, Neil Thompson	The Compute Divide in Machine Learning: A Threat to Academic Contribution and Scrutiny?	CoRR	2024	DBLP DOI BibTeX RDF
10	Changxin Xu, Yuxin Qiao, Zhanxin Zhou, Fanghao Ni, Jize Xiong	Enhancing Convergence in Federated Learning: A Contribution-Aware Asynchronous Approach.	CoRR	2024	DBLP DOI BibTeX RDF
10	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
10	Siviwe Bangani	Academic libraries' contribution to gender equality in a patriarchal, femicidal society.	J. Libr. Inf. Sci.	2024	DBLP DOI BibTeX RDF
10	Hanieh Javadi Khasraghi, Isaac Vaghefi, Rudy Hirschheim	Contribution to team and community in crowdsourcing contests: a qualitative investigation.	Inf. Technol. People	2024	DBLP DOI BibTeX RDF
10	Timothée Chabot	How does socioeconomic homophily emerge? Testing for the contribution of different processes to socioeconomic segregation in adolescent friendships.	Soc. Networks	2024	DBLP DOI BibTeX RDF
10	Ângela Leite, Anabela Santos Rodrigues, Ana Margarida Ribeiro, Sílvia Pereira Lopes	Contribution of Social Media Addiction on Intention to Buy in Social Media Sites.	Digit.	2024	DBLP DOI BibTeX RDF
10	Aron Laxdal, Tommy Haugen	Where are the carrots? A proposal to start crediting peer reviewers for their contribution to science.	Learn. Publ.	2024	DBLP DOI BibTeX RDF
10	Barbara Zdrazil, Rajarshi Guha, Karina Martínez-Mayorga, Nina Jeliazkova	Are new ideas harder to find? A note on incremental research and Journal of Cheminformatics' Scientific Contribution Statement.	J. Cheminformatics	2024	DBLP DOI BibTeX RDF
10	Alberto Pettorossi, Maurizio Proietti, Fabio Fioravanti, Emanuele De Angelis	A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution).	PEPM	2024	DBLP DOI BibTeX RDF
10	Dines Bjørner	The 0'th PEPM Event: October 1987 - and Andrei Petrovich Ershov: 1977-1988 (Invited Contribution).	PEPM	2024	DBLP DOI BibTeX RDF
10	Peter Sestoft, Harald Søndergaard	The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution).	PEPM	2024	DBLP DOI BibTeX RDF
10	Yanhong A. Liu	Incremental Computation: What Is the Essence? (Invited Contribution).	PEPM	2024	DBLP DOI BibTeX RDF
10	Jialin Cui, Runqiu Zhang, Ruochi Li, Fangtong Zhou, Yang Song 0019, Edward F. Gehringer	How Pre-class Programming Experience Influences Students' Contribution to Their Team Project: A Statistical Study.	SIGCSE (1)	2024	DBLP DOI BibTeX RDF
10	Qi Zhang, Yunfei Gong, Daijie Chen, Antoni B. Chan, Hui Huang	Multi-View People Detection in Large Scenes via Supervised View-Wise Contribution Weighting.	AAAI	2024	DBLP DOI BibTeX RDF
10	Maciej Krzysztof Zuziak, Salvatore Rinzivillo	Amplified Contribution Analysis for Federated Learning.	IDA (2)	2024	DBLP DOI BibTeX RDF
10	Majid Heidari, Daniele Verderese, Marialuisa Saviano	Exploring the contribution of neuroscientific approach to sustainable smart tourism.	IESS	2024	DBLP DOI BibTeX RDF
10	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
10	Marek Chalupa, Cedric Richter	Bubaak-SpLit: Split what you cannot verify (Competition contribution).	TACAS (3)	2024	DBLP DOI BibTeX RDF
10	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
10	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
10	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
10	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
10	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
10	Zhen Wang, Zhenbang Chen	AISE: A Symbolic Verifier by Synergizing Abstract Interpretation and Symbolic Execution (Competition Contribution).	TACAS (3)	2024	DBLP DOI BibTeX RDF
10	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
10	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
10	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
10	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
10	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
10	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
10	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
10	Yiwen Zhang, Yongqiang Sun, Nan Wang 0010, Xiao-Liang Shen 0001	Does High Knowledge Contribution Mean Low Knowledge Withholding? Distinguishing Their Underlying Mechanisms by Integrating the Motivation and Neutralization Perspectives.	HICSS	2024	DBLP BibTeX RDF
10	Jangyeong Jeon, Jungeun Kim, Jinwoo Park, Junyeong Kim	MSV: Contribution of Modalities based on the Shapley Value.	ICCE	2024	DBLP DOI BibTeX RDF
10	Martin Jonás, Jan Strejcek, Marek Trtík, Lukás Urban	Fizzer: New Gray-Box Fuzzer - (Competition Contribution).	FASE	2024	DBLP DOI BibTeX RDF
10	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
10	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
10	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
10	Max Barth, Daniel Dietsch, Matthias Heizmann, Marie-Christine Jakobs	Ultimate TestGen: Test-Case Generation with Automata-based Software Model Checking (Competition Contribution).	FASE	2024	DBLP DOI BibTeX RDF
10	Aoxia Xiao, Siluo Yang, Mingliang Yue, Minshu Jin	What Research Skills Do Scholars Excel at? - Based on Individual Contribution and External Recognition.	iConference (2)	2024	DBLP DOI BibTeX RDF
10	Giulia Inguaggiato, Krishma Labib, Natalie Evans, Fenneke Blom, Lex M. Bouter, Guy Widdershoven	The Contribution of Moral Case Deliberation to Teaching RCR to PhD Students.	Sci. Eng. Ethics	2023	DBLP DOI BibTeX RDF
10	Christof Weinhardt, Hans-Gert Gräbe, Ralf Laue 0001, Thomas Grisold, Steven Groß, Katharina Stelzl, Jan vom Brocke, Jan Mendling, Maximilian Röglinger, Michael Rosemann	Statements on the Contribution by Grisold et al. from Issue 2/2022.	Bus. Inf. Syst. Eng.	2023	DBLP DOI BibTeX RDF
10	James Lee, Mario Moroso, Tim K. Mackey	Unblocking recognition: A token system for acknowledging academic contribution.	Frontiers Blockchain	2023	DBLP DOI BibTeX RDF