Latest Messages

Showing 2,851-2,880 of 3,435 items.
#DateTypeContent
28512026-03-03New Researcher浩 姚 (成都信息工程大学)
28522026-03-03New ResearcherZhang Yunshi (北京邮电大学)
28532026-03-02Update JournalInternational Journal of Computer Science, Engineering and Information Technology
28542026-03-02Update JournalAdvanced Computing: An International Journal
28552026-03-02Update JournalInternational Journal of Information Sciences and Techniques
28562026-03-02Update JournalInternational Journal of Network Security & Its Applications
28572026-03-02Update JournalInternational Journal on Soft Computing
28582026-03-02Update JournalInternational Journal of Data Mining & Knowledge Management Process
28592026-03-02Update JournalInternational Journal of Security, Privacy and Trust Management
28602026-03-02Update JournalInternational journal of Software Engineering & Applications
28612026-03-02New ResearcherYan Li (National University of Defense Technology)
28622026-03-02New ResearcherXuehong Du (Sun Yat-sen University)
28632026-03-02New ResearcherXinyu Sun (Electronic Science and Technology of Xi’an)
28642026-03-02Update JournalInternational Journal of Computer Networks & Communications
28652026-03-02Add ConferenceRoboi 2026: International Symposium on Embodied intelligence and Humanoid Robots
28662026-03-02Update ConferenceITP 2026: International Conference on Interactive Theorem Proving
28672026-03-02Update ConferenceCAV 2026: International Conference on Computer Aided Verification
28682026-03-02Update ConferenceICLP 2026: International Conference on Logic Programming
28692026-03-02Update ConferenceFSCD 2026: International Conference on Formal Structures for Computation and Deduction
28702026-03-02Update ConferenceIJCAR 2026: International Joint Conference on Automated Reasoning
28712026-03-02Update ConferenceISAAC 2025: International Symposium on Algorithms and Computation
28722026-03-02Update ConferenceISSAC 2026: International Symposium on Symbolic and Algebraic Computation
28732026-03-02Update ConferenceEC 2026: ACM Conference on Economics and Computation
28742026-03-02Update ConferenceASP-DAC 2027: Asia and South Pacific Design Automation Conference
28752026-03-02New Researcherpeng li li peng (贵州中医药大学)
28762026-03-02Add Special IssueCombining Probability and Logic (Journal of Logic and Computation)
28772026-03-02Add Special IssueProof-Theoretic Semantics and Computation (Journal of Logic and Computation)
28782026-03-02Update JournalJournal of Logic and Computation
28792026-03-02Update JournalACM Transactions on Economics and Computation
28802026-03-02Update JournalJournal of Robotics