Journal: Fundamenta Informaticae

Volume 131, Issue 3-4

0 -- 0Cristian S. Calude, Marian Gheorghe. Preface
279 -- 298Andrei Alexandru, Gabriel Ciobanu. Nominal Groups and Their Homomorphism Theorems
299 -- 312Sepinoud Azimi, Bogdan Iancu, Ion Petre. Reaction System Models for the Heat Shock Response
313 -- 336Iulia Teodora Banu-Demergian, Gheorghe Stefanescu. Towards a Formal Representation of Interactive Systems
337 -- 349Paolo Bottoni, Anna Labella, Victor Mitrana. Accepting Networks of Evolutionary Picture Processors
351 -- 371Luca Cardelli, Radu Mardare. The Measurable Space of Stochastic Processes
373 -- 388Gabriel Ciobanu, Eneia Nicolae Todoran. Continuation Semantics for Asynchronous Concurrency
389 -- 407Catalin Dima. A Nonarchimedian Discretization for Timed Languages
409 -- 424Liviu P. Dinu, Radu Gramatovici, Florin Manea. Syllabic Languages and Go-through Automata
425 -- 440Nicolae Duta. Natural Language Understanding and Prediction: from Formal Grammars to Large Scale Machine Learning
441 -- 450Cristian Grozea, Marius Popescu. Can Machine Learning Learn a Decision Oracle for NP Problems? A Test on SAT
451 -- 464Kamala Krithivasan, Gheorghe Paun, Ajeesh Ramanujan. On Controlled P Systems
465 -- 483Radu Nicolescu, Georgy L. Gimel'farb, John Morris, Patrice Delmas, Rui Gong. Regularising Ill-posed Discrete Optimisation: Quests with P Systems
485 -- 497Marius Zimand. Counting Dependent and Independent Strings

Volume 131, Issue 2

167 -- 186Chin-Chen Chang, Ting-Fang Cheng. A Reliable Real-time Multicast Authentication Protocol with Provable Accuracy
187 -- 203Lavinia Egidi, Giovanni Manzini. Spaced Seed Design Using Perfect Rulers
205 -- 215Jouni Järvinen, Sándor Radeleczki. Monteiro Spaces and Rough Sets Determined by Quasiorder Relations: Models for Nelson algebras
217 -- 240Jerzy Marcinkowski, Jakub Michaliszyn. The Undecidability of the Logic of Subintervals
241 -- 251Lukasz Przytula. NAO Soccer Robots Path Planning Based on Rough Mereology
253 -- 278Artur Rataj. Evolvability by Mimicking Common Properties of a Nervous System and Computer Software

Volume 131, Issue 1

0 -- 0Serge Haddad, Jetty Kleijn, Lucia Pomello. Preface
1 -- 25Antti Valmari, Henri Hansen. Old and New Algorithms for Minimal Coverability Sets
27 -- 53Sami Evangelista, Lars Michael Kristensen. A Sweep-Line Method for Büchi Automata-based Model Checking
55 -- 80María Martos-Salgado, Fernando Rosa Velardo. Safety and Soundness for Priced Resource-Constrained Workflow Nets
81 -- 101Guan-Jun Liu, Jun Sun 0001, Yang Liu, Jin Song Dong. Complexity of the Soundness Problem of Workflow Nets
103 -- 138Wil M. P. van der Aalst, H. M. W. Verbeek. Process Discovery and Conformance Checking Using Passages
139 -- 166Veronica Gil Costa, Mauricio Marín, Alonso Inostrosa-Psijas, Jair Lobos, Carolina Bonacic. Modelling Search Engines Performance Using Coloured Petri Nets