Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDActa Cybernetica, Volume 23
Volume 23, Number 1, 2017
- Zoltán Fülöp:
Preface. 1 - Zoltán Fülöp:
In Memoriam Zoltán Ésik. 3-7 - Janusz A. Brzozowski, Corwin Sinnamon:
Complexity of Right-Ideal, Prefix-Closed, and Prefix-Free Regular Languages. 9-41 - Manfred Droste, Werner Kuich:
A Kleene Theorem for Weighted ω-Pushdown Automata. 43-59 - Zoltán Ésik, Werner Kuich:
Continuous Semiring-Semimodule Pairs and Mixed Algebraic Systems. 61-79 - Luca Aceto, David de Frutos-Escrig
, Anna Ingólfsdóttir:
Trace Simulation Semantics is not Finitely Based over BCCSP. 81-90 - Jorge Almeida, Zoltán Ésik, Jean-Éric Pin:
Commutative Positive Varieties of Languages. 91-111 - Symeon Bozapalidis, Antonios Kalampakas:
Varieties of Graphoids and Birkoff's Theorem for Graphs. 113-139 - Yo-Sub Han, Arto Salomaa, Kai Salomaa:
Ambiguity, Nondeterminism and State Complexity of Finite Automata. 141-157 - Magnus Steinby:
On DR Tree Automata, Unary Algebras and Syntactic Path Monoids. 159-174 - Juhani Karhumäki, Aleksi Saarela, Luca Q. Zamboni:
Variations of the Morse-Hedlund Theorem for k-Abelian Equivalence. 175-189 - Anna Labella, Rocco De Nicola:
Initial Algebra for a System of Right-Linear Functors. 191-201 - Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas:
An Algebraic Approach to Energy Problems I - *-Continuous Kleene ω-Algebras. 203-228 - Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas:
An Algebraic Approach to Energy Problems II - The Algebra of Energy Functions. 229-268 - Andreas Maletti:
Synchronous Forest Substitution Grammars. 269-281 - Maria Pittou, George Rahonis:
Weighted Recognizability over Infinite Alphabets. 283-317 - Angelos Charalambidis, Panos Rondogiannis:
Overview of an Abstract Fixed Point Theory for Non-Monotonic Functions and its Applications to Logic Programming. 319-326 - Miklós Bartha:
On the Completeness of the Traced Monoidal Category Axioms in (Rel, +). 327-347 - Kitti Gelle, Szabolcs Iván:
Regular Expressions for Muller Context-Free Languages. 349-369 - Pál Dömösi, József Gáll, Géza Horváth, Norbert Tihanyi:
Statistical Analysis of DH1 Cryptosystem. 371-378 - Zoltán Fülöp, Sándor Vágvölgyi:
Minimization of Deterministic Top-down Tree Automata. 379-401 - Curriculum Vitae of Zoltán Ésik. 403-410
- Publication List of Zoltán Ésik. 411-435
Volume 23, Number 2, 2017
- Rudolf Ferenc:
Preface. 439 - Cristian-Nicolae Babau, Marius Marcu, Mircea-Gabriel Tihu, Daniel-George Telbis, Vladimir Cretu:
A Personalized Multi-Path and Multi-User Traffic Analysis and Visualization Tool. 441-470 - Dénes Bán:
The Connection between Antipatterns and Maintainability in Firefox. 471-490 - Zsolt Bagóczki, Balázs Bánhelyi:
A Parallel Interval Arithmetic-based Reliable Computing Method on a GPU. 491-501 - Katalin Friedl, László Kabódi:
Storing the Quantum Fourier Operator in the QuIDD Data Structure. 503-512 - Ábel Garai, István Péntek, Attila Adamkó, Agnes Nemeth:
A Clinical System Integration Methodology for Bio-Sensory Technology with Cloud Architecture. 513-536 - Péter Gyimesi:
Automatic Calculation of Process Metrics and their Bug Prediction Capabilities. 537-559 - Lajos Gyõrffy, András London, Géza Makay:
The Structure of Pairing Strategies for k-in-a-row Type Games. 561-572 - István Kádár:
The Optimization of a Symbolic Execution Engine for Detecting Runtime Errors. 573-597 - György Kalmár, Alexandra Büki, Gabriella Kékesi, Gyöngyi Horváth, László G. Nyúl:
Image Processing-based Automatic Pupillometry on Infrared Videos. 599-613 - Melinda Katona, László G. Nyúl:
An Approach to the Quantitative Assessment of Retinal Layer Distortions and Subretinal Fluid in SD-OCT Images. 615-628 - Krisztian Koos, Begüm Peksel, Lóránd Kelemen:
Phase Measurement Using DIC Microscopy. 629-643 - Dávid Papp, Gábor Szücs:
Balanced Active Learning Method for Image Classification. 645-658 - Gábor Márton, Zoltán Porkoláb:
Unit Testing in C++ with Compiler Instrumentation and Friends. 659-686 - Oszkár Semeráth, Dániel Varró:
Evaluating Well-Formedness Constraints on Incomplete Models. 687-713 - Gábor Szoke:
Automating the Refactoring Process. 715-735 - Mate Tomoskozi, Patrick Seeling, Péter Ekler, Frank H. P. Fitzek:
Prediction of RoHCv1 and RoHCv2 Compressor Utilities for VoIP. 737-756
Volume 23, Number 3, 2018
- János Csirik:
In Memoriam Csanád Imreh. 757-760 - Ron Adar, Leah Epstein:
The Metric Dimension of Two-Dimensional Extended Meshes. 761-772 - József Békési:
Regional Multicriteria and Multimodal Route Planning System for Public Transportation: A Case Study. 773-782 - József Békési, Balázs Dávid, Miklós Krész:
Integrated Vehicle Scheduling and Vehicle Assignment. 783-800 - Gábor Berend:
ℓ1 Regularization of Word Embeddings for Multi-Word Expression Identification. 801-813 - Csilla Bujtás, Zsolt Tuza:
Partition-Crossing Hypergraphs. 815-828 - József Dombi, Tamás Jónás:
Approximations to the Normal Probability Distribution Function using Operators of Continuous-valued Logic. 829-852 - György Dósa, Leah Epstein:
The Convergence Time for Selfish Bin Packing. 853-865 - Zoltán Fülöp, Zsolt Gazdag:
Weighted Languages Recognizable by Weighted Tree Automata. 867-886 - Kitti Gelle, Szabolcs Iván:
DFS is Unsparsable and Lookahead Can Help in Maximal Matching. 887-902 - Tamás Gergely, Gergö Balogh, Ferenc Horváth, Béla Vancsics, Árpád Beszédes, Tibor Gyimóthy:
Analysis of Static and Dynamic Test-to-code Traceability Information. 903-919 - András London, András Pluhár:
Spanning Tree Game as Prim Would Have Played. 921-927 - Judit Nagy-György:
On the Advice Complexity of Coloring Bipartite Graphs and Two-Colorable Hypergraphs. 929-938 - Kálmán Palágyi:
How Sufficient Conditions are Related for Topology-Preserving Reductions. 939-958 - Tamás Waldhauser:
On Eigenvectors of the Pascal and Reed-Muller-Fourier Transforms. 959-979
Volume 23, Number 4, 2018
- Kalpana Mahalingam, Prithwineel Paul, Erkki Mäkinen:
On Derivation Languages of a Class of Splicing Systems. 981-993 - Viktor Shynkarenko, Olena Kuropiatnyk:
Constructive Model of the Natural Language. 995-1015 - Gábor Nagy:
Sector Based Linear Regression, a New Robust Method for the Multiple Linear Regression. 1017-1038 - János Demetrovics, Hoang Minh Quang, Vu Duc Thi, Viet Anh Nguyen:
An Efficient Method to Reduce the Size of Consistent Decision Tables. 1039-1054 - Ákos Tóth, Roland Kunkli:
An Approximative and Semi-automated Method to Create MPEG-4 Compliant Human Face Models. 1055-1069 - Róbert Adrian Rill, Kinga Bettina Faragó:
Gaze-based Cursor Control Impairs Performance in Divided Attention. 1071-1087
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-05-13 21:09 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:
