Volume 15,
Number 1,
2001
- András Ádám:
On some algebraic properties of automata.
1-8
Electronic Edition (link) BibTeX
- Jürgen Dassow, Gheorghe Paun:
P Systems with Communication Based on Concentration.
9-24
Electronic Edition (link) BibTeX
- Pál Dömösi, Satoshi Okawa:
A Chomsky-Schützenberger-Stanley Type Characterization of the Class of Slender Context-Free Languages.
25-32
Electronic Edition (link) BibTeX
- Ferenc Gécseg, Balázs Imreh:
On isomorphic representations of generalized definite automata.
33-44
Electronic Edition (link) BibTeX
- Andrei Kelarev, Olga Sokratova:
Languages Recognized by a Class of Finite Automata.
45-52
Electronic Edition (link) BibTeX
- Shankara Narayanan Krishna, Raghavan Rama, Kamala Krithivasan:
P Systems with Picture Objects.
53-74
Electronic Edition (link) BibTeX
- Angelo Monti, Adriano Peron:
Logical definability of Y-tree and trellis systolic omega-languages.
75-100
Electronic Edition (link) BibTeX
- Attila Tanács, Gábor Czédli, Kálmán Palágyi, Attila Kuba:
Affine matching of two sets of points in arbitrary dimensions.
101-106
Electronic Edition (link) BibTeX
- Gerhard J. Woeginger, Jiri Sgall:
The complexity of coloring graphs without long induced paths.
107-
Electronic Edition (link) BibTeX
Volume 15,
Number 2,
2001
Selected papers from CSCS 2000
- István Katsányi:
Sets of integers in different number systems and the Chomsky hierarchy.
Electronic Edition (link) BibTeX
- Ester M. Garzón, Inmaculada García:
Parallel implementation for large and sparse eigenproblems.
Electronic Edition (link) BibTeX
- J. M. González-Linares, Nicolás Guil Mata, Emilio L. Zapata, Pilar Martínez Ortigosa, Inmaculada García:
Parallelization of an algorithm for the automatic detection of deformable objects.
Electronic Edition (link) BibTeX
- Csanád Imreh:
An online scheduling algorithm for a two-layer multiprocessor architecture.
Electronic Edition (link) BibTeX
- Eva M. Ortigosa, Luis F. Romero, J. I. Ramos:
Parallel Simulation of Spiral Waves in Reacting and Diffusing Media.
Electronic Edition (link) BibTeX
- Emese Balogh:
Generation and Reconstruction of hv-convex 8-connected Discrete Sets.
Electronic Edition (link) BibTeX
- Kálmán Palágyi:
A 3D Parallel Shrinking Algorithm.
Electronic Edition (link) BibTeX
- József Dombi, Ákos Zsiros:
Learning Decision Trees in Continuous Space.
Electronic Edition (link) BibTeX
- István Harmati, Bálint Kiss:
Motion Planning Algorithms for Stratified Kinematic Systems with Application to the Hexapod Robot.
Electronic Edition (link) BibTeX
- Gy. Koch, József Dombi:
SmallSteps: An Adaptive Distance-based Clustering Algorithm.
Electronic Edition (link) BibTeX
- Gyöngyi Szilágyi, László Harmath, Tibor Gyimóthy:
The Debug Slicing of Logic Programs.
Electronic Edition (link) BibTeX
- Szilvia Zvada, Tibor Gyimóthy:
Using Decision Trees to Infer Semantic Functions of Attribute Grammars.
Electronic Edition (link) BibTeX
- Attila Gyenesei:
A Fuzzy Approach for Mining Quantitative Association Rules.
Electronic Edition (link) BibTeX
Volume 15,
Number 3,
2002
- B. Csákány:
A form of the Zermelo-von Neumann theorem under minimal assumptions.
321-325
Electronic Edition (link) BibTeX
- Balázs Imreh:
Automaton Theory Approach for Solving Modified PNS Problems.
327-338
Electronic Edition (link) BibTeX
- Alexandru Mateescu, Arto Salomaa, Sheng Yu:
Factorizations of Languages and Commutativity Conditions.
339-351
Electronic Edition (link) BibTeX
- Alexander Meduna, Martin Svec:
Reduction of Simple Semi-Conditional Grammars with Respect to the Number of Conditional Productions.
353-360
Electronic Edition (link) BibTeX
- E. Asgeirsson, Urtzi Ayesta, Edward G. Coffman Jr., J. Etra, Petar Momcilovic, D. Phillips, V. Vokhshoori, Z. Wang, J. Wolfe:
Closed On-Line Bin Packing.
361-367
Electronic Edition (link) BibTeX
- Petra Schuurman, Gerhard J. Woeginger:
A PTAS for single machine scheduling with controllable processing times.
369-378
Electronic Edition (link) BibTeX
- Sebastian Link, Klaus-Dieter Schewe:
An Arithmetic Theory of Consistency Enforcement.
379-416
Electronic Edition (link) BibTeX
- Zsolt Németh:
Definition of a Parallel Execution Model with Abstract State Machines.
417-455
Electronic Edition (link) BibTeX
- Nghia D. Vu, Bina Ramamurthy:
Properties of Composite of Closure Operations and Choice Functions.
457-465
Electronic Edition (link) BibTeX
- Roxana Melinte, Olivia Oanea, Ioana Olga, Ferucio Laurentiu Tiplea:
The Home Marking Problem and Some Related Concepts.
467-478
Electronic Edition (link) BibTeX
Volume 15,
Number 4,
2002
Selected papers from SPLST 2001
- Harry M. Sneed:
Human Cognition of Complex Thought Patterns.
481-487
Electronic Edition (link) BibTeX
- Csaba Faragó, Tamás Gergely:
Handling Pointers and Unstructured Statements in the Forward Computed Dynamic Slice Algorithm.
489-508
Electronic Edition (link) BibTeX
- Ferenc Havasi:
XML Semantics Extension.
509-528
Electronic Edition (link) BibTeX
- Piroska B. Kis, Csaba Mihálykó, Béla G. Lakatos:
Mathematical models for simulation of continuous grinding process with recirculation.
529-545
Electronic Edition (link) BibTeX
- Johannes Koskinen, Erkki Mäkinen, Tarja Systä:
Implemeting a Component-Based Tool for Interactive Synthesis of UML Statechart Diagrams.
547-565
Electronic Edition (link) BibTeX
- Vahur Kotkas:
A distributed program synthesizer.
567-581
Electronic Edition (link) BibTeX
- Gábor Kovács, Zoltán Pap, Gyula Csopaki:
Automatic Test Selection based on CEFSM Specifications.
583-599
Electronic Edition (link) BibTeX
- Peep Küngas:
Resource-Conscious AI Planning with Conjunctions and Disjunctions.
601-620
Electronic Edition (link) BibTeX
- Louise Lorentsen, Antti-Pekka Tuovinen, Jianli Xu:
Experiences in Modelling Feature Interactions with Coloured Petri Nets.
621-632
Electronic Edition (link) BibTeX
- Härmel Nestra:
Framework for Studying Substitution.
633-652
Electronic Edition (link) BibTeX
- Zoltán Pap, Zoltán Rétháti, Róbert Horváth, Gusztáv Adamis:
Standardized Event Pair Based Test Generation Method Using TSS&TP.
653-667
Electronic Edition (link) BibTeX
- Rudolf Ferenc, Juha Gustafsson, László Müller, Jukka Paakki:
Recognizing Design Patterns in C++ Programs with the Integration of Columbus and Maisa.
669-682
Electronic Edition (link) BibTeX
- Gábor Fóris, László Sógor, Péter Hendlein, Krisztián Notaisz, Márta Fidrich:
Development of a Communication Environment between IPv6 and IPv4.
683-704
Electronic Edition (link) BibTeX
- Risto Vaarandi:
Platform Independent Tool for Local Event Correlation.
705-723
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:49:25 2009
by Michael Ley (ley@uni-trier.de)
