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
(2684)
Editorial
(407)
by Journal
by Funding Agency
Clear filters
Powered by
41 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: D.3.1 - Formal Definitions and Theory
Clear All
Copy link
RSS Feed
RSS Feed filters articles only by Classification type, Date (from/to), Publication type
1
2
3
4
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
OntoFoCE and ObE Forensics. Email-traceability supporting tools for digital forensics
Herminia Beatriz Parra de Gallo
,
Marcela Vegetti
10.3897/jucs.97822
28-12-2023
Unique: 968 | Total: 1376
| Access Period:
1482-1509
HTML
XML
PDF
Research Article
RESTful Services and Web-OS Middleware: a Formal Specification Approach
Mario Bravetti
10.3217/jucs-023-09-0808
28-09-2017
Unique: 646 | Total: 862
| Access Period:
808-844
HTML
XML
PDF
Research Article
Higher Inductive Types in Programming
Henning Basold
,
Herman Geuvers
,
Niels Van Der Weide
Part of: Functional Programming: Past, Present, and Future. Contributions dedicated to D.A. Turner on his 70th Birthday
10.3217/jucs-023-01-0063
28-01-2017
Unique: 690 | Total: 942
| Access Period:
63-88
HTML
XML
PDF
Research Article
Abstract Data Types without the Types. Dedicated to David Turner on the occasion of his 70'th birthday
Philip Wadler
Part of: Functional Programming: Past, Present, and Future. Contributions dedicated to D.A. Turner on his 70th Birthday
10.3217/jucs-023-01-0005
28-01-2017
Unique: 735 | Total: 977
| Access Period:
5-20
HTML
XML
PDF
Research Article
Decisions: Algebra, Implementation, and First Experiments
Antonina Danylenko
,
Jonas Lundberg
,
Welf Löwe
10.3217/jucs-020-09-1174
01-09-2014
Unique: 798 | Total: 1075
| Access Period:
1174-1231
HTML
XML
PDF
Research Article
Specifying Patterns of Educational Settings by means of Ontologies
Angels Rius
,
Jordi Conesa
,
Elena Garcia-Barriocanal
,
Miguel-Ángel Sicilia
10.3217/jucs-019-03-0353
01-02-2013
Unique: 694 | Total: 991
| Access Period:
353-382
HTML
XML
PDF
Research Article
Towards Model-Driven Engineering Support for Service Evolution
Juan Vara
,
Vasilios Andrikopoulos
,
Michael Papazoglou
,
Esperanza Marcos
Part of: Conceptual Modelling of Services
10.3217/jucs-018-17-2364
01-09-2012
Unique: 693 | Total: 919
| Access Period:
2364-2382
HTML
XML
PDF
Research Article
Validating Modal Aspects of OntoUML Conceptual Models Using Automatically Generated Visual World Structures
Alessander Benevides
,
Giancarlo Guizzardi
,
Bernardo Ferreira Bastos Braga
,
Joao Paulo Andrade Almeida
10.3217/jucs-016-20-2904
01-11-2010
Unique: 624 | Total: 787
| Access Period:
2904-2933
HTML
XML
PDF
Research Article
A Debugging System Based on Natural Semantics
Alberto Encina
,
Luis Llana
,
Fernando Rubio
10.3217/jucs-015-14-2836
01-08-2009
Unique: 579 | Total: 702
| Access Period:
2836-2880
HTML
XML
PDF
Research Article
Formal Action Semantics for a UML Action Language
Mikai Yang
,
Greg Michaelson
,
Rob Pooley
10.3217/jucs-014-21-3608
01-12-2008
Unique: 538 | Total: 666
| Access Period:
3608-3624
HTML
XML
PDF
Research Article
Disentangling Denotational Semantics Definitions
Fabio Tirelo
,
Roberto Bigonha
,
Joâo Saraiva
10.3217/jucs-014-21-3592
01-12-2008
Unique: 550 | Total: 669
| Access Period:
3592-3607
HTML
XML
PDF
Research Article
On the Interaction of Advices and Raw Types in AspectJ
Fernando Rubbo
,
Rodrigo Machado
,
Álvaro Moreira
,
Leila Ribeiro
,
Daltro Nunes
10.3217/jucs-014-21-3534
01-12-2008
Unique: 579 | Total: 703
| Access Period:
3534-3555
HTML
XML
PDF
1
2
3
4
This website uses cookies in order to improve your web experience.
Read our Cookies Policy
OK