logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
T

THEORETICAL ASPECTS OF COMPUTING-ICTAC 2025

IF
Papers28
Citations
Journal Papers 28
Publication Date
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
deleteShare
deleteSave
AP-Observation Automata for Abstraction-Based Verification of Continuous-Time Systems
deleteTHEORETICAL ASPECTS OF COMPUTING-ICTAC 2025
IF0
delete2026-01-01
delete0
PREAI
deletePruekprasert, Sasinee; Eberhart, Clovis
deleteShare
deleteSave
Timed Monitoring and Timed Monitorability
deleteTHEORETICAL ASPECTS OF COMPUTING-ICTAC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLarsen, Kim Guldstrand
deleteShare
deleteSave
Graphical Quadratic Algebra
deleteTHEORETICAL ASPECTS OF COMPUTING-ICTAC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteStein, Dario; Zanasi, Fabio; Piedeleu, Robin; Samuelson, Richard
deleteShare
deleteSave
Multi-perspective Correctness of Programs
deleteTHEORETICAL ASPECTS OF COMPUTING-ICTAC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKamburjan, Eduard; Gurov, Dilian
deleteShare
deleteSave
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
deleteShare
deleteSave
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
deleteShare
deleteSave
Efficient AND Protocols Resistant to Maliciously Revealing a Single Card
deleteTHEORETICAL ASPECTS OF COMPUTING-ICTAC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKoizumi, Koichi; Abe, Minato; Chida, Eikoh; Mizuki, Takaaki
deleteShare
deleteSave
PRoTECT: Parallelized ConstRuction of SafeTy BarriEr Certificates for Nonlinear Polynomial SysTems
deleteTHEORETICAL ASPECTS OF COMPUTING-ICTAC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteWooding, Ben; Horbanov, Viacheslav; Lavaei, Abolfazl
deleteShare
deleteSave
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
deleteShare
deleteSave
Active Learning of Symbolic Mealy Automata
deleteTHEORETICAL ASPECTS OF COMPUTING-ICTAC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteIrie, Kengo; Waga, Masaki; Suenaga, Kohei
deleteShare
deleteSave
Explicit Model Checking Engine for Reachability Analysis of Colored Petri Nets
deleteTHEORETICAL ASPECTS OF COMPUTING-ICTAC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBrandt, Emil Normann; Hojriis, Jens Emil Fink; Pedersen, Kira Staehr; Srba, Jiri
deleteShare
deleteSave
Fuzz Testing with Temporal Constraints
deleteTHEORETICAL ASPECTS OF COMPUTING-ICTAC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHavelund, Klaus; Clark, Tracy; Reddy, Vivek
deleteShare
deleteSave
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
deleteShare
deleteSave
Facing Uncertainty in AI: From Formal Verification To Synthesis
deleteTHEORETICAL ASPECTS OF COMPUTING-ICTAC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKatoen, Joost-Pieter
deleteShare
deleteSave
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
deleteShare
deleteSave
Ulam's Metric in Higher Dimensions
deleteTHEORETICAL ASPECTS OF COMPUTING-ICTAC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBalaand, Sebastian; Kozik, Andrzej
deleteShare
deleteSave
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
deleteShare
deleteSave
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
deleteShare
deleteSave
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
deleteShare
deleteSave