CK828
发表于 2025-3-21 19:33:25
书目名称Automata, Languages and Programming影响因子(影响力)<br> http://figure.impactfactor.cn/if/?ISSN=BK0166202<br><br> <br><br>书目名称Automata, Languages and Programming影响因子(影响力)学科排名<br> http://figure.impactfactor.cn/ifr/?ISSN=BK0166202<br><br> <br><br>书目名称Automata, Languages and Programming网络公开度<br> http://figure.impactfactor.cn/at/?ISSN=BK0166202<br><br> <br><br>书目名称Automata, Languages and Programming网络公开度学科排名<br> http://figure.impactfactor.cn/atr/?ISSN=BK0166202<br><br> <br><br>书目名称Automata, Languages and Programming被引频次<br> http://figure.impactfactor.cn/tc/?ISSN=BK0166202<br><br> <br><br>书目名称Automata, Languages and Programming被引频次学科排名<br> http://figure.impactfactor.cn/tcr/?ISSN=BK0166202<br><br> <br><br>书目名称Automata, Languages and Programming年度引用<br> http://figure.impactfactor.cn/ii/?ISSN=BK0166202<br><br> <br><br>书目名称Automata, Languages and Programming年度引用学科排名<br> http://figure.impactfactor.cn/iir/?ISSN=BK0166202<br><br> <br><br>书目名称Automata, Languages and Programming读者反馈<br> http://figure.impactfactor.cn/5y/?ISSN=BK0166202<br><br> <br><br>书目名称Automata, Languages and Programming读者反馈学科排名<br> http://figure.impactfactor.cn/5yr/?ISSN=BK0166202<br><br> <br><br>
高尔夫
发表于 2025-3-21 21:39:40
http://reply.papertrans.cn/17/1663/166202/166202_2.png
patriarch
发表于 2025-3-22 01:06:49
Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Typesystem that, given a process ., tries to extract a spatial-behavioural type ., in the form of a . term that is logically equivalent to the given process. Using techniques based on well-structured transition systems, we then prove that, for an interesting fragment of the considered logic, satisfiabili
Daily-Value
发表于 2025-3-22 08:24:00
When Are Timed Automata Determinizable?rove that under a certain boundedness condition, the infinite timed tree can be reduced into a classical . timed automaton. The boundedness condition is satisfied by several subclasses of timed automata, some of them were known to be determinizable (event-clock timed automata, automata with integer
overbearing
发表于 2025-3-22 11:34:45
Faithful Loops for Aperiodic E-Ordered Monoidstheorem . This theorem states that there exists a bijection between varieties of regular languages and varieties of finite monoids. For example, the variety of star-free regular languages (the closure of finite languages under Boolean operations and concatenation) is related to the monoid variet
ureter
发表于 2025-3-22 12:52:17
Semilinear Program Feasibilityalgebraic structure . where . are the real numbers and ..,..,... is an enumeration of all linear relations with rational coefficients, we prove that a semilinear relation . (i.e., a relation that is first-order definable with linear inequalities) either has a quantifier-free Horn definition in . or
POWER
发表于 2025-3-22 18:26:43
Floats and Ropes: A Case Study for Formal Numerical Program Verificationunding the rounding error was tricky as the usual idea, that is to bound the absolute value of the error at each step, fails. Our idea is to find out a precise analytical expression that cancels with itself at the next step, and to formally prove the correctness of this approach.
Robust
发表于 2025-3-23 01:09:55
Reachability in Stochastic Timed Games a natural way continuous-time Markov decision processes. We focus on the reachability problem for these games, and ask whether one of the players has a strategy to ensure that the probability of reaching a fixed set of states is equal to (or below, resp. above) a certain number ., whatever the seco
滔滔不绝地讲
发表于 2025-3-23 01:37:35
http://reply.papertrans.cn/17/1663/166202/166202_9.png
作呕
发表于 2025-3-23 09:01:16
http://reply.papertrans.cn/17/1663/166202/166202_10.png