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)
86
87
88
89
90
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
From a Solution Model to a B Model for Verification of Safety Properties
Philippe Bon
,
Simon Collart-Dutilleul
10.3217/jucs-019-01-0002
01-01-2013
Unique: 496 | Total: 658
| Access Period:
2-24
HTML
XML
PDF
Editorial
Managing Editor's Column
Christian Gütl
10.3217/jucs-019-01
01-01-2013
Unique: 417 | Total: 566
| Access Period:
1-1
HTML
XML
PDF
Research Article
Engineering Security into Distributed Systems: A Survey of Methodologies
Anton Uzunov
,
Eduardo Fernandez
,
Katrina Falkner
10.3217/jucs-018-20-2920
01-12-2012
Unique: 585 | Total: 728
| Access Period:
2920-3006
HTML
XML
PDF
Research Article
Ontology-based Approach to Competence Profile Management
Vladimir Tarasov
10.3217/jucs-018-20-2893
01-12-2012
Unique: 428 | Total: 535
| Access Period:
2893-2919
HTML
XML
PDF
Research Article
The Contrapositive of Countable Choice for Inhabited Sets of Naturals
Iosif Petrakis
10.3217/jucs-018-20-2879
01-12-2012
Unique: 419 | Total: 559
| Access Period:
2879-2892
HTML
XML
PDF
Research Article
Points-to Analysis: A Fine-Grained Evaluation
Jonas Lundberg
,
Welf Löwe
10.3217/jucs-018-20-2851
01-12-2012
Unique: 651 | Total: 812
| Access Period:
2851-2878
HTML
XML
PDF
Research Article
Non-Marker based Mobile Augmented Reality and its Applications using Object Recognition
Daewon Kim
,
Doosung Hwang
10.3217/jucs-018-20-2832
01-12-2012
Unique: 583 | Total: 783
| Access Period:
2832-2850
HTML
XML
PDF
Research Article
Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers
Dario Monica
,
Valentin Goranko
,
Angelo Montanari
,
Guido Sciavicco
10.3217/jucs-018-20-2798
01-12-2012
Unique: 544 | Total: 719
| Access Period:
2798-2831
HTML
XML
PDF
Research Article
Distributed Load Balancing Algorithms for Heterogeneous Players in Asynchronous Networks
Luiz Bittencourt
,
Flávio Miyazawa
,
André Vignatti
10.3217/jucs-018-20-2771
01-12-2012
Unique: 472 | Total: 596
| Access Period:
2771-2797
HTML
XML
PDF
Research Article
The Forum for Negative Results (FNR)Guest Editorial
Lutz Prechelt
10.3217/jucs-018-20-2748
01-12-2012
Unique: 553 | Total: 740
| Access Period:
2748-2749
HTML
XML
PDF
Editorial
Managing Editor's Column
Christian Gütl
10.3217/jucs-018-20
01-12-2012
Unique: 421 | Total: 525
| Access Period:
2747-2747
HTML
XML
PDF
Research Article
A Global Software Inspection Process for Distributed Software Development
Deepti Mishra
,
Alok Mishra
Part of: Distributed Development of Information System
10.3217/jucs-018-19-2731
12-11-2012
Unique: 473 | Total: 620
| Access Period:
2731-2746
HTML
XML
PDF
86
87
88
89
90
This website uses cookies in order to improve your web experience.
Read our Cookies Policy
OK