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
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
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
Quotient Spaces and Coequalisers in Formal Topology
Erik Palmgren
10.3217/jucs-011-12-1996
28-12-2005
Unique: 288 | Total: 336
| Access Period:
1996-2007
HTML
XML
PDF
Research Article
Formal Topology and Constructive Mathematics: the Gelfand and Stone-Yosida Representation Theorems
Thierry Coquand
,
Bas Spitters
10.3217/jucs-011-12-1932
28-12-2005
Unique: 328 | Total: 368
| Access Period:
1932-1944
HTML
XML
PDF
Research Article
Computability of the Spectrum of Self-Adjoint Operators
Vasco Brattka
,
Ruth Dillhage
10.3217/jucs-011-12-1884
28-12-2005
Unique: 347 | Total: 397
| Access Period:
1884-1900
HTML
XML
PDF
Research Article
The Tiling of the Hyperbolic 4D Space by the 120-cell is Combinatoric
Maurice Margenstern
10.3217/jucs-010-09-1212
28-09-2004
Unique: 334 | Total: 382
| Access Period:
1212-1238
HTML
XML
PDF
Research Article
An Efficient Family of P Systems for Packing Items into Bins
Mario Pérez-Jiménez
,
Francisco Romero-Campero
10.3217/jucs-010-05-0650
28-05-2004
Unique: 334 | Total: 379
| Access Period:
650-670
HTML
XML
PDF
Research Article
P Systems with Active Membranes and Separation Rules
Linqiang Pan
,
Tseren-Onolt Ishdorj
10.3217/jucs-010-05-0630
28-05-2004
Unique: 415 | Total: 513
| Access Period:
630-649
HTML
XML
PDF
Research Article
A Java Simulator for Membrane Computing
Isabel Nepomuceno-Chamorro
10.3217/jucs-010-05-0620
28-05-2004
Unique: 371 | Total: 442
| Access Period:
620-629
HTML
XML
PDF
Research Article
Simulating the Fredkin Gate with Energy-Based P Systems
Alberto Leporati
,
Claudio Zandron
,
Giancarlo Mauri
10.3217/jucs-010-05-0600
28-05-2004
Unique: 358 | Total: 406
| Access Period:
600-619
HTML
XML
PDF
Research Article
Finding the Maximum Element Using P Systems
Federico Fontana
,
Giuditta Franco
10.3217/jucs-010-05-0567
28-05-2004
Unique: 359 | Total: 417
| Access Period:
567-580
HTML
XML
PDF
Research Article
A Note on Complexity Measures for Probabilistic P Systems
Andrés Cordón-Franco
,
Fernando Sancho-Caparrini
10.3217/jucs-010-05-0559
28-05-2004
Unique: 327 | Total: 381
| Access Period:
559-566
HTML
XML
PDF
Research Article
Population P Systems
Francesco Bernardini
,
Marian Gheorghe
10.3217/jucs-010-05-0509
28-05-2004
Unique: 366 | Total: 414
| Access Period:
509-539
HTML
XML
PDF
Research Article
Defining a Formal Coalgebraic Semantics for The Rosetta Specification Language
Cindy Kong
,
Perry Alexander
,
Catherine Menon
10.3217/jucs-009-11-1322
28-11-2003
Unique: 331 | Total: 375
| Access Period:
1322-1349
HTML
XML
PDF
1
2
3
4
5
This website uses cookies in order to improve your web experience.
Read our Cookies Policy
OK