Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
11 | Zhaoyi Zhou, Chuning Zhu, Runlong Zhou, Qiwen Cui, Abhishek Gupta 0004, Simon Shaolei Du |
Free from Bellman Completeness: Trajectory Stitching via Model-based Return-conditioned Supervised Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.19308, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Dipeeka Luitel, Shabnam Hassani, Mehrdad Sabetzadeh |
Improving Requirements Completeness: Automated Assistance through Large Language Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.03784, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Richard Statman, Gilles Dowek |
On Statman's Finite Completeness Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.03602, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Wojciech Rozowski, Alexandra Silva 0001 |
A Completeness Theorem for Probabilistic Regular Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.08779, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | José Luis Mancilla-Aguilar, Hernan Haimovich |
Time-delay systems that defy intuition: nonrobust forward completeness and related (non)properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.07130, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Arno Broeders, Ruud Hermans, Sylvia Stuurman, Lex Bijlsma 0001, Harrie Passier |
Improving students' code correctness and test completeness by informal specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.02221, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Igor Sedlár |
Kleene Algebra with Dynamic Tests: Completeness and Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.06937, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Gilles Dowek |
Axioms vs. rewrite rules: from completeness to cut elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.00495, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Mihir Vahanwala |
Skolem and Positivity Completeness of Ergodic Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.04881, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | S. Rajagopal, P. Vanchinathan |
Higher Level Completeness for Permutation Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.12466, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Pierre Ohlmann, Michal Skrzypczak |
Positionality in Σ_0^2 and a completeness result. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.17022, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Renaud Vilmart |
Rewriting and Completeness of Sum-Over-Paths in Dyadic Fragments of Quantum Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.14223, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Yudong Li, Yirui Cong, Jiuxiang Dong |
Existence and Completeness of Bounded Disturbance Observers: A Set-Membership Viewpoint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.02733, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Hichem Belgacem, Xiaochen Li, Domenico Bianculli, Lionel C. Briand |
Learning-Based Relaxation of Completeness Requirements for Data Entry Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.13517, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Johanna Vielhaben, Stefan Blücher, Nils Strodthoff |
Multi-dimensional concept discovery (MCD): A unifying framework with completeness guarantees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.11911, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Georg Friedrich Schuppe, Dilian Gurov |
Soundness and Completeness of a Model-Checking Proof System for CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.05389, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Nils Lommen, Jürgen Giesl |
Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.06921, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Guido Boccali, Andrea Laretto, Fosco Loregiàn, Stefano Luneia |
Completeness for categories of generalized automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.03867, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Jigyasa Nigam, Sergey N. Pozdnyakov, Kevin K. Huguenin-Dumittan, Michele Ceriotti |
Completeness of Atomic Structure Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.14770, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Dipeeka Luitel, Shabnam Hassani, Mehrdad Sabetzadeh |
Using Language Models for Enhancing the Completeness of Natural-language Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.04792, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Yuanrui Zhang, Xinxin Liu |
Image Reflection on LLEE Charts - Another Proof for the Completeness of an Axiomatization of 1-Free Regular Expressions Modulo Bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.01222, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Huayu Guo, Dongheng Chen, Bruno Bentzen |
Verified completeness in Henkin-style for intuitionistic propositional logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.01916, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Damien Pous, Jana Wagemaker |
Completeness Theorems for Kleene algebra with tests and top. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.07190, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Shihong Chen, Gao Fan, Jun Li |
Improving completeness and accuracy of 3D point clouds by using deep learning for applications of digital twins to civil structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Eng. Informatics ![In: Adv. Eng. Informatics 58, pp. 102196, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Haitao Yuan 0002, Sai Wang, Zhifeng Bao, Shangguang Wang |
Automatic Road Extraction with Multi-Source Data Revisited: Completeness, Smoothness and Discrimination. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. VLDB Endow. ![In: Proc. VLDB Endow. 16(11), pp. 3004-3017, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Samuel Balco, Alexander Kurz 0001 |
Completeness of Nominal PROPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 19(1), 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Valentin B. Shehtman |
On Kripke completeness of modal predicate logics around quantified K5. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 174(2), pp. 103202, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Haruka Kogure, Taishi Kurahashi |
Arithmetical completeness theorems for monotonic modal logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 174(7), pp. 103271, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Jun Kawabe, Naoki Yamada |
The completeness and separability of function spaces in nonadditive measure theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 466, pp. 108409, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Chun-Yu Lin, Churn-Jung Liau |
Many-valued coalgebraic modal logic: One-step completeness and finite model property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 467, pp. 108564, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Gerd Christian Krizek, Lukas Mairhofer |
Notions of Completeness in the EPR Discussion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 25(4), pp. 585, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Noam Mazor |
Key-Agreement with Perfect Completeness from Random Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 1265, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
11 | Asta Halkjær From |
Synthetic Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2023, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
11 | Caleb Camrud |
Generalized effective completeness for continuous logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Anal. ![In: J. Log. Anal. 15, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
11 | Peide Liu, Yueyuan Li, Peng Wang 0045 |
Social Trust-Driven Consensus Reaching Model for Multiattribute Group Decision Making: Exploring Social Trust Network Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 31(9), pp. 3040-3054, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Andrii Mironchenko |
Lyapunov criteria for robust forward completeness of distributed parameter systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Control. Lett. ![In: Syst. Control. Lett. 180, pp. 105618, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Sándor Jenei |
Involutive Uninorm Logic with Fixed Point enjoys finite strong standard completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 62(1-2), pp. 67-86, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Juan P. Aguilera 0001 |
A topological completeness theorem for transfinite provability logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 62(5-6), pp. 751-788, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Michael Gene Dobbins, Linda Kleist, Tillmann Miltzow, Pawel Rzazewski |
Completeness for the Complexity Class $\forall \exists \mathbb {R}$ and Area-Universality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 70(1), pp. 154-188, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala |
Pspace-completeness of the temporal logic of sub-intervals and suffixes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 294, pp. 105083, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Joshua A. Grochow, Youming Qiao |
On the Complexity of Isomorphism Problems for Tensors, Groups, and Polynomials I: Tensor Isomorphism-Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Comput. ![In: SIAM J. Comput. 52(2), pp. 568-617, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Christos H. Papadimitriou |
Cook's NP-completeness Paper and the Dawn of the New Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic, Automata, and Computational Complexity ![In: Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook, pp. 73-82, 2023, ACM, 979-8-4007-0779-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Martin Ruskov |
Who and How: Using Sentence-Level NLP to Evaluate Idea Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIED (Posters/Late Breaking Results/...) ![In: Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky - 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings, pp. 284-289, 2023, Springer, 978-3-031-36335-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Tobias Kappé |
Completeness and the Finite Model Property for Kleene Algebra, Reconsidered. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings, pp. 158-175, 2023, Springer, 978-3-031-28082-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Dusko Pavlovic, Temra Pavlovic |
From Gödel's Incompleteness Theorem to the Completeness of Bot Beliefs - (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings, pp. 33-50, 2023, Springer, 978-3-031-39783-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Thomas Macaulay Ferguson, Vít Puncochár |
Structural Completeness and Superintuitionistic Inquisitive Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings, pp. 194-210, 2023, Springer, 978-3-031-39783-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Anhao Xiang, Weiping Pei, Chuan Yue |
PolicyChecker: Analyzing the GDPR Completeness of Mobile Apps' Privacy Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, Copenhagen, Denmark, November 26-30, 2023, pp. 3373-3387, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Leonardo Nagami Coregliano, Fernando Granha Jeronimo, Chris Jones |
Exact Completeness of LP Hierarchies for Linear Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCS ![In: 14th Innovations in Theoretical Computer Science Conference, ITCS 2023, January 10-13, 2023, MIT, Cambridge, Massachusetts, USA., pp. 40:1-40:18, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-263-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Romain Bourneuf, Lukás Folwarczný, Pavel Hubácek, Alon Rosen, Nikolaj I. Schwartzbach |
PPP-Completeness and Extremal Combinatorics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCS ![In: 14th Innovations in Theoretical Computer Science Conference, ITCS 2023, January 10-13, 2023, MIT, Cambridge, Massachusetts, USA., pp. 22:1-22:20, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-263-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Flávia Bernardini, Catherine Fortes Thedim Costa, Shaiana Pereira, Victor Antunes Vieira, Daniela Trevisan 0001, José Viterbo |
Verifying Open Data Portals Completeness in Compliance to a Grounding Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EGOV ![In: Electronic Government - 22nd IFIP WG 8.5 International Conference, EGOV 2023, Budapest, Hungary, September 5-7, 2023, Proceedings, pp. 246-261, 2023, Springer, 978-3-031-41137-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Claudia V. Roberts, Ehtsham Elahi, Ashok Chandrashekar |
CLIME: Completeness-Constrained LIME. ![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. 950-958, 2023, ACM, 978-1-4503-9419-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Jean De Dieu Iradukunda, Divine Umutesi Rusa, Raphael Ndahimana, Briand Mvuyekure, Pascal Birindabagabo, Hinda Ruton, Tharcisse Mpunga, Michael Mugisha, Celestin Twizere, David Tumusiime |
Towards Improving Data Quality in Electronic Medical Records: An Investigation of Data Completeness in a Tertiary Hospital in Rwanda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIMTH ![In: Healthcare Transformation with Informatics and Artificial Intelligence, ICIMTH 2023, 21st International Conference on Informatics, Management, and Technology in Healthcare, Athens, Greece, from 1-3 July 2023., pp. 390-393, 2023, IOS Press, 978-1-64368-400-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Leila Shokrizadeharani, Zahra Batooli, Saeedeh Heydarian, Reihane Sharif, Shady Ghaderkhany, Daniel Hieber, Peter Kuhn |
Evaluation of Completeness, Comparability, Validity, and Timeliness in Cancer Registries: A Scoping Review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIMTH ![In: Healthcare Transformation with Informatics and Artificial Intelligence, ICIMTH 2023, 21st International Conference on Informatics, Management, and Technology in Healthcare, Athens, Greece, from 1-3 July 2023., pp. 160-163, 2023, IOS Press, 978-1-64368-400-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Titouan Carette, Louis Lemonnier, Vladimir Zamdzhiev |
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: LICS, pp. 1-13, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Boldizsár Poór, Quanlong Wang, Razin A. Shaikh, Lia Yeh, Richie Yeung, Bob Coecke |
Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: LICS, pp. 1-14, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Jelle Hellings, Marc Gyssens, Jan Van den Bussche, Dirk Van Gucht |
Expressive Completeness of Two-Variable First-Order Logic with Counting for First-Order Logic Queries on Rooted Unranked Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: LICS, pp. 1-13, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Wojciech Rozowski, Tobias Kappé, Dexter Kozen, Todd Schmid, Alexandra Silva 0001 |
Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023, July 10-14, 2023, Paderborn, Germany, pp. 136:1-136:20, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-278-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Esther Anna Corsi, Tommaso Flaminio, Lluís Godo, Hykel Hosni |
A modal logic for uncertainty: a completeness theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIPTA ![In: International Symposium on Imprecise Probability: Theories and Applications, ISIPTA 2023, 11-14 July 2023, Oviedo, Spain., pp. 119-129, 2023, PMLR. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
11 | Astrid Rohmann |
Improving the Completeness of Acceptance Criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFSQ Workshops ![In: Joint Proceedings of REFSQ-2023 Workshops, Doctoral Symposium, Posters & Tools Track and Journal Early Feedback co-located with the 28th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2023), Barcelona, Catalunya, Spain, April 17-20, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
11 | Dipeeka Luitel, Shabnam Hassani, Mehrdad Sabetzadeh |
Using Language Models for Enhancing the Completeness of Natural-Language Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFSQ ![In: Requirements Engineering: Foundation for Software Quality - 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings, pp. 87-104, 2023, Springer, 978-3-031-29785-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Vijanti Ramautar, Sergio España, Sjaak Brinkkemper |
Task Completeness Assessments in the Evolution of Domain-Specific Modelling Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering - 35th International Conference, CAiSE 2023, Zaragoza, Spain, June 12-16, 2023, Proceedings, pp. 314-329, 2023, Springer, 978-3-031-34559-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Kristo Raun, Max Nielsen, Andrea Burattin, Ahmed Awad 0001 |
C-3PA: Streaming Conformance, Confidence and Completeness in Prefix-Alignments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering - 35th International Conference, CAiSE 2023, Zaragoza, Spain, June 12-16, 2023, Proceedings, pp. 437-453, 2023, Springer, 978-3-031-34559-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Anjali Sifar, Hariharan Purohit, Nisheeth Srivastava |
Measuring the completeness of race models for perceptual decision-making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 45th Annual Meeting of the Cognitive Science Society, CogSci 2023, Sydney, NSW, Australia, July 26-29, 2023, 2023, cognitivesciencesociety.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
11 | Julianne Wilson, Jessecae K. Marsh |
Perceptions of Explanation Completeness Help Decrease Knowledge Overestimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 45th Annual Meeting of the Cognitive Science Society, CogSci 2023, Sydney, NSW, Australia, July 26-29, 2023, 2023, cognitivesciencesociety.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
11 | Tobias Reinhard, Justus Fasse, Bart Jacobs 0002 |
Completeness Thresholds for Memory Safety of Array Traversing Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2023, Orlando, FL, USA, 17 June 2023, pp. 47-54, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Asta Halkjær From, Jørgen Villadsen |
A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods - 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings, pp. 468-480, 2023, Springer, 978-3-031-43512-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Chen Zhang, Guorong Li, Yuankai Qi, Shuhui Wang, Laiyun Qing, Qingming Huang, Ming-Hsuan Yang 0001 |
Exploiting Completeness and Uncertainty of Pseudo Labels for Weakly Supervised Video Anomaly Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2023, Vancouver, BC, Canada, June 17-24, 2023, pp. 16271-16280, 2023, IEEE, 979-8-3503-0129-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Geetanjli Sharma, M. A. P. Chamikara, Mohan Baruwal Chhetri, Yi-Ping Phoebe Chen |
SoK: Systematizing Attack Studies in Federated Learning - From Sparseness to Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaCCS ![In: Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security, ASIA CCS 2023, Melbourne, VIC, Australia, July 10-14, 2023, pp. 579-592, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Mykola Dyvak, Roman Pasichnyk, Natalia Porplytsya, Volodymyr Fronchko, Vasyl Yakoviv, Veronika Bandzuchová |
A Method of Studying the Completeness of Interval Discrete Models Built on the Basis of Intelligent Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIT ![In: 13th International Conference on Advanced Computer Information Technologies, ACIT 2023, Wrocław, Poland, September 21-23, 2023, pp. 1-4, 2023, IEEE, 979-8-3503-1167-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Fokke Heikamp, Lei Pan 0002, Robin Doss, Rolando Trujillo-Rasua, Sushmita Ruj |
ForTrac: a Secure NFT-based Forward Traceability System for Providing Data Accuracy and Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BSCI ![In: Proceedings of the 5th ACM International Symposium on Blockchain and Secure Critical Infrastructure, BSCI 2023, Melbourne, VIC, Australia, July 10-14, 2023, pp. 1-10, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Aurek Chattopadhyay, Ganesh Malla, Nan Niu, Tanmay Bhowmik, Juha Savolainen |
Completeness of Natural Language Requirements: A Comparative Study of User Stories and Feature Descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRI ![In: 24th IEEE International Conference on Information Reuse and Integration for Data Science, IRI 2023, Bellevue, WA, USA, August 4-6, 2023, pp. 52-57, 2023, IEEE, 979-8-3503-3458-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Kalle Kujanpää, Joni Pajarinen, Alexander Ilin |
Hybrid Search for Efficient Planning with Completeness Guarantees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023., 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
11 | Å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 |
|
11 | Zhangzhi Luo, Yang Jiang, Qingwen Han, Lingqiu Zeng, Lingfeng Qi |
Message Prediction Method and Application Based on V2X Interactive Data Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITSC ![In: 25th IEEE International Conference on Intelligent Transportation Systems, ITSC 2022, Macau, China, October 8-12, 2022, pp. 1530-1535, 2023, IEEE, 978-1-6654-6880-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Marco Rondina, Antonio Vetrò, Juan Carlos De Martin |
Completeness of Datasets Documentation on ML/AI Repositories: An Empirical Investigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPIA (1) ![In: Progress in Artificial Intelligence - 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part I, pp. 79-91, 2023, Springer, 978-3-031-49007-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Jorge Fandinno, Vladimir Lifschitz |
Omega-Completeness of the Logic of Here-and-There and Strong Equivalence of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023., pp. 240-251, 2023, 978-1-956792-02-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | 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 |
|
11 | Guido Boccali, Andrea Laretto, Fosco Loregiàn, Stefano Luneia |
Completeness for Categories of Generalized Automata ((Co)algebraic pearls). ![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. 20:1-20:14, 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 |
|
11 | Fateh Boulmaiz, Patrick Reignier, Stéphane Ploix |
On Completeness-Aware Reasoning in Case-Based Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE (1) ![In: Advances and Trends in Artificial Intelligence. Theory and Applications - 36th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2023, Shanghai, China, July 19-22, 2023, Proceedings, Part I, pp. 60-73, 2023, Springer, 978-3-031-36818-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Renaud Vilmart |
Completeness of Sum-Over-Paths for Toffoli-Hadamard and the Dyadic Fragments of Quantum Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 31st EACSL Annual Conference on Computer Science Logic, CSL 2023, February 13-16, 2023, Warsaw, Poland., pp. 36:1-36:17, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-264-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Ran Cohen, Juan A. Garay, Vassilis Zikas |
Completeness Theorems for Adaptively Secure Broadcast. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO (1) ![In: Advances in Cryptology - CRYPTO 2023 - 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20-24, 2023, Proceedings, Part I, pp. 3-38, 2023, Springer, 978-3-031-38556-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Nils Lommen, Jürgen Giesl |
Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings, pp. 3-22, 2023, Springer, 978-3-031-43368-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Pedro Strecht, João Mendes-Moreira 0001, Carlos Soares |
Symbolic Data Analysis to Improve Completeness of Model Combination Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI (2) ![In: AI 2023: Advances in Artificial Intelligence - 36th Australasian Joint Conference on Artificial Intelligence, AI 2023, Brisbane, QLD, Australia, November 28 - December 1, 2023, Proceedings, Part II, pp. 107-119, 2023, Springer, 978-981-99-8390-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Vyacheslav Zavalin, Oksana L. Zavalina |
Exploration of Accuracy, Completeness and Consistency in Metadata for Physical Objects in Museum Collections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iConference (2) ![In: Information for a Better World: Normality, Virtuality, Physicality, Inclusivity - 18th International Conference, iConference 2023, Virtual Event, March 13-17, 2023, Proceedings, Part II, pp. 83-90, 2023, Springer, 978-3-031-28031-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Lynn Rother, Fabio Mariani, Max Koss |
Linking (In)Completeness: A Collaborative Approach to Representing People in Art Provenance Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DH ![In: Annual International Conference of the Alliance of Digital Humanities Organizations, DH 2022, Graz, Austria, July 10-14, 2023, Conference Abstracts, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Marco Campion, Mila Dalla Preda, Roberto Giacobazzi |
Partial (In)Completeness in abstract interpretation: limiting the imprecision in program analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 6(POPL), pp. 1-31, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Eugene Eberbach |
On Completeness of Cost Metrics and Meta-Search Algorithms in $-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 188(2), pp. 63-90, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | André Arnold, Patrick Cégielski, Irène Guessarian |
Affine Completeness of Some Free Binary Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 186(1-4), pp. 27-44, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Zhijie Wu, Chunjin Song, Guanxiong Chen, Sheng Guo, Weilin Huang |
Completeness and Coherence Learning for Fast Arbitrary Style Transfer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Mach. Learn. Res. ![In: Trans. Mach. Learn. Res. 2022, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
11 | Souheir Mehanna, Zoubida Kedad, Mohamed Chachoua |
Completeness Assessment and Improvement in Mobile Crowd-Sensing Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SN Comput. Sci. ![In: SN Comput. Sci. 3(3), pp. 216, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Barbara Slibar, Enrique Mu |
OGD metadata country portal publishing guidelines compliance: A multi-case study search for completeness and consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Gov. Inf. Q. ![In: Gov. Inf. Q. 39(4), pp. 101756, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Gianluigi Salvucci, Luca Salvati |
Official Statistics, Building Censuses, and OpenStreetMap Completeness in Italy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPRS Int. J. Geo Inf. ![In: ISPRS Int. J. Geo Inf. 11(1), pp. 29, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Christian Ikenmeyer, Abhiroop Sanyal |
A note on VNP-completeness and border complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 176, pp. 106243, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Tommaso Moraschini |
On Equational Completeness Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 87(4), pp. 1522-1575, December 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Jinsheng Chen, Giuseppe Greco 0001, Alessandra Palmigiano, Apostolos Tzimoulis |
Syntactic Completeness of Proper Display Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 23(4), pp. 23:1-23:46, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Yuanxia Li, Faiz Currim, Sudha Ram |
Data Completeness and Complex Semantics in Conceptual Modeling: The Need for a Disaggregation Construct. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM J. Data Inf. Qual. ![In: ACM J. Data Inf. Qual. 14(4), pp. 22:1-22:21, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Leilei Lin, Lijie Wen, Li Lin 0011, Jisheng Pei, Hedong Yang |
LCDD: Detecting Business Process Drifts Based on Local Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Serv. Comput. ![In: IEEE Trans. Serv. Comput. 15(4), pp. 2086-2099, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Martin Rohrmeier |
On Creativity, Music's AI Completeness, and Four Challenges for Artificial Musical Creativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Int. Soc. Music. Inf. Retr. ![In: Trans. Int. Soc. Music. Inf. Retr. 5(1), pp. 50-66, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Juan Ribeiro Reis, Flávia Bernardini, José Viterbo |
A New Approach for Assessing Metadata Completeness in Open Data Portals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Electron. Gov. Res. ![In: Int. J. Electron. Gov. Res. 18(1), pp. 1-20, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Patrick Bogaert, Céline Lamarche, Pierre Defourny |
Hidden Markov Models for Annual Land Cover Mapping - Increasing Temporal Consistency and Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Geosci. Remote. Sens. ![In: IEEE Trans. Geosci. Remote. Sens. 60, pp. 1-14, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|