Filter

Search
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
by Funding Agency
Clear filters
Powered by

422 items matching your criteria

Sort by:
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
Left Arrow
16 17 18 19 20
Right Arrow
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
Research Article
Variations on Itai-Rodeh Leader Election for Anonymous Rings and their Analysis in PRISM
Wan Fokkink, Jun Pang
10.3217/jucs-012-08-0981
 28-08-2006
 Unique: 375 | Total: 462  | Access Period:
 981-1006
HTML
XML
PDF
Research Article
Defining Atomic Composition in UML Behavioral Diagrams
Júlio Machado, Paulo Menezes
10.3217/jucs-012-07-0958
 28-07-2006
 Unique: 381 | Total: 447  | Access Period:
 958-979
HTML
XML
PDF
Research Article
Type-safe Versioned Object Query Language
Rodrigo Machado, Álvaro Moreira, Renata Galante, Mirella Moro
10.3217/jucs-012-07-0938
 28-07-2006
 Unique: 359 | Total: 422  | Access Period:
 938-957
HTML
XML
PDF
Research Article
Generic Process Algebra: A Programming Challenge
Paula Ribeiro, Marco Barbosa, Luís Barbosa
10.3217/jucs-012-07-0922
 28-07-2006
 Unique: 342 | Total: 414  | Access Period:
 922-937
HTML
XML
PDF
Research Article
The Language of the Visitor Design Pattern
Markus Schordan
10.3217/jucs-012-07-0849
 28-07-2006
 Unique: 392 | Total: 483  | Access Period:
 849-867
HTML
XML
PDF
Research Article
Randomized Algorithms and Complexity Theory
Harald Hempel
10.3217/jucs-012-06-0746
 28-06-2006
 Unique: 381 | Total: 444  | Access Period:
 746-761
HTML
XML
PDF
Research Article
Improving Deterministic and Randomized Exponential-Time Algorithms for the Satisfiability, the Colorability, and the Domatic Number Problem
Tobias Riege, Jörg Rothe
10.3217/jucs-012-06-0725
 28-06-2006
 Unique: 354 | Total: 415  | Access Period:
 725-745
HTML
XML
PDF
Research Article
Testing Membership in Formal Languages Implicitly Represented by Boolean Functions
Beate Bollig
10.3217/jucs-012-06-0710
 28-06-2006
 Unique: 378 | Total: 434  | Access Period:
 710-724
HTML
XML
PDF
Research Article
Progress in Quantum Computational Cryptography
Akinori Kawachi, Takeshi Koshiba
10.3217/jucs-012-06-0691
 28-06-2006
 Unique: 381 | Total: 442  | Access Period:
 691-709
HTML
XML
PDF
Research Article
Randomness and Secrecy - A Brief Introduction
Johannes Blõmer
10.3217/jucs-012-06-0654
 28-06-2006
 Unique: 416 | Total: 512  | Access Period:
 654-671
HTML
XML
PDF
Research Article
Completeness in the Boolean Hierarchy: Exact-Four-Colorability, Minimal Graph Uncolorability, and Exact Domatic Number Problems - a Survey
Tobias Riege, Jörg Rothe
10.3217/jucs-012-05-0551
 28-05-2006
 Unique: 356 | Total: 429  | Access Period:
 551-578
HTML
XML
PDF
Research Article
About an Algorithmic Approach to Tilings {p,q} of the Hyperbolic Plane
Maurice Margenstern
10.3217/jucs-012-05-0512
 28-05-2006
 Unique: 359 | Total: 435  | Access Period:
 512-550
HTML
XML
PDF
Left Arrow
16 17 18 19 20
Right Arrow

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK