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
(2648)
Editorial
(401)
by Journal
by Funding Agency
Clear filters
Powered by
Articles
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)
166
167
168
169
170
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
Operational/Interpretive Unfolding of Multi-adjoint Logic Programs
Pascual Julián
,
Ginés Moreno
,
Jaime Penabad
10.3217/jucs-012-11-1679
28-11-2006
Unique: 425 | Total: 554
| Access Period:
1679-1699
HTML
XML
PDF
Research Article
Magic Sets for the XPath Language
Jesús Almendros-Jiménez
,
Antonio Becerra-Terón
,
Francisco Enciso-Baños
10.3217/jucs-012-11-1651
28-11-2006
Unique: 480 | Total: 609
| Access Period:
1651-1678
HTML
XML
PDF
Research Article
Introducing the ITP Tool: a Tutorial
Manuel Clavel
,
Miguel Palomino
,
Adrián Riesco
10.3217/jucs-012-11-1618
28-11-2006
Unique: 519 | Total: 619
| Access Period:
1618-1650
HTML
XML
PDF
Research Article
Verification of CRWL Programs with Rewriting Logic
José Cleva
,
Isabel Pita
10.3217/jucs-012-11-1594
28-11-2006
Unique: 428 | Total: 501
| Access Period:
1594-1617
HTML
XML
PDF
Research Article
Constructive Failure in Functional-Logic Programming: From Theory to Implementation
Jaime Sánchez-Hernández
10.3217/jucs-012-11-1574
28-11-2006
Unique: 448 | Total: 530
| Access Period:
1574-1593
HTML
XML
PDF
Research Article
Verifying Real-Time Properties of tccp Programs
María Alpuente
,
María del Mar Gallardo
,
Ernesto Pimentel
,
Alicia Villanueva
10.3217/jucs-012-11-1551
28-11-2006
Unique: 441 | Total: 526
| Access Period:
1551-1573
HTML
XML
PDF
Research Article
Process Equivalences as Global Bisimulations
David Escrig
,
Carlos Rodríguez
10.3217/jucs-012-11-1521
28-11-2006
Unique: 476 | Total: 538
| Access Period:
1521-1550
HTML
XML
PDF
Research Article
Constraint Based Methods for Biological Sequence Analysis
Maryam Bavarian
,
Veronica Dahl
10.3217/jucs-012-11-1500
28-11-2006
Unique: 449 | Total: 515
| Access Period:
1500-1520
HTML
XML
PDF
Research Article
An Interval Constraint Branching Scheme for Lattice Domains
Antonio J. Fernández Leiva
,
Patricia Hill
10.3217/jucs-012-11-1466
28-11-2006
Unique: 440 | Total: 511
| Access Period:
1466-1499
HTML
XML
PDF
Editorial
Programming and Languages
Francisco López-Fraguas
10.3217/jucs-012-11
28-11-2006
Unique: 399 | Total: 443
| Access Period:
1464-1465
HTML
XML
PDF
Research Article
Time-varying H Systems Revisited
Remco Loos
10.3217/jucs-012-10-1455
28-10-2006
Unique: 426 | Total: 503
| Access Period:
1455-1463
HTML
XML
PDF
Research Article
Fault Tolerant Neural Predictors for Compression of Sensor Telemetry Data
Rajasvaran Logeswaran
10.3217/jucs-012-10-1439
28-10-2006
Unique: 427 | Total: 518
| Access Period:
1439-1454
HTML
XML
PDF
166
167
168
169
170
This website uses cookies in order to improve your web experience.
Read our Cookies Policy
OK