|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Lang. ![In: J. Comput. Lang. 76, pp. 101223, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Najd Altoyan, Don S. Batory |
On Proving the Correctness of Refactoring Class Diagrams of MDE Metamodels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 32(2), pp. 44:1-44:42, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Yushi Ogiwara, Ayanori Yorozu, Akihisa Ohya, Hideyuki Kawashima |
Transactional TF: Transform Library with Concurrency and Correctness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 106(12), pp. 1951-1959, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ze-Yu Liu 0011, Jian-Wei Liu |
Part-aware attention correctness for video salient object detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Appl. Artif. Intell. ![In: Eng. Appl. Artif. Intell. 119, pp. 105733, March 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Trans. Cryptogr. Hardw. Embed. Syst. ![In: IACR Trans. Cryptogr. Hardw. Embed. Syst. 2023(3), pp. 164-193, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Mária Csernoch, Keve Nagy, Tímea Nagy |
The Entropy of Digital Texts - The Mathematical Background of Correctness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 25(2), pp. 302, February 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 1392, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
12 | Katharina Kreuzer |
Verification of Correctness and Security Properties for CRYSTALS-KYBER. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 87, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
12 | Katharina Kreuzer |
Verification of the (1-δ)-Correctness Proof of CRYSTALS-KYBER with Number Theoretic Transform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 27, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 215, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 1811, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
12 | Zheng Chen, Hongyu Lin |
Improving named entity correctness of abstractive summarization by generative negative sampling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Speech Lang. ![In: Comput. Speech Lang. 81, pp. 101504, June 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 23(20), pp. 8436, October 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 23(19), pp. 8225, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Wilfrid Hodges |
A Correctness Proof for al-BarakāT's Logical Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 16(2), pp. 369-384, June 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 20(3), pp. 2256-2273, May - June 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 136, pp. 102820, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Wei Zhang, Quan Sun, Chao Wang 0069, Zhiming Liu 0001 |
Towards correctness proof for hybrid Simulink block diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 141, pp. 102922, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Victor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev |
Quantifiability: a concurrent correctness condition modeled in vector space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 105(5), pp. 955-978, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Baber Rehman |
Correctness-by-Construction Meets Refinement Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023, pp. 8-10, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEENG ![In: 5th IEEE/ACM International Workshop on Software Engineering Education for the Next Generation, SEENG@ICSE 2023, Melbourne, Australia, May 16, 2023, pp. 37-40, 2023, IEEE, 979-8-3503-0186-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Mingyang Liu, Fu Song, Taolue Chen |
Automated Verification of Correctness for Masked Arithmetic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (3) ![In: Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III, pp. 255-280, 2023, Springer, 978-3-031-37708-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings, pp. 11-28, 2023, Springer, 978-981-99-7583-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ryo Tokuda, Yukiyoshi Kameyama |
Generating Programs for Polynomial Multiplication with Correctness Assurance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM@POPL ![In: Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2023, Boston, MA, USA, January 16-17, 2023, pp. 27-40, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPDL ![In: Linking Theory and Practice of Digital Libraries: 27th International Conference on Theory and Practice of Digital Libraries, TPDL 2023, Zadar, Croatia, September 26-29, 2023, Proceedings, pp. 207-219, 2023, Springer, 978-3-031-43849-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Masoud Nosrati, Ying Cai |
Verifying the Correctness of Analytic Query Results (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: 39th IEEE International Conference on Data Engineering, ICDE 2023, Anaheim, CA, USA, April 3-7, 2023, pp. 3895-3896, 2023, IEEE, 979-8-3503-2227-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMI ![In: 20th International Conference on Content-based Multimedia Indexing, CBMI 2023, Orleans, France, September 20-22, 2023, pp. 119-125, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FedCSIS ![In: Proceedings of the 18th Conference on Computer Science and Intelligence Systems, FedCSIS 2023, Warsaw, Poland, September 17-20, 2023., pp. 1325-1328, 2023, 978-83-967447-8-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Marek Kubis, Pawel Skórzewski, Marcin Sowanski, Tomasz Zietkiewicz |
Center for Artificial Intelligence Challenge on Conversational AI Correctness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FedCSIS ![In: Proceedings of the 18th Conference on Computer Science and Intelligence Systems, FedCSIS 2023, Warsaw, Poland, September 17-20, 2023., pp. 1319-1324, 2023, 978-83-967447-8-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ireneusz Szczesniak, Bozena Wozna-Szczesniak |
Generic Dijkstra: correctness and tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOMS ![In: NOMS 2023, IEEE/IFIP Network Operations and Management Symposium, Miami, FL, USA, May 8-12, 2023, pp. 1-7, 2023, IEEE, 978-1-6654-7716-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Antonio Zaitoun, Tomer Sagi, Katja Hose |
Automated Ontology Evaluation: Evaluating Coverage and Correctness using a Domain Corpus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW (Companion Volume) ![In: Companion Proceedings of the ACM Web Conference 2023, WWW 2023, Austin, TX, USA, 30 April 2023 - 4 May 2023, pp. 1127-1137, 2023, ACM, 978-1-4503-9419-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Marco Paganoni, Carlo A. Furia |
Verifying Functional Correctness Properties at the Level of Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 343-363, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMDT@FM ![In: Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), Lübeck, Germany, March 06, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
12 | Rudrapatna K. Shyamasundar |
ERC20: Correctness via Linearizability and Interference Freedom of the Underlying Smart Contract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECRYPT ![In: Proceedings of the 20th International Conference on Security and Cryptography, SECRYPT 2023, Rome, Italy, July 10-12, 2023., pp. 557-566, 2023, SCITEPRESS, 978-989-758-666-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Zhou Tao, Yan Lei, Huan Xie, Jian Hu |
NeuralCCD: Integrating Multiple Features for Neural Coincidental Correctness Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SANER ![In: IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2023, Taipa, Macao, March 21-24, 2023, pp. 85-96, 2023, IEEE, 978-1-6654-5278-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ramla Ijaz, Kevin Boos, Lin Zhong 0001 |
Leveraging Rust for Lightweight OS Correctness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KISV@SOSP ![In: Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification, KISV 2023, Koblenz, Germany, 23 October 2023, pp. 1-8, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023, pp. 4247-4264, 2023, USENIX Association. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARITH ![In: 30th IEEE Symposium on Computer Arithmetic, ARITH 2023, Portland, OR, USA, September 4-6, 2023, pp. 36-43, 2023, IEEE, 979-8-3503-1922-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GLOBECOM ![In: IEEE Global Communications Conference, GLOBECOM 2023, Kuala Lumpur, Malaysia, December 4-8, 2023, pp. 5135-5140, 2023, IEEE, 979-8-3503-1090-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Maojin Li, Yan Lei, Huan Xie, Jiaguo Wang, Chunyan Liu, Zhengxiong Deng |
Contrastive Coincidental Correctness Representation Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, Florence, Italy, October 9-12, 2023, pp. 252-263, 2023, IEEE, 979-8-3503-1594-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT (1) ![In: Advances in Cryptology - ASIACRYPT 2023 - 29th International Conference on the Theory and Application of Cryptology and Information Security, Guangzhou, China, December 4-8, 2023, Proceedings, Part I, pp. 272-301, 2023, Springer, 978-981-99-8720-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IT&I Workshops ![In: Selected Papers of the X International Scientific Conference `Information Technology and Implementation` (IT&I-2023). Workshop Proceedings, Kyiv, Ukraine, November 20-21, 2023., pp. 1-11, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2023, San Francisco, CA, USA, December 3-9, 2023, pp. 2122-2126, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2023, San Francisco, CA, USA, December 3-9, 2023, pp. 1203-1215, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, CHI 2023, Hamburg, Germany, April 23-28, 2023, pp. 759:1-759:19, 2023, ACM, 978-1-4503-9421-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Danil Kashin, Vadim V. Voevodin |
Verifying the Correctness of HPC Performance Monitoring Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaCT ![In: Parallel Computing Technologies - 17th International Conference, PaCT 2023, Astana, Kazakhstan, August 21-25, 2023, Proceedings, pp. 197-208, 2023, Springer, 978-3-031-41672-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the 29th Symposium on Operating Systems Principles, SOSP 2023, Koblenz, Germany, October 23-26, 2023, pp. 96-112, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jianjun Zhao 0001 |
Static Analysis for Quantum Software Correctness and Reliability (Keynote). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023, pp. 89, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Sangita Roy, Rudrapatna K. Shyamasundar |
An Analysis of Hybrid Consensus in Blockchain Protocols for Correctness and Progress. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBSec ![In: Data and Applications Security and Privacy XXXVII - 37th Annual IFIP WG 11.3 Conference, DBSec 2023, Sophia-Antipolis, France, July 19-21, 2023, Proceedings, pp. 404-412, 2023, Springer, 978-3-031-37585-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Aidan MacDonagh |
Increasing Available Attempts: Changes in Student Correctness on Formative Introductory Physics Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
L@S ![In: Proceedings of the Tenth ACM Conference on Learning @ Scale, Copenhagen, Denmark, July 20-22, 2023, pp. 426-430, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEFP ![Springer, 978-3-031-42832-6 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 185-197, 2023, IEEE, 979-8-3503-2176-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | João Luis Sobrinho, Ricardo Pestana Santos |
Correctness of EIGRP Generalized for Arbitrary Routing Metrics and Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNP ![In: 31st IEEE International Conference on Network Protocols, ICNP 2023, Reykjavik, Iceland, October 10-13, 2023, pp. 1-11, 2023, IEEE, 979-8-3503-0322-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATS ![In: 24th IEEE Latin American Test Symposium, LATS 2023, Veracruz, Mexico, March 21-24, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-2597-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Archiki Prasad, Swarnadeep Saha, Xiang Zhou, Mohit Bansal |
ReCEval: Evaluating Reasoning Chains via Correctness and Informativeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP ![In: Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, EMNLP 2023, Singapore, December 6-10, 2023, pp. 10066-10086, 2023, Association for Computational Linguistics, 979-8-89176-060-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP ![In: Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, EMNLP 2023, Singapore, December 6-10, 2023, pp. 15012-15022, 2023, Association for Computational Linguistics, 979-8-89176-060-8. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP ![In: Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, EMNLP 2023, Singapore, December 6-10, 2023, pp. 2327-2340, 2023, Association for Computational Linguistics, 979-8-89176-060-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 34th International Conference on Concurrency Theory, CONCUR 2023, September 18-23, 2023, Antwerp, Belgium, pp. 9:1-9:16, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-299-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS (4) ![In: Computer Security - ESORICS 2023 - 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part IV, pp. 229-249, 2023, Springer, 978-3-031-51481-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 247-256, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC Workshops ![In: Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis, SC-W 2023, Denver, CO, USA, November 12-17, 2023, pp. 230-233, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC Workshops ![In: Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis, SC-W 2023, Denver, CO, USA, November 12-17, 2023, pp. 224-227, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Roberto Bruni |
Local Completeness for Program Correctness and Incorrectness (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, June 19-21, 2023, Indiana University Bloomington, IN, USA, pp. 2:1-2:2, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-287-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WI/IAT ![In: IEEE International Conference on Web Intelligence and Intelligent Agent Technology, WI-IAT 2023, Venice, Italy, October 26-29, 2023, pp. 346-350, 2023, IEEE, 979-8-3503-0918-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: International Conference on Machine Learning, ICML 2023, 23-29 July 2023, Honolulu, Hawaii, USA., pp. 19094-19140, 2023, PMLR. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSA ![In: 10th International Conference on Dependable Systems and Their Applications, DSA 2023, Tokyo, Japan, August 10-11, 2023, pp. 743-750, 2023, IEEE, 979-8-3503-0477-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jin Yang 0006, Jeremy Casas, Zhenkun Yang |
Invited: A Scalable Formal Approach for Correctness-Assured Hardware Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: 60th ACM/IEEE Design Automation Conference, DAC 2023, San Francisco, CA, USA, July 9-13, 2023, pp. 1-4, 2023, IEEE, 979-8-3503-2348-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISEC ![In: Proceedings of the 16th ACM Conference on Security and Privacy in Wireless and Mobile Networks, WiSec 2023, Guildford, United Kingdom, 29 May 2023 - 1 June 2023, pp. 287-292, 2023, ACM, 978-1-4503-9859-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023, Proceedings, pp. 206-221, 2023, Springer, 978-3-031-42752-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL (2) ![In: Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 2: Short Papers), ACL 2023, Toronto, Canada, July 9-14, 2023., pp. 402-415, 2023, Association for Computational Linguistics. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Tobias Runge |
Correctness-by-Construction for Correct and Secure Software Systems. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2023 |
RDF |
|
12 | Jürgen König |
On the membership and correctness problem for state serializability and value opacity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2023 |
RDF |
|
12 | Xiao Tan |
Correctness and Safety in Planning and Control via State-Space Partitions and Barrier Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 34(19), pp. 16441-16461, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Serv. Comput. ![In: IEEE Trans. Serv. Comput. 15(2), pp. 752-765, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Jibesh Patra |
Analyzing Code Corpora to Improve the Correctness and Reliability of Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softwaretechnik-Trends ![In: Softwaretechnik-Trends 42(2), pp. 18-19, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
12 | Jean-Daniel Boissonnat, Mathijs Wintraecken |
The Topological Correctness of PL Approximations of Isomanifolds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Found. Comput. Math. ![In: Found. Comput. Math. 22(4), pp. 967-1012, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 32(9), pp. 1145-1175, October 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IT Prof. ![In: IT Prof. 24(2), pp. 45-51, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Nir Bitansky, Vinod Vaikuntanathan |
A Note on Perfect Correctness by Derandomization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cryptol. ![In: J. Cryptol. 35(3), pp. 18, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Heling Cao, Lei Li, Yigui Sun |
An Innovative Framework for Coincidental Correctness Impacting on Fault Localization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 14(6), pp. 1267, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 55(2), pp. 102-108, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 48(7), pp. 2541-2556, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Masoud Nosrati, Ying Cai |
Verifying the Correctness of Analytic Query Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 34(9), pp. 4527-4537, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.04719, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.06590, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Jelle Hellings, Suyash Gupta, Sajjad Rahnama, Mohammad Sadoghi |
On the Correctness of Speculative Consensus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.03552, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Fernando Lucatelli Nunes, Matthijs Vákár |
Logical Relations for Partial Features and Automatic Differentiation Correctness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.08530, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Naama Ben-David, Michal Friedman 0001, Yuanhao Wei |
Survey of Persistent Memory Correctness Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.11114, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Yanglin Hu, Yingkai Ouyang, Marco Tomamichel |
Privacy and correctness trade-offs for information-theoretically secure quantum homomorphic encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.12127, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Chongyi Yuan, Lijie Wen, Xiongliang Yan |
Towards the Future: Bring Program Correctness back to the focus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.15653, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.12186, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.07363, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.04125, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Ireneusz Szczesniak, Bozena Wozna-Szczesniak |
Generic Dijkstra: correctness and tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.13547, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Fernando Lucatelli Nunes, Matthijs Vákár |
Automatic Differentiation for ML-family languages: correctness via logical relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.07724, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Mia Filic, Kenneth G. Paterson, Anupama Unnikrishnan, Fernando Virdia |
Adversarial Correctness and Privacy for Probabilistic Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.06955, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Wolfgang Jeltsch, Javier Díaz |
Correctness of Broadcast via Multicast: Graphically and Formally. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FROM ![In: Proceedings of the Sixth Working Formal Methods Symposium, FROM 2022, `Al. I. Cuza University`, Iasi, Romania, 19-20 September, 2022., pp. 37-50, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCM@STAF ![In: Proceedings of the Thirteenth International Workshop on Graph Computation Models, GCM@STAF 2022, Nantes, France, 6th July 2022., pp. 76-93, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Assist. Learn. ![In: J. Comput. Assist. Learn. 38(3), pp. 833-844, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
|
|