Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 153
Volume 153, Numbers 1-2, 2017
- Bogdan Aman
, Jetty Kleijn, Maciej Koutny, Dorel Lucanu:
Methods for Distributed and Concurrent Systems: Special Issue on the occasion of the 60th Birthday of Professor Gabriel Ciobanu. v-vi
- Abdullah Alhumaidan, Jason Steggles:
Modelling and Analysing Qualitative Biological Models using Rewriting Logic. 1-28 - Jan A. Bergstra, Cornelis A. Middelburg:
Contradiction-Tolerant Process Algebra with Propositional Signals. 29-55 - Ross Horne, Sjouke Mauw, Alwen Tiu:
Semantics for Specialising Attack Trees based on Linear Logic. 57-86 - Andrei Paun, Alfonso Rodríguez-Patón:
P Systems Simulating Bacterial Conjugation: Universality and Properties. 87-103 - Teodor Stoenescu, Alin Stefanescu, Sorina Predut, Florentin Ipate:
Binary Analysis based on Symbolic Execution and Reversible x86 Instructions. 105-124 - Eneia Nicolae Todoran, Nikolaos Papaspyrou:
Concurrency Semantics in Continuation-Passing Style. 125-146 - Luis Valencia-Cabrera, David Orellana-Martín, Miguel A. Martínez-del-Amor, Agustin Riscos-Núñez, Mario J. Pérez-Jiménez:
Computational Efficiency of Minimal Cooperation and Distribution in Polarizationless P Systems with Active Membranes. 147-172
Volume 153, Number 3, 2017
- Ming Chai, Bernd-Holger Schlingloff:
Monitoring with Parametrized Extended Life Sequence Charts. 173-198 - Bogdan S. Chlebus, Gianluca De Marco, Muhammed Talo:
Naming a Channel with Beeps. 199-219 - Aleksander Denisiuk, Michal Grabowski:
Low Distortion Embedding of the Hamming Space into a Sphere with Quadrance Metric and k-means Clustering of Nominal-continuous Data. 221-233 - Himani Joshi, Sankalap Arora:
Enhanced Grey Wolf Optimization Algorithm for Global Optimization. 235-264 - Przemyslaw Koprowski:
Roots Multiplicity without Companion Matrices. 265-270 - Yu-Ru Syau, En-Bing Lin, Churn-Jung Liau:
Neighborhood Systems and Variable Precision Generalized Rough Sets. 271-290
Volume 153, Number 4, 2017
- Giampiero Chiaselotti, Davide Ciucci, Tommaso Gentile, Federico Infusino:
Rough Set Theory and Digraphs. 291-325 - Behrouz Kheirfam, Mohaddeseh Mohamadi-Sangachin:
A Wide Neighborhood Second-order Predictor-corrector Interior-point Algorithm for Semidefinite Optimization with Modified Corrector Directions. 327-346 - Jan van Leeuwen, Jirí Wiedermann:
Turing Machines with One-sided Advice and Acceptance of the co-RE Languages. 347-366 - Bartosz Makuracki, Daniel Simson, Blazej Zyglarski:
Inflation Agorithm for Cox-regular Postive Edge-bipartite Graphs with Loops. 367-398 - Michal Wronski, Robert Drylo, Tomasz Kijko, Piotr Bora:
Constructing Elliptic Curves for the GLV Method with Low-cost Decomposition. 399-413
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-04-22 20:02 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:
