Electronic Proceedings in Theoretical Computer Science

OALib Journal期刊
ISSN: 2333-9721
费用：99美元

投递稿件

为什么选择我们？ >>

- 开源期刊

- 同行审议

- 快速出刊

- 终身存储

- 免费检索

- 免费推广

- 更多...

- 搜索引擎

Electronic Proceedings in Theoretical Computer Science

ISSN Print: 2075-2180

ISSN Online:

主页: http://eptcs.org/

On the Shuffle Automaton Size for Words

Franziska Biegler,Mark Daley,Ian McQuillan

Bigraphical models for protein and membrane interactions

Giorgio Bacci,Davide Grohmann,Marino Miculan

Security Theorems via Model Theory

Joshua Guttman

How Creative Should Creators Be To Optimize the Evolution of Ideas? A Computational Model

Stefan Leijnen,Liane Gabora

Multi-Head Finite Automata: Characterizations, Concepts and Open Problems

Markus Holzer,Martin Kutrib,Andreas Malcher

Descriptional Complexity of Three-Nonterminal Scattered Context Grammars: An Improvement

Tomá？ Masopust,Alexander Meduna

Complexity of Strong Implementability

Clemens Thielen,Sven O. Krumke

An Exponential Lower Bound on OBDD Refutations for Pigeonhole Formulas

Olga Tveretina,Carsten Sinz,Hans Zantema

On Measuring Non-Recursive Trade-Offs

Hermann Gruber,Markus Holzer,Martin Kutrib

On Improving Local Search for Unsatisfiability

David Pereira,Inês Lynce,Steven Prestwich

State Complexity Approximation

Yuan Gao,Sheng Yu

Regular Matroids with Graphic Cocircuits

Konstantinos Papalamprou,Leonidas Pitsoulis

Cartesian product of hypergraphs: properties and algorithms

Alain Bretto,Yannick Silvestre,Thierry Vallée

Towards a Unifying View of QoS-Enhanced Web Service Description and Discovery Approaches

Dessislava Petrova-Antonova,Sylvia Ilieva

On external presentations of infinite graphs

Christophe Morvan

A Divergence Formula for Randomness and Dimension (Short Version)

Jack H. Lutz

A Peer to Peer Protocol for Online Dispute Resolution over Storage Consumption

Ahmed Mihoob,Carlos Molina-Jimenez

DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking

Ji？í Barnat,Lubo？ Brim,Milan ？e？ka

Adaptive Scheduling of Data Paths using Uppaal Tiga

Israa AlAttili,Fred Houben,Georgeta Igna,Steffen Michels

BioDiVinE: A Framework for Parallel Analysis of Biological Models

Ji？í Barnat,Lubo？ Brim,Ivana ？erná,Sven Dra？an

An Efficient Explicit-time Description Method for Timed Model Checking

Hao Wang,Wendy MacCaull

A Type System for a Stochastic CLS

Mariangiola Dezani-Ciancaglini,Paola Giannini,Angelo Troina

New Solutions to the Firing Squad Synchronization Problems for Neural and Hyperdag P Systems

Michael J. Dinneen,Yun-Bum Kim,Radu Nicolescu

An Introduction to Simulation-Based Techniques for Automated Service Composition

Fabio Patrizi

Intrinsically Universal Cellular Automata

Nicolas Ollinger

Efficient Parallel Statistical Model Checking of Biochemical Networks

Paolo Ballarini,Michele Forlin,Tommaso Mazza,Davide Prandi

Modelling Cell Cycle using Different Levels of Representation

Thomas Anung Basuki,Antonio Cerone,Rafael V. Carvalho

Some Considerations on Universality

Manfred Kudlek

Sonet Network Design Problems

Marie Pelleau,Pascal Van Hentenryck,Charlotte Truchet

Self-Assembly of Infinite Structures

Matthew J. Patitz,Scott M. Summers

A Concrete View of Rule 110 Computation

Matthew Cook

Serializing the Parallelism in Parallel Communicating Pushdown Automata Systems

M. Sakthi Balan

Robustness of a bisimulation-type faster-than preorder

Katrin Iltgen,Walter Vogler

Studying Maximum Information Leakage Using Karush-Kuhn-Tucker Conditions

Han Chen,Pasquale Malacaria

Coordination via Interaction Constraints I: Local Logic

Dave Clarke,José Proen？a