User contributions for CorrectionBot

30 July 2025

• 13:0313:03, 30 July 2025 diff history +26 An exclusive spectral computational approach based on quadratic orthoexponential polynomials for solving integro-differential equations with delays on the real line (Q2106201) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0313:03, 30 July 2025 diff history +26 Security, privacy, and applied cryptography engineering. 12th international conference, SPACE 2022, Jaipur, India, December 9--12, 2022. Proceedings (Q2106200) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0313:03, 30 July 2025 diff history +26 Formal methods: foundations and applications. 25th Brazilian symposium, SBMF 2022, virtual event, December 6--9, 2022. Proceedings (Q2106199) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0313:03, 30 July 2025 diff history +26 Static analysis. 29th international symposium, SAS 2022, Auckland, New Zealand, December 5--7, 2022. Proceedings (Q2106198) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0313:03, 30 July 2025 diff history +26 Information security and privacy. 27th Australasian conference, ACISP 2022, Wollongong, NSW, Australia, November 28--30, 2022. Proceedings (Q2106197) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0313:03, 30 July 2025 diff history +26 String processing and information retrieval. 29th international symposium, SPIRE 2022, Concepción, Chile, November 8--10, 2022. Proceedings (Q2106196) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0313:03, 30 July 2025 diff history +26 Latin 2022: theoretical informatics. 15th Latin American symposium, Guanajuato, Mexico, November 7--11, 2022. Proceedings (Q2106195) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0313:03, 30 July 2025 diff history +26 Programming languages and systems. 20th Asian symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022. Proceedings (Q2106194) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0313:03, 30 July 2025 diff history +26 Information security practice and experience. 17th international conference, ISPEC 2022, Taipei, Taiwan, November 23--25, 2022. Proceedings (Q2106193) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0313:03, 30 July 2025 diff history +26 Combinatorial optimization. 7th international symposium, ISCO 2022, virtual event, May 18--20, 2022. Revised selected papers (Q2106192) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0313:03, 30 July 2025 diff history +26 Cryptology and network security. 21st International conference, CANS 2022, Abu Dhabi, United Arab Emirates, November 13--16, 2022. Proceedings (Q2106191) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0313:03, 30 July 2025 diff history +26 Rough sets. International joint conference, IJCRS 2022, Suzhou, China, November 11--14, 2022. Proceedings (Q2106190) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0313:03, 30 July 2025 diff history +26 A journey from process algebra via timed automata to model learning. Essays dedicated to Frits Vaandrager on the occasion of his 60th birthday (Q2106189) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0313:03, 30 July 2025 diff history +26 Diagrammatic representation and inference. 13th international conference, Diagrams 2022, Rome, Italy, September 14--16, 2022. Proceedings (Q2106188) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0213:02, 30 July 2025 diff history +26 Security and cryptography for networks. 13th International conference, SCN 2022, Amalfi (SA), Italy, September 12--14, 2022. Proceedings (Q2106187) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0213:02, 30 July 2025 diff history +26 Algebraic informatics. 9th international conference, CAI 2022, virtual event, October 27--29, 2022. Proceedings (Q2106186) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0213:02, 30 July 2025 diff history +26 Scalable uncertainty management. 15th international conference, SUM 2022, Paris, France, October 17--19, 2022. Proceedings (Q2106185) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0213:02, 30 July 2025 diff history +26 Approximation and online algorithms. 20th international workshop, WAOA 2022, Potsdam, Germany, September 8--9, 2022. Proceedings (Q2106184) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0213:02, 30 July 2025 diff history +26 Automated technology for verification and analysis. 20th international symposium, ATVA 2022, virtual event, October 25--28, 2022. Proceedings (Q2106183) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0213:02, 30 July 2025 diff history +26 Discrete geometry and mathematical morphology. Second international joint conference, DGMM 2022, Strasbourg, France, October 24--27, 2022. Proceedings (Q2106182) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0213:02, 30 July 2025 diff history +26 Financial cryptography and data security. 26th international conference, FC 2022, Grenada, May 2--6, 2022. Revised selected papers (Q2106181) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0213:02, 30 July 2025 diff history +26 Computer security -- ESORICS 2022. 27th European symposium on research in computer security, Copenhagen, Denmark, September 26--30, 2022. Proceedings. Part III (Q2106180) ‎Changed label, description and/or aliases in en, and other parts
• 13:0213:02, 30 July 2025 diff history +26 Computer security -- ESORICS 2022. 27th European symposium on research in computer security, Copenhagen, Denmark, September 26--30, 2022. Proceedings. Part II (Q2106179) ‎Changed label, description and/or aliases in en, and other parts
• 13:0213:02, 30 July 2025 diff history +26 Computer security -- ESORICS 2022. 27th European symposium on research in computer security, Copenhagen, Denmark, September 26--30, 2022. Proceedings. Part I (Q2106178) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0213:02, 30 July 2025 diff history +26 Software engineering and formal methods. 20th international conference, SEFM 2022, Berlin, Germany, September 26--30, 2022. Proceedings (Q2106177) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0213:02, 30 July 2025 diff history +26 Mathematics of program construction. 14th international conference, MPC 2022, Tbilisi, Georgia, September 26--28, 2022. Proceedings (Q2106176) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0213:02, 30 July 2025 diff history +26 Foundations of intelligent systems. 26th international symposium, ISMIS 2022, Cosenza, Italy, October 3--5, 2022. Proceedings (Q2106175) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0213:02, 30 July 2025 diff history +26 Post-quantum cryptography. 13th international workshop, PQCrypto 2022, virtual event, September 28--30, 2022. Proceedings (Q2106174) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0213:02, 30 July 2025 diff history +26 Graph-based representation and reasoning. 27th international conference on conceptual structures, ICCS 2022, Münster, Germany, September 12--15, 2022. Proceedings (Q2106173) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0213:02, 30 July 2025 diff history +26 Stabilization, safety, and security of distributed systems. 24th international symposium, SSS 2022, Clermont-Ferrand, France, November 15--17, 2022. Proceedings (Q2106172) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0213:02, 30 July 2025 diff history +26 Provable and practical security. 16th international conference, ProvSec 2022, Nanjing, China, November 11--12, 2022. Proceedings (Q2106171) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0213:02, 30 July 2025 diff history +26 Where responsibility takes you. Logics of agency, counterfactuals, and norms (Q2106170) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0213:02, 30 July 2025 diff history +26 Reachability problems. 16th international conference, RP 2022, Kaiserslautern, Germany, October 17--21, 2022. Proceedings (Q2106169) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0213:02, 30 July 2025 diff history +26 Advances in cryptology -- CRYPTO 2022. 42nd annual international cryptology conference, CRYPTO 2022, Santa Barbara, CA, USA, August 15--18, 2022. Proceedings. Part IV (Q2106168) ‎Changed label, description and/or aliases in en, and other parts
• 13:0213:02, 30 July 2025 diff history +26 Advances in cryptology -- CRYPTO 2022. 42nd annual international cryptology conference, CRYPTO 2022, Santa Barbara, CA, USA, August 15--18, 2022. Proceedings. Part III (Q2106167) ‎Changed label, description and/or aliases in en, and other parts
• 13:0213:02, 30 July 2025 diff history +26 Advances in cryptology -- CRYPTO 2022. 42nd annual international cryptology conference, CRYPTO 2022, Santa Barbara, CA, USA, August 15--18, 2022. Proceedings. Part II (Q2106166) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0213:02, 30 July 2025 diff history +26 Advances in cryptology -- CRYPTO 2022. 42nd annual international cryptology conference, CRYPTO 2022, Santa Barbara, CA, USA, August 15--18, 2022. Proceedings. Part I (Q2106165) ‎Changed label, description and/or aliases in en, and other parts
• 13:0213:02, 30 July 2025 diff history +26 Progress in cryptology -- AFRICACRYPT 2022. 13th international conference on cryptology in Africa, AFRICACRYPT 2022, Fes, Morocco, July 18--20, 2022. Proceedings (Q2106164) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0213:02, 30 July 2025 diff history +26 Algorithmic game theory. 15th international symposium, SAGT 2022, Colchester, UK, September 12--15, 2022. Proceedings (Q2106163) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0213:02, 30 July 2025 diff history +26 Computational logistics. 13th international conference, ICCL 2022, Barcelona, Spain, September 21--23, 2022. Proceedings (Q2106162) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0213:02, 30 July 2025 diff history +26 Algorithmic aspects in information and management. 16th international conference, AAIM 2022, Guangzhou, China, August 13--14, 2022. Proceedings (Q2106161) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0213:02, 30 July 2025 diff history +26 Quantitative evaluation of systems. 19th international conference, QEST 2022, Warsaw, Poland, September 12--16, 2022. Proceedings (Q2106160) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0213:02, 30 July 2025 diff history +26 Logic-based program synthesis and transformation. 32nd international symposium, LOPSTR 2022, Tbilisi, Georgia, September 21--23, 2022. Proceedings (Q2106159) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0213:02, 30 July 2025 diff history +26 Logic, language, information, and computation. 28th international workshop, WoLLIC 2022, Iași, Romania, September 20--23, 2022. Proceedings (Q2106158) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0213:02, 30 July 2025 diff history +26 Intelligent computer mathematics. 15th international conference, CICM 2022, Tbilisi, Georgia, September 19--23, 2022. Proceedings (Q2106157) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0213:02, 30 July 2025 diff history +26 KI 2022: advances in artificial intelligence. 45th German conference on AI, Trier, Germany, September 19--23, 2022. Proceedings (Q2106156) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0213:02, 30 July 2025 diff history +26 New numerical radius inequalities for operator matrices and a bound for the zeros of polynomials (Q2106155) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0213:02, 30 July 2025 diff history +26 Further refinements and reverses of the Hermite-Hadamard inequalities for multivariate operator convex maps (Q2106150) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0213:02, 30 July 2025 diff history +26 Norm estimates for the pseudo-differential operator involving fractional Hankel-like transform on \(\mathcal{S}\)-type spaces (Q2106149) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0213:02, 30 July 2025 diff history +26 Criteria of genuine multipartite entanglement based on correlation tensors (Q2106148) ‎Changed label, description and/or aliases in en, and other parts current