Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDActa Informatica, Volume 53
Volume 53, Number 1, February 2016
- Suoping Li
, Yongqiang Zhou, Duo Peng, Zufang Dou, Yong Zhou:
Analysis of dual-hop and multiple relays cooperative truncated ARQ with relay selection in WSNs. 1-22 - Chunhua Cao, Haiyan Liu, Di Yang:
Characterizations of k-comma codes and k-comma intercodes. 23-33 - Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski:
Step traces. 35-65 - Yo-Sub Han, Sang-Ki Ko, Kai Salomaa:
State complexity of deletion and bipolar deletion. 67-85
Volume 53, Number 2, March 2016
- César Sánchez, Kristen Brent Venable, Esteban Zimányi:
Special issue on temporal representation and reasoning (TIME'13). 87-88 - Luke Hunsberger:
Efficient execution of dynamically controllable simple temporal networks with uncertainty. 89-147 - Jean-François Condotta, Souhila Kaci, Yakoub Salhi:
Optimization in temporal qualitative constraint networks. 149-170 - Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro:
A tool for deciding the satisfiability of continuous-time metric temporal logic. 171-206
Volume 53, Number 3, April 2016
- Luca Aceto, Dario Della Monica, Valentin Goranko, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco:
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases. 207-246 - Viktor Schuppan:
Extracting unsatisfiable cores for LTL via temporal resolution. 247-299 - Mark Reynolds:
Metric temporal logic revisited. 301-324
Volume 53, Number 4, June 2016
- Bernd Finkbeiner, César Sánchez:
Special issue on Rich Models, EU-COST Action IC0901 Rich-Model Toolkit. 325-326 - Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang:
Symbolic automata for representing big code. 327-356 - Parosh Aziz Abdulla, Lukás Holík, Bengt Jonsson, Ondrej Lengál, Cong Quy Trinh, Tomás Vojnar:
Verification of heap manipulating programs with ordered data by extended forest automata. 357-385 - Jérôme Leroux, Philipp Rümmer, Pavle Subotic:
Guiding Craig interpolation with domain-specific abstractions. 387-424 - Christian von Essen, Barbara Jobstmann, David Parker, Rahul Varshneya:
Synthesizing efficient systems in probabilistic environments. 425-457
Volume 53, Number 5, August 2016
- Xiaoning Peng, Zhijun Xiao:
Optimal covers in the relational database model. 459-468 - Egon Börger, Klaus-Dieter Schewe:
Concurrent abstract state machines. 469-492 - Anthony W. Lin, Sanming Zhou:
A linear-time algorithm for the orbit problem over cyclic groups. 493-508 - Holger Bock Axelsen, Robert Glück:
On reversible Turing machines and their function universality. 509-543
Volume 53, Numbers 6-8, October 2016
- Davide Bresolin, Guido Sciavicco:
Special issue: selected papers from the 21st international symposium on temporal representations and reasoning (TIME-2014). 545-546 - Carlo Combi, Pietro Sala:
Mining approximate interval-based temporal dependencies. 547-585 - Alberto Molinari, Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron:
Checking interval properties of computations. 587-619 - Angelo Montanari, Marco Pazzaglia, Pietro Sala:
Metric propositional neighborhood logic with an equivalence relation. 621-648 - Marta Cialdea Mayer, Andrea Orlandini, Alessandro Umbrico:
Planning and execution with flexible timelines: a formal account. 649-680 - Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Roberto Posenato, Marco Roveri:
Dynamic controllability via Timed Game Automata. 681-722 - Mikael Nilsson, Jonas Kvarnström, Patrick Doherty:
Efficient processing of simple temporal networks with uncertainty: algorithms for dynamic controllability verification. 723-752
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-06-18 21:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
