|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8467 occurrences of 3600 keywords
|
|
|
Results
Found 8775 publication records. Showing 8775 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
12 | Istvan David, Hans Vangheluwe, Eugene Syriani |
Model consistency as a heuristic for eventual correctness. |
J. Comput. Lang. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Najd Altoyan, Don S. Batory |
On Proving the Correctness of Refactoring Class Diagrams of MDE Metamodels. |
ACM Trans. Softw. Eng. Methodol. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Yushi Ogiwara, Ayanori Yorozu, Akihisa Ohya, Hideyuki Kawashima |
Transactional TF: Transform Library with Concurrency and Correctness. |
IEICE Trans. Inf. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ze-Yu Liu 0011, Jian-Wei Liu |
Part-aware attention correctness for video salient object detection. |
Eng. Appl. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Tiago Oliveira 0004, Hugo Pacheco 0001, Miguel Quaresma, Peter Schwabe, Antoine Séré, Pierre-Yves Strub |
Formally verifying Kyber Episode IV: Implementation correctness. |
IACR Trans. Cryptogr. Hardw. Embed. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Mária Csernoch, Keve Nagy, Tímea Nagy |
The Entropy of Digital Texts - The Mathematical Background of Correctness. |
Entropy |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Yi Liu 0053, Junzuo Lai, Qi Wang 0012, Xianrui Qin, Anjia Yang, Jian Weng 0001 |
Robust Publicly Verifiable Covert Security: Limited Information Leakage and Guaranteed Correctness with Low Overhead. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
12 | Katharina Kreuzer |
Verification of Correctness and Security Properties for CRYSTALS-KYBER. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
12 | Katharina Kreuzer |
Verification of the (1-δ)-Correctness Proof of CRYSTALS-KYBER with Number Theoretic Transform. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
12 | José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Tiago Oliveira 0004, Hugo Pacheco 0001, Miguel Quaresma, Peter Schwabe, Antoine Séré, Pierre-Yves Strub |
Formally verifying Kyber Part I: Implementation Correctness. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
12 | Kathrin Hövelmanns, Christian Majenz |
A note on Failing gracefully: Completing the picture for explicitly rejecting Fujisaki-Okamoto transforms using worst-case correctness. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
12 | Zheng Chen, Hongyu Lin |
Improving named entity correctness of abstractive summarization by generative negative sampling. |
Comput. Speech Lang. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Slawomir Wudarczyk, Marek Wozniewski, Agnieszka Szpala, Slawomir Winiarski, Jacek Balchanowski |
Mechatronic Pole System for Monitoring the Correctness of Nordic Walking. |
Sensors |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Arkadiusz Czarnuch, Marek Stembalski, Tomasz Szydlowski, Damian Batory |
Analysis of the Correctness of Mapping the Passage of a Semi-Trailer through a Road Obstacle on a Road Simulator. |
Sensors |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Wilfrid Hodges |
A Correctness Proof for al-BarakāT's Logical Diagrams. |
Rev. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Elvira Albert, Shelly Grossman, Noam Rinetzky, Clara Rodríguez-Núñez, Albert Rubio, Mooly Sagiv |
Relaxed Effective Callback Freedom: A Parametric Correctness Condition for Sequential Modules With Callbacks. |
IEEE Trans. Dependable Secur. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ximeng Li 0003, Qianying Zhang, Guohui Wang, Zhi-Ping Shi 0002, Yong Guan |
A unified proof technique for verifying program correctness with big-step semantics. |
J. Syst. Archit. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Wei Zhang, Quan Sun, Chao Wang 0069, Zhiming Liu 0001 |
Towards correctness proof for hybrid Simulink block diagrams. |
J. Syst. Archit. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Victor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev |
Quantifiability: a concurrent correctness condition modeled in vector space. |
Computing |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Baber Rehman |
Correctness-by-Construction Meets Refinement Types. |
FTfJP@ECOOP |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Benard Wanjiru, Patrick van Bommel, Djoerd Hiemstra |
Towards a Generic Model for Classifying Software into Correctness Levels and its Application to SQL. |
SEENG |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Mingyang Liu, Fu Song, Taolue Chen |
Automated Verification of Correctness for Masked Arithmetic Programs. |
CAV (3) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Tai D. Nguyen, Long H. Pham, Jun Sun 0001, Quang Loc Le |
An Idealist's Approach for Smart Contract Correctness. |
ICFEM |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ryo Tokuda, Yukiyoshi Kameyama |
Generating Programs for Polynomial Multiplication with Correctness Assurance. |
PEPM@POPL |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Michele De Bonis, Filippo Minutella, Fabrizio Falchi, Paolo Manghi |
A Graph Neural Network Approach for Evaluating Correctness of Groups of Duplicates. |
TPDL |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Masoud Nosrati, Ying Cai |
Verifying the Correctness of Analytic Query Results (Extended Abstract). |
ICDE |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Romain Xu-Darme, Jenny Benois-Pineau, Romain Giot, Georges Quénot, Zakaria Chihani, Marie-Christine Rousset, Alexey Zhukov |
On the stability, correctness and plausibility of visual explanation methods based on feature importance. |
CBMI |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Szymon Jadczak, Rafal Jaworski |
Boosting conversational AI correctness by accounting for ASR errors using a sequence to sequence model. |
FedCSIS |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Marek Kubis, Pawel Skórzewski, Marcin Sowanski, Tomasz Zietkiewicz |
Center for Artificial Intelligence Challenge on Conversational AI Correctness. |
FedCSIS |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ireneusz Szczesniak, Bozena Wozna-Szczesniak |
Generic Dijkstra: correctness and tractability. |
NOMS |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Antonio Zaitoun, Tomer Sagi, Katja Hose |
Automated Ontology Evaluation: Evaluating Coverage and Correctness using a Domain Corpus. |
WWW (Companion Volume) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Marco Paganoni, Carlo A. Furia |
Verifying Functional Correctness Properties at the Level of Java Bytecode. |
FM |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Eduard Kamburjan, Vidar Norstein Klungre, Silvia Lizeth Tapia Tarifa, Rudolf Schlatte, Martin Giese, David Cameron, Einar Broch Johnsen |
Emerging Challenges in Compositionality and Correctness for Digital Twins. |
FMDT@FM |
2023 |
DBLP BibTeX RDF |
|
12 | Rudrapatna K. Shyamasundar |
ERC20: Correctness via Linearizability and Interference Freedom of the Underlying Smart Contract. |
SECRYPT |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Zhou Tao, Yan Lei, Huan Xie, Jian Hu |
NeuralCCD: Integrating Multiple Features for Neural Coincidental Correctness Detection. |
SANER |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ramla Ijaz, Kevin Boos, Lin Zhong 0001 |
Leveraging Rust for Lightweight OS Correctness. |
KISV@SOSP |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Yuhang Wu 0003, Zhenpeng Lin, Yueqi Chen 0001, Dang K. Le, Dongliang Mu, Xinyu Xing |
Mitigating Security Risks in Linux with KLAUS: A Method for Evaluating Patch Correctness. |
USENIX Security Symposium |
2023 |
DBLP BibTeX RDF |
|
12 | Ariel E. Kellison, Andrew W. Appel, Mohit Tekriwal, David Bindel |
LAProof: A Library of Formal Proofs of Accuracy and Correctness for Linear Algebra Programs. |
ARITH |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Qiantong Jiang, Zhuo Xu, Xinyi Luo, Xianchao Zhang 0002, Kaiping Xue, Ruidong Li |
AcCrowd: Blockchain-based Crowdsourcing with Worker Anonymity and Payment Correctness. |
GLOBECOM |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Maojin Li, Yan Lei, Huan Xie, Jiaguo Wang, Chunyan Liu, Zhengxiong Deng |
Contrastive Coincidental Correctness Representation Learning. |
ISSRE |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Yi Liu 0053, Junzuo Lai, Qi Wang 0012, Xianrui Qin, Anjia Yang, Jian Weng 0001 |
Robust Publicly Verifiable Covert Security: Limited Information Leakage and Guaranteed Correctness with Low Overhead. |
ASIACRYPT (1) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Oleksandr S. Bauzha, Artem Kramov, Oleksandr Yavorskyi |
Estimation of the Factual Correctness of Summaries of a Ukrainian-language Silver Standard Corpus. |
IT&I Workshops |
2023 |
DBLP BibTeX RDF |
|
12 | Felipe Toledo, David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer |
Deeper Notions of Correctness in Image-Based DNNs: Lifting Properties from Pixel to Entities. |
ESEC/SIGSOFT FSE |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jun Yang, Yuehan Wang, Yiling Lou, Ming Wen 0001, Lingming Zhang 0001 |
A Large-Scale Empirical Review of Patch Correctness Checking Approaches. |
ESEC/SIGSOFT FSE |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Shuai Ma, Ying Lei, Xinru Wang, Chengbo Zheng, Chuhan Shi, Ming Yin 0001, Xiaojuan Ma |
Who Should I Trust: AI or Myself? Leveraging Human and AI Correctness Likelihood to Promote Appropriate Trust in AI-Assisted Decision-Making. |
CHI |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Danil Kashin, Vadim V. Voevodin |
Verifying the Correctness of HPC Performance Monitoring Data. |
PaCT |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jiawei Tyler Gu, Xudong Sun 0013, Wentao Zhang, Yuxuan Jiang, Chen Wang 0039, Mandana Vaziri, Owolabi Legunsen, Tianyin Xu |
Acto: Automatic End-to-End Testing for Operation Correctness of Cloud System Management. |
SOSP |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jianjun Zhao 0001 |
Static Analysis for Quantum Software Correctness and Reliability (Keynote). |
Programming |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Sangita Roy, Rudrapatna K. Shyamasundar |
An Analysis of Hybrid Consensus in Blockchain Protocols for Correctness and Progress. |
DBSec |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Aidan MacDonagh |
Increasing Available Attempts: Changes in Student Correctness on Formative Introductory Physics Problems. |
L@S |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Zoltán Porkoláb, Viktória Zsók (eds.) |
Composability, Comprehensibility and Correctness of Working Software - 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers |
CEFP |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jinghao Sun, Kailu Duan, Xisheng Li, Nan Guan, Zhishan Guo, Qingxu Deng, Guozhen Tan |
Real-Time Scheduling of Autonomous Driving System with Guaranteed Timing Correctness. |
RTAS |
2023 |
DBLP DOI BibTeX RDF |
|
12 | João Luis Sobrinho, Ricardo Pestana Santos |
Correctness of EIGRP Generalized for Arbitrary Routing Metrics and Policies. |
ICNP |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Esther Goudet, Luis Peña Treviño, Lirida A. B. Naviner, Jean-Marc Daveau, Philippe Roche |
Fast analysis of combinatorial netlists correctness rate based on binomial law and partitioning. |
LATS |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Archiki Prasad, Swarnadeep Saha, Xiang Zhou, Mohit Bansal |
ReCEval: Evaluating Reasoning Chains via Correctness and Informativeness. |
EMNLP |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Bevan Koopman, Guido Zuccon |
Dr ChatGPT tell me what I want to hear: How different prompts impact health answer correctness. |
EMNLP |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Boxi Cao, Qiaoyu Tang, Hongyu Lin, Xianpei Han, Le Sun 0001 |
Does the Correctness of Factual Knowledge Matter for Factual Knowledge-Enhanced Pre-trained Language Models? |
EMNLP |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Åsmund Aqissiaq Arild Kløvstad, Eduard Kamburjan, Einar Broch Johnsen |
Compositional Correctness and Completeness for Symbolic Partial Order Reduction. |
CONCUR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Muaz Ali, Muhammad Muzammil, Faraz Karim, Ayesha Naeem, Rukhshan Haroon, Muhammad Haris, Huzaifah Nadeem, Waseem Sabir, Fahad Shaon, Fareed Zaffar, Vinod Yegneswaran, Ashish Gehani, Sazzadur Rahaman |
SoK: A Tale of Reduction, Security, and Correctness - Evaluating Program Debloating Paradigms and Their Compositions. |
ESORICS (4) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ning Dong, Roberto Guanciale, Mads Dam, Andreas Lööw |
Formal Verification of Correctness and Information Flow Security for an In-Order Pipelined Processor. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Alexander Hück, Tim Jammer, Joachim Jenke, Christian H. Bischof |
Investigating the Real-World Applicability of MPI Correctness Benchmarks. |
SC Workshops |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Simon Schwitanski, Niko Sakic, Joachim Jenke, Felix Tomski, Marc-André Hermanns |
Towards Correctness Checking of MPI Partitioned Communication in MUST. |
SC Workshops |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Roberto Bruni |
Local Completeness for Program Correctness and Incorrectness (Invited Talk). |
CALCO |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Chontipan Plengvittaya, Zee Hen Tang, Mi-Yen Yeh, Chih-Ya Shen |
Boosting Patch Correctness Checking via Combining Code-Edit Embeddings as Additional What-to-Change Information. |
WI/IAT |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Wonyeol Lee 0001, Sejun Park, Alex Aiken |
On the Correctness of Automatic Differentiation for Neural Networks with Machine-Representable Parameters. |
ICML |
2023 |
DBLP BibTeX RDF |
|
12 | Tao Zheng, Shijun Zhao, Kun Qiu, Pak-Lok Poon, Lanlin Yu |
Using Complex Network Communities to Evaluate the Correctness of Object Detection. |
DSA |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jin Yang 0006, Jeremy Casas, Zhenkun Yang |
Invited: A Scalable Formal Approach for Correctness-Assured Hardware Design. |
DAC |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Mathy Vanhoef, Xianjun Jiao, Wei Liu 0019, Ingrid Moerman |
Testing and Improving the Correctness of Wi-Fi Frame Injection. |
WISEC |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Mohit Tekriwal, Andrew W. Appel, Ariel E. Kellison, David Bindel, Jean-Baptiste Jeannin |
Verified Correctness, Accuracy, and Convergence of a Stationary Iterative Linear Solver: Jacobi Method. |
CICM |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Weicheng Ma, Brian Wang, Hefan Zhang, Lili Wang, Rolando Coto-Solano, Saeed Hassanpour, Soroush Vosoughi |
Improving Syntactic Probing Correctness and Robustness with Control Tasks. |
ACL (2) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Tobias Runge |
Correctness-by-Construction for Correct and Secure Software Systems. (PDF / PS) |
|
2023 |
RDF |
|
12 | Jürgen König |
On the membership and correctness problem for state serializability and value opacity. |
|
2023 |
RDF |
|
12 | Xiao Tan |
Correctness and Safety in Planning and Control via State-Space Partitions and Barrier Functions. |
|
2023 |
RDF |
|
12 | Sina Dang, Hongjun Xue, Xiaoyan Zhang 0006, Chengwen Zhong, Caiyong Tao |
Research on the human heat transfer model of Chinese pilots and experimental verification of model correctness. |
Neural Comput. Appl. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Qi Mo, Wei Song 0003, Fei Dai 0002, Leilei Lin, Tong Li 0004 |
Development of Collaborative Business Processes: A Correctness Enforcement Approach. |
IEEE Trans. Serv. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Jibesh Patra |
Analyzing Code Corpora to Improve the Correctness and Reliability of Programs. |
Softwaretechnik-Trends |
2022 |
DBLP BibTeX RDF |
|
12 | Jean-Daniel Boissonnat, Mathijs Wintraecken |
The Topological Correctness of PL Approximations of Isomanifolds. |
Found. Comput. Math. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Uwe Wolter, Alfio Ricardo de Brito Martini, Edward Hermann Haeusler |
Indexed and fibered structures for partial and total correctness assertions. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Alexander Hück, Sebastian Kreutzer, Joachim Protze, Jan-Patrick Lehr, Christian H. Bischof, Christian Terboven, Matthias S. Müller |
Compiler-Aided Type Correctness of Hybrid MPI-OpenMP Applications. |
IT Prof. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Nir Bitansky, Vinod Vaikuntanathan |
A Note on Perfect Correctness by Derandomization. |
J. Cryptol. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Heling Cao, Lei Li, Yigui Sun |
An Innovative Framework for Coincidental Correctness Impacting on Fault Localization. |
Symmetry |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Doron Drusinsky, Matthew Litton, James Bret Michael |
Lightweight Verification and Validation of Cyberphysical Systems Using Machine-Learned Correctness Properties. |
Computer |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Xiaoxue Wu, Wei Zheng 0006, Xin Xia 0001, David Lo 0001 |
Data Quality Matters: A Case Study on Data Label Correctness for Security Bug Report Prediction. |
IEEE Trans. Software Eng. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Masoud Nosrati, Ying Cai |
Verifying the Correctness of Analytic Query Results. |
IEEE Trans. Knowl. Data Eng. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Sukanta Bhattacharjee, Ansuman Banerjee, Krishnendu Chakrabarty, Bhargab B. Bhattacharya |
A Framework for Automated Correctness Checking of Biochemical Protocol Realizations on Digital Microfluidic Biochips. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Yuehan Wang, Jun Yang, Yiling Lou, Ming Wen 0001, Lingming Zhang 0001 |
Attention: Not Just Another Dataset for Patch-Correctness Checking. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Jelle Hellings, Suyash Gupta, Sajjad Rahnama, Mohammad Sadoghi |
On the Correctness of Speculative Consensus. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Fernando Lucatelli Nunes, Matthijs Vákár |
Logical Relations for Partial Features and Automatic Differentiation Correctness. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Naama Ben-David, Michal Friedman 0001, Yuanhao Wei |
Survey of Persistent Memory Correctness Conditions. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Yanglin Hu, Yingkai Ouyang, Marco Tomamichel |
Privacy and correctness trade-offs for information-theoretically secure quantum homomorphic encryption. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Chongyi Yuan, Lijie Wen, Xiongliang Yan |
Towards the Future: Bring Program Correctness back to the focus. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Jean-Benoit Delbrouck, Pierre J. Chambon, Christian Bluethgen, Emily Bao Tsai, Omar Almusa, Curtis P. Langlotz |
Improving the Factual Correctness of Radiology Report Generation with Semantic Rewards. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Jan Martijn E. M. van der Werf, Andrey Rivkin, Marco Montali, Artem Polyvyanyy |
Correctness Notions for Petri Nets with Identifiers. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Haoye Tian, Xunzhu Tang, Andrew Habib, Shangwen Wang, Kui Liu 0001, Xin Xia 0001, Jacques Klein, Tegawendé F. Bissyandé |
Is this Change the Answer to that Problem? Correlating Descriptions of Bug and Code Changes for Evaluating Patch Correctness. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Ireneusz Szczesniak, Bozena Wozna-Szczesniak |
Generic Dijkstra: correctness and tractability. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Fernando Lucatelli Nunes, Matthijs Vákár |
Automatic Differentiation for ML-family languages: correctness via logical relations. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Mia Filic, Kenneth G. Paterson, Anupama Unnikrishnan, Fernando Virdia |
Adversarial Correctness and Privacy for Probabilistic Data Structures. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Wolfgang Jeltsch, Javier Díaz |
Correctness of Broadcast via Multicast: Graphically and Formally. |
FROM |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Aljoscha Windhorst |
A Graph-Transformational Approach for Proving the Correctness of Reductions between NP-Problems. |
GCM@STAF |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Johannes von Hoyer, Joachim Kimmerle, Peter Holtz |
Acquisition of false certainty: Learners increase their confidence in the correctness of incorrect answers after online information search. |
J. Comput. Assist. Learn. |
2022 |
DBLP DOI BibTeX RDF |
|
|
|