![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Information and Computation, Volume 257
Volume 257, December 2017
- Brijesh Dongol
, Robert M. Hierons
:
Decidability and complexity for quiescent consistency and its variations. 1-21 - Susanne Albers, Evripidis Bampis
, Dimitrios Letsios
, Giorgio Lucarelli
, Richard Stotz:
Scheduling on power-heterogeneous processors. 22-33 - Olivier Bournez
, Daniel Silva Graça
, Amaury Pouly:
On the functions generated by the general purpose analog computer. 34-57 - Yuxin Deng
, Yuan Feng
:
Probabilistic bisimilarity as testing equivalence. 58-64 - Piotr Skowron
:
FPT approximation schemes for maximizing submodular functions. 65-78 - Wan J. Fokkink
, Rob J. van Glabbeek:
Divide and congruence II: From decomposition of modal formulas to preservation of delay and weak bisimilarity. 79-113 - Massimo Benerecetti, Marco Faella:
Tracking smooth trajectories in linear hybrid systems. 114-138 - Iyad A. Kanj, Dimitrios M. Thilikos, Ge Xia:
On the parameterized complexity of monotone and antimonotone weighted circuit satisfiability. 139-156
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.