Volume 154; Issue 1-4

Main
Fundamenta Informaticae
Volume 154; Issue 1-4

Fundamenta Informaticae

Volume 154; Issue 1-4

1

Incremental Process Discovery using Petri Net Synthesis

Badouel, Eric, Schlachter, Uli, Păun, Gheorghe, Rozenberg, Grzegorz, Salomaa, Arto

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 345 KB

english, 2017

2

A Foundational Framework for Step-by-step Model Construction

Barash, Mikhail, Petre, Ion, Păun, Gheorghe, Rozenberg, Grzegorz, Salomaa, Arto

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 204 KB

english, 2017

3

Synthesis of Transition Systems from Quantum Logics

Bernardinello, Luca, Ferigato, Carlo, Pomello, Lucia, Puerto Aubel, Adrián, Păun, Gheorghe, Rozenberg, Grzegorz, Salomaa, Arto

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 201 KB

english, 2017

4

It is Undecidable if Two Regular Tree Languages can be Separated by a Deterministic Tree-walking Automaton

Bojańczyk, Mikołaj, Păun, Gheorghe, Rozenberg, Grzegorz, Salomaa, Arto

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 224 KB

english, 2017

5

Species-Driven Persistent Phylogeny

Bonizzoni, Paola, Carrieri, Anna Paola, Della Vedova, Gianluca, Rizzi, Raffaella, Trucco, Gabriella, Păun, Gheorghe, Rozenberg, Grzegorz, Salomaa, Arto

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 167 KB

english, 2017

6

k-Abelian Equivalence and Rationality

Cassaigne, Julien, Karhumäki, Juhani, Puzynina, Svetlana, Whiteland, Markus A., Păun, Gheorghe, Rozenberg, Grzegorz, Salomaa, Arto

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 5.57 MB

english, 2017

7

Interactive Logical Structures

Dutta, Soma, Jankowski, Andrzej, Skowron, Andrzej, Păun, Gheorghe, Rozenberg, Grzegorz, Salomaa, Arto

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 640 KB

english, 2017

8

The Weighted Matching Approach to Maximum Cardinality Matching

Gabow, Harold N., Păun, Gheorghe, Rozenberg, Grzegorz, Salomaa, Arto

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 317 KB

english, 2017

9

Enforcing Regular Languages

Genova, Daniela, Hoogeboom, Hendrik Jan, Păun, Gheorghe, Rozenberg, Grzegorz, Salomaa, Arto

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 224 KB

english, 2017

10

CCS(25,12) is Turing-complete

Gorrieri, Roberto, Păun, Gheorghe, Rozenberg, Grzegorz, Salomaa, Arto

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 215 KB

english, 2017

11

A New Proof for Undecidability of the Bi-Infinite Post Correspondence Problem

Halava, Vesa, Harju, Tero, Sahla, Esa, Păun, Gheorghe, Rozenberg, Grzegorz, Salomaa, Arto

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 207 KB

english, 2017

12

Small Semi-Thue System Universal with Respect to the Termination Problem

Halava, Vesa, Matiyasevich, Yuri, Niskanen, Reino, Păun, Gheorghe, Rozenberg, Grzegorz, Salomaa, Arto

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 197 KB

english, 2017

13

State Complexity of k-Parallel Tree Concatenation

Han, Yo-Sub, Ko, Sang-Ki, Salomaa, Kai, Păun, Gheorghe, Rozenberg, Grzegorz, Salomaa, Arto

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 284 KB

english, 2017

14

D0L Sequences and their Equality Sets

Honkala, Juha, Păun, Gheorghe, Rozenberg, Grzegorz, Salomaa, Arto

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 190 KB

english, 2017

15

Alphabets of Acyclic Invariant Structures

Janicki, Ryszard, Kleijn, Jetty, Koutny, Maciej, Mikulski, Łukasz, Păun, Gheorghe, Rozenberg, Grzegorz, Salomaa, Arto

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 374 KB

english, 2017

16

Smart Tile Self-Assembly and Replication

Kari, Lila, Simjour, Amirhossein, Păun, Gheorghe, Rozenberg, Grzegorz, Salomaa, Arto

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 1.08 MB

english, 2017

17

Tissue P Systems with Small Cell Volume

Leporati, Alberto, Manzoni, Luca, Mauri, Giancarlo, Porreca, Antonio E., Zandron, Claudio, Păun, Gheorghe, Rozenberg, Grzegorz, Salomaa, Arto

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 287 KB

english, 2017

18

On Fixed Points of the Burrows-Wheeler Transform

Mantaci, Sabrina, Restivo, Antonio, Rosone, Giovanna, Russo, Floriana, Sciortino, Marinella, Păun, Gheorghe, Rozenberg, Grzegorz, Salomaa, Arto

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 213 KB

english, 2017

19

Verification of Linear-Time Temporal Properties for Reaction Systems with Discrete Concentrations

Męski, Artur, Koutny, Maciej, Penczek, Wojciech, Păun, Gheorghe, Rozenberg, Grzegorz, Salomaa, Arto

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 423 KB

english, 2017

20

Efficient Simulation of Reaction Systems on Graphics Processing Units

Nobile, Marco S., Porreca, Antonio E., Spolaor, Simone, Manzoni, Luca, Cazzaniga, Paolo, Mauri, Giancarlo, Besozzi, Daniela, Păun, Gheorghe, Rozenberg, Grzegorz, Salomaa, Arto

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 541 KB

english, 2017

21

Morphic Characterizations of Language Families Based on Local and Star Languages

Okubo, Fumiya, Yokomori, Takashi, Păun, Gheorghe, Rozenberg, Grzegorz, Salomaa, Arto

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 502 KB

english, 2017

22

From Leśniewski, Łukasiewicz, Tarski to Pawlak: Enriching Rough Set Based Data Analysis. A Retrospective Survey

Polkowski, Lech T., Păun, Gheorghe, Rozenberg, Grzegorz, Salomaa, Arto

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 240 KB

english, 2017

23

Oritatami System; a Survey and the Impossibility of Simple Simulation at Small Delays

Rogers, Trent A., Seki, Shinnosuke, Păun, Gheorghe, Rozenberg, Grzegorz, Salomaa, Arto

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 657 KB

english, 2017

24

Cooperation in Transport of Chemical Substances: A Complexity Approach within Membrane Computing

Valencia-Cabrera, Luis, Orellana-Martín, David, Martínez-del-Amor, Miguel A., Riscos-Núñez, Agustín, Pérez-Jiménez, Mario J., Păun, Gheorghe, Rozenberg, Grzegorz, Salomaa, Arto

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 245 KB

english, 2017

25

Patterns and Distances in Words Related to DNA Rearrangement

Jonoska, Nataša, Nabergall, Lukas, Saito, Masahico, Păun, Gheorghe, Rozenberg, Grzegorz, Salomaa, Arto

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 662 KB

english, 2017

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Tor version

Z-Library

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски