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
421 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: Topic F - Theory of Computation
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
Deterministic Frequency Pushdown Automata
Cristian S. Calude
,
Rūsiņš Freivalds
,
Sanjay Jain
,
Frank Stephan
10.3217/jucs-021-12-1563
01-12-2015
Unique: 424 | Total: 529
| Access Period:
1563-1576
HTML
XML
PDF
Research Article
Exploring the Impacts of Social Networking on Brand Image and Purchase Intention in Cyberspace
Hsing-Wen Wang
,
Yen-Chun Wu
,
Tse-Ping Dong
Part of: Enabling Technologies and Business Infrastructures for Next Generation Social Media:Big Data, Cloud Computing, Internet of Things and Virtual Reality
10.3217/jucs-021-11-1425
01-11-2015
Unique: 455 | Total: 633
| Access Period:
1425-1438
HTML
XML
PDF
Research Article
Naive Infinite Enumeration of Context-free Languages in Incremental Polynomial Time
Christophe Florêncio
,
Jonny Daenen
,
Jan Ramon
,
Jan Van den Bussche
,
Dries Dyck
10.3217/jucs-021-07-0891
01-07-2015
Unique: 448 | Total: 567
| Access Period:
891-911
HTML
XML
PDF
Research Article
Heuristic Algorithms for Manufacturing and Replacement Strategies of the Production System
Robert Bucki
,
Bronislav Chramcov
,
Petr Suchánek
10.3217/jucs-021-04-0503
01-04-2015
Unique: 458 | Total: 623
| Access Period:
503-525
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: 526 | Total: 726
| Access Period:
1373-1401
HTML
XML
PDF
Research Article
On Alternative Approaches for Approximating the Transposition Distance
Gustavo Galvão
,
Zanoni Dias
10.3217/jucs-020-09-1259
01-09-2014
Unique: 517 | Total: 702
| Access Period:
1259-1283
HTML
XML
PDF
Research Article
Consistency Checking in Early Software Product Line Specifications - The VCC Approach
Mauricio Alférez
,
Roberto Lopez-Herrejón
,
Ana Moreira
,
Vasco Amaral
,
Alexander Egyed
Part of: Software Components, Architectures and Reuse: Software Product Line Engineering and Source Code Enhancements
10.3217/jucs-020-05-0640
01-05-2014
Unique: 644 | Total: 861
| Access Period:
640-665
HTML
XML
PDF
Research Article
Automatic Authentication to Cloud-Based Services
Mircea Vleju
Part of: Conceptual Modelling with Specific Focus on Service-Oriented Systems
10.3217/jucs-020-03-0385
01-03-2014
Unique: 512 | Total: 707
| Access Period:
385-405
HTML
XML
PDF
Research Article
Behavioral and Temporal Rule Checking for Gaussian Random Process a Kalman Filter Example
Doron Drusinsky
10.3217/jucs-019-15-2198
01-09-2013
Unique: 476 | Total: 660
| Access Period:
2198-2206
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: 481 | Total: 657
| Access Period:
1396-1432
HTML
XML
PDF
Research Article
Term Satisfiability Problem for Two-Element Algebras is in QL or is NQL-Complete
Tomasz Gorazd
,
Jacek Krzaczkowski
10.3217/jucs-019-10-1375
28-05-2013
Unique: 522 | Total: 669
| Access Period:
1375-1395
HTML
XML
PDF
Research Article
Compositionally Writing Proof Scores of Invariants in the OTS/CafeOBJ Method
Kazuhiro Ogata
,
Kokichi Futatsugi
10.3217/jucs-019-06-0771
28-03-2013
Unique: 597 | Total: 767
| Access Period:
771-804
HTML
XML
PDF
1
2
3
4
5
This website uses cookies in order to improve your web experience.
Read our Cookies Policy
OK