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
(2635)
Editorial
(399)
by Journal
by Funding Agency
Clear filters
Powered by
88 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.1.1 - Models of Computation
Clear All
Copy link
RSS Feed
RSS Feed filters articles only by Classification type, Date (from/to), Publication type
6
7
8
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
The Origins and the Development of the ASM Method for High Level System Design and Analysis
Egon Börger
10.3217/jucs-008-01-0002
28-01-2002
Unique: 420 | Total: 498
| Access Period:
2-74
HTML
XML
PDF
Research Article
A Neural Abstract Machine
Egon Börger
,
Diego Sona
10.3217/jucs-007-11-1006
28-11-2001
Unique: 360 | Total: 462
| Access Period:
1006-1023
HTML
XML
PDF
Research Article
Partial Updates: Exploration
Yuri Gurevich
,
Nikolai Tillmann
10.3217/jucs-007-11-0917
28-11-2001
Unique: 355 | Total: 414
| Access Period:
917-951
HTML
XML
PDF
Research Article
New Tools for Cellular Automata in the Hyperbolic Plane
Maurice Margenstern
10.3217/jucs-006-12-1226
28-12-2000
Unique: 368 | Total: 438
| Access Period:
1226-1252
HTML
XML
PDF
Research Article
Simulating H Systems by P Systems
Gheorghe Paun
,
Takashi Yokomori
10.3217/jucs-006-01-0178
28-01-2000
Unique: 410 | Total: 474
| Access Period:
178-193
HTML
XML
PDF
Research Article
Computational Complementarity and Shift Spaces
Marjo Lipponen
10.3217/jucs-006-01-0169
28-01-2000
Unique: 396 | Total: 461
| Access Period:
169-177
HTML
XML
PDF
Research Article
Splicing on Trees: the Iterated Case
George Rahonis
10.3217/jucs-005-09-0599
28-09-1999
Unique: 321 | Total: 373
| Access Period:
599-609
HTML
XML
PDF
Research Article
Decomposition of Timed Automata
Kahn Mason
,
Padmanabhan Krishnan
10.3217/jucs-005-09-0574
28-09-1999
Unique: 349 | Total: 415
| Access Period:
574-587
HTML
XML
PDF
Research Article
A Polynomial Solution for 3-SAT in the Space of Cellular Automata in the Hyperbolic Plane
Maurice Margenstern
,
Kenichi Morita
10.3217/jucs-005-09-0563
28-09-1999
Unique: 351 | Total: 421
| Access Period:
563-573
HTML
XML
PDF
Research Article
Issues Related to Distributed Processing of Picture Languages
Padmanabhan Krishnan
10.3217/jucs-005-09-0542
28-09-1999
Unique: 342 | Total: 438
| Access Period:
542-551
HTML
XML
PDF
Research Article
Minimal Deterministic Incomplete Automata
Elena Calude
,
Mario Lipponen
10.3217/jucs-003-11-1180
28-11-1997
Unique: 309 | Total: 373
| Access Period:
1180-1193
HTML
XML
PDF
Research Article
Recursive Abstract State Machines
Yuri Gurevich
,
Marc Spielmann
10.3217/jucs-003-04-0233
28-04-1997
Unique: 288 | Total: 337
| Access Period:
233-246
HTML
XML
PDF
6
7
8
This website uses cookies in order to improve your web experience.
Read our Cookies Policy
OK