Register
|
Login
Full Text
Author
Title
Submit manuscript
About
Articles
Issues
Author Guidelines
Special Issues
Call for Papers
Imprint
Editorial Team
Contacts
Filter
Search
Full Text
Author
Title
by Subject
Topic A - General Literature
Topic B - Hardware
Topic C - Computer Systems Organization
Topic D - Software
Topic E - Data
Topic F - Theory of Computation
Topic G - Mathematics of Computing
Topic H - Information Systems
Topic I - Computing Methodologies
Topic J - Computer Applications
Topic K - Computing Milieux
Topic L - Science and Technology of Learning
Topic M - Knowledge Management
by Publication Date (dd/mm/yyyy)
from
to
by Publication Type
Research Article
(2629)
Editorial
(398)
by Journal
by Funding Agency
Clear filters
Powered by
61 items matching your criteria
Sort by:
Publication date newest
Publication date oldest
Total views
Unique views
Best match
Citations count
Highly accessed (last month)
Highly accessed (last 3 months)
Highly accessed (last 6 months)
Highly accessed (last year)
Filter By:
Subject: F.4.3 - Formal Languages
Clear All
Copy link
RSS Feed
RSS Feed filters articles only by Classification type, Date (from/to), Publication type
1
2
3
4
5
Select:
All
None
Download:
Citation
XML
PDF
Export format
RIS
BIBTEX
Bookends
EasyBib
EndNote (tagged)
EndNote 8 (xml)
Medlars
Mendeley
Papers
RefWorks Tagged
Ref Manager
Zotero
Mods (xml)
Plain text (txt)
Download
Research Article
MODELFY: A Model-driven Solution for Decision Making based on Fuzzy Information
María Castañeda
,
Mercedes G. Merayo
,
Juan Boubeta-Puig
,
Iván Calvo
10.3897/jucs.76030
28-05-2022
Unique: 1260 | Total: 2087
| Access Period:
445-474
HTML
XML
PDF
Research Article
On Recurrent Neural Network Based Theorem Prover For First Order Minimal Logic
Ashot Baghdasaryan
,
Hovhannes Bolibekyan
Part of: Challenges for Smart Environments - Human-Centered Computing, Data Science, and Ambient Intelligence I
10.3897/jucs.76563
28-11-2021
Unique: 1067 | Total: 2033
| Access Period:
1193-1202
HTML
XML
PDF
Research Article
Regular Expressions with Lookahead
Martin Berglund
,
Brink van der Merwe
,
Steyn van Litsenborgh
10.3897/jucs.66330
28-04-2021
Unique: 1618 | Total: 3361
| Access Period:
324-340
HTML
XML
PDF
Research Article
Reversibility in Parallel Rewriting Systems
Bogdan Aman
,
Gabriel Ciobanu
Part of: Theory and Application of Bio-inspired Intelligence and Methods
10.3217/jucs-023-07-0692
28-07-2017
Unique: 484 | Total: 641
| Access Period:
692-703
HTML
XML
PDF
Research Article
A Taxonomy of Minimisation Algorithms for Deterministic Tree Automata
Johanna Björklund
,
Loek Cleophas
10.3217/jucs-022-02-0180
01-02-2016
Unique: 421 | Total: 552
| Access Period:
180-196
HTML
XML
PDF
Research Article
Formal Study of Routing Protocols for Wireless Sensor Networks
José Mateo
,
María del Carmen Ruiz
,
Hermenegilda Maciá
,
Juan Pardo
10.3217/jucs-020-09-1373
01-09-2014
Unique: 509 | Total: 699
| Access Period:
1373-1401
HTML
XML
PDF
Research Article
An Algebraic Theory of Epistemic Processes
Hamid Mahrooghi
,
Rasool Jalili
10.3217/jucs-019-10-1396
28-05-2013
Unique: 468 | Total: 637
| Access Period:
1396-1432
HTML
XML
PDF
Research Article
Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers
Dario Monica
,
Valentin Goranko
,
Angelo Montanari
,
Guido Sciavicco
10.3217/jucs-018-20-2798
01-12-2012
Unique: 493 | Total: 646
| Access Period:
2798-2831
HTML
XML
PDF
Research Article
Towards Model-Driven Engineering Support for Service Evolution
Juan Vara
,
Vasilios Andrikopoulos
,
Michael Papazoglou
,
Esperanza Marcos
Part of: Conceptual Modelling of Services
10.3217/jucs-018-17-2364
01-09-2012
Unique: 468 | Total: 621
| Access Period:
2364-2382
HTML
XML
PDF
Research Article
Controlled Pure Grammar Systems
Alexander Meduna
,
Petr Zemek
10.3217/jucs-018-14-2024
28-07-2012
Unique: 446 | Total: 571
| Access Period:
2024-2040
HTML
XML
PDF
Research Article
Array P System with Shuffle on Trajectories
A. S. Venkatesan
,
D. G. Thomas
,
T. Robinson
,
Atulya Nagar
Part of: Recent Advances in Bio-Inspired Computing: Theory and Applications
10.3217/jucs-018-13-1802
01-07-2012
Unique: 439 | Total: 568
| Access Period:
1802-1820
HTML
XML
PDF
Research Article
P Systems with Shuffle Operation and Catalytic-Like Rules
Yunyun Niu
,
Jinbang Xu
,
K. G. Subramanian
,
Rosni Abdullah
Part of: Recent Advances in Bio-Inspired Computing: Theory and Applications
10.3217/jucs-018-13-1782
01-07-2012
Unique: 443 | Total: 598
| Access Period:
1782-1801
HTML
XML
PDF
1
2
3
4
5
This website uses cookies in order to improve your web experience.
Read our Cookies Policy
OK