logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回期刊详情
T

THEORETICAL ASPECTS OF COMPUTING-ICTAC 2025

IF
论文数28
被引数
期刊论文 28
发表时间
delete
Pomsets for Process Management: A Healthcare Case Study进程管理中的偏序多集：医疗保健案例研究
deleteTHEORETICAL ASPECTS OF COMPUTING-ICTAC 2025
IF0
delete2026-01-01
delete0
PREAI
deletePal, Sourabh; Guanciale, Roberto; Lanese, Ivan; Tuosto, Emilio; Clo, Massimo
delete分享
delete收藏
AP-Observation Automata for Abstraction-Based Verification of Continuous-Time Systems基于抽象的连续时间系统验证的AP-观察自动机
deleteTHEORETICAL ASPECTS OF COMPUTING-ICTAC 2025
IF0
delete2026-01-01
delete0
PREAI
deletePruekprasert, Sasinee; Eberhart, Clovis
delete分享
delete收藏
Timed Monitoring and Timed Monitorability定时监测与定时可监测性
deleteTHEORETICAL ASPECTS OF COMPUTING-ICTAC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLarsen, Kim Guldstrand
delete分享
delete收藏
Graphical Quadratic Algebra图示二次代数
deleteTHEORETICAL ASPECTS OF COMPUTING-ICTAC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteStein, Dario; Zanasi, Fabio; Piedeleu, Robin; Samuelson, Richard
delete分享
delete收藏
Multi-perspective Correctness of Programs程序的多元视角正确性
deleteTHEORETICAL ASPECTS OF COMPUTING-ICTAC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKamburjan, Eduard; Gurov, Dilian
delete分享
delete收藏
Iteratively Synthesizing ε-Robust Barrier Certificates for Neural Network Controlled Systems迭代合成ε-鲁棒障碍凭证以用于神经网络控制系统
deleteTHEORETICAL ASPECTS OF COMPUTING-ICTAC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLuo, Yi; Chen, Xin; Dai, Jin; Tang, Enyi; Li, Xuandong
delete分享
delete收藏
Forward and Backward Simulations for Partially Observable Probability部分可观测概率的正向与逆向模拟
deleteTHEORETICAL ASPECTS OF COMPUTING-ICTAC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteChen, Chris; McIver, Annabelle; Morgan, Carroll
delete分享
delete收藏
Efficient AND Protocols Resistant to Maliciously Revealing a Single Card高效且能抵抗恶意泄露单张卡片的AND协议
deleteTHEORETICAL ASPECTS OF COMPUTING-ICTAC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKoizumi, Koichi; Abe, Minato; Chida, Eikoh; Mizuki, Takaaki
delete分享
delete收藏
PRoTECT: Parallelized ConstRuction of SafeTy BarriEr Certificates for Nonlinear Polynomial SysTemsPRoTECT：非线性多项式系统安全屏障证书的并行化构造
deleteTHEORETICAL ASPECTS OF COMPUTING-ICTAC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteWooding, Ben; Horbanov, Viacheslav; Lavaei, Abolfazl
delete分享
delete收藏
On Computational Aspects of Ordered Matching Problems有序匹配问题的计算方面
deleteTHEORETICAL ASPECTS OF COMPUTING-ICTAC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteCertik, Michal; Feldmann, Andreas Emil; Nesetril, Jaroslav; Rzazewski, Pawel
delete分享
delete收藏
Active Learning of Symbolic Mealy Automata符号米利自动机的主动学习
deleteTHEORETICAL ASPECTS OF COMPUTING-ICTAC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteIrie, Kengo; Waga, Masaki; Suenaga, Kohei
delete分享
delete收藏
Explicit Model Checking Engine for Reachability Analysis of Colored Petri Nets显式模型检测引擎用于有色Petri网的可达性分析
deleteTHEORETICAL ASPECTS OF COMPUTING-ICTAC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBrandt, Emil Normann; Hojriis, Jens Emil Fink; Pedersen, Kira Staehr; Srba, Jiri
delete分享
delete收藏
Fuzz Testing with Temporal Constraints带时序约束的模糊测试
deleteTHEORETICAL ASPECTS OF COMPUTING-ICTAC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHavelund, Klaus; Clark, Tracy; Reddy, Vivek
delete分享
delete收藏
The Spiral of Silence in Multi-agent Models for Opinion Formation沉默的螺旋在用于意见形成的多智能体模型中
deleteTHEORETICAL ASPECTS OF COMPUTING-ICTAC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteAranda, Jesus; Francisco Diaz, Juan; Gaona, David; Valencia, Frank
delete分享
delete收藏
Facing Uncertainty in AI: From Formal Verification To Synthesis面对人工智能中的不确定性：从形式验证到综合
deleteTHEORETICAL ASPECTS OF COMPUTING-ICTAC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKatoen, Joost-Pieter
delete分享
delete收藏
Weighted Automata for Exact Inference in Discrete Probabilistic Programs加权自动机在离散概率程序中的精确推理
deleteTHEORETICAL ASPECTS OF COMPUTING-ICTAC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteGeissler, Dominik; Winkler, Tobias
delete分享
delete收藏
Ulam's Metric in Higher DimensionsUlam度量的高维形式
deleteTHEORETICAL ASPECTS OF COMPUTING-ICTAC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBalaand, Sebastian; Kozik, Andrzej
delete分享
delete收藏
Efficient Interpolation Beyond Cut-Free Proofs: Admissible Cuts and Optimized Extraction超越无切割证明的高效插值：可允许切割与优化提取
deleteTHEORETICAL ASPECTS OF COMPUTING-ICTAC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteCorbard, Simon; Lolic, Anela
delete分享
delete收藏
Safe Multi-agent Reinforcement Learning Using Formal Runtime Enforcement: A Case Study基于形式运行时强制的安全多智能体强化学习：一个案例研究
deleteTHEORETICAL ASPECTS OF COMPUTING-ICTAC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteMohapatra, Vedanta; Anand, Ayush; Pinisetty, Srinivas
delete分享
delete收藏
Verification of the Release-Acquire Semantics释放-获取语义的验证
deleteTHEORETICAL ASPECTS OF COMPUTING-ICTAC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteAbdulla, Parosh Aziz; Anastasiadi, Elli; Atig, Mohamed Faouzi; Grahn, Samuel
delete分享
delete收藏