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
634 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 D - Software
Clear All
Copy link
RSS Feed
RSS Feed filters articles only by Classification type, Date (from/to), Publication type
36
37
38
39
40
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: 426 | Total: 556
| 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: 483 | Total: 614
| Access Period:
1651-1678
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: 430 | Total: 503
| 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: 452 | Total: 534
| 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: 444 | Total: 529
| 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: 480 | Total: 543
| 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: 450 | Total: 516
| 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: 443 | Total: 514
| Access Period:
1466-1499
HTML
XML
PDF
Research Article
Membrane Computing and Graphical Operating Systems
Benedek Nagy
,
László Szegedi
10.3217/jucs-012-09-1312
28-09-2006
Unique: 331 | Total: 399
| Access Period:
1312-1331
HTML
XML
PDF
Research Article
The "MEDIP-Platform Independent Software System for Medical Image Processing" Project
András Hajdu
,
János Kormos
,
Zsolt Lencse
,
Lajos Trón
,
Miklós Emri
10.3217/jucs-012-09-1229
28-09-2006
Unique: 385 | Total: 486
| Access Period:
1229-1239
HTML
XML
PDF
Research Article
Japlo: Rule-based Programming on Java
Miklós Espák
10.3217/jucs-012-09-1177
28-09-2006
Unique: 369 | Total: 432
| Access Period:
1177-1189
HTML
XML
PDF
Research Article
Extension of CQL over Dynamic Databases
Antal Buza
10.3217/jucs-012-09-1165
28-09-2006
Unique: 380 | Total: 439
| Access Period:
1165-1176
HTML
XML
PDF
36
37
38
39
40
This website uses cookies in order to improve your web experience.
Read our Cookies Policy
OK