UniSa - IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 246
Titolo Data di pubblicazione Autore(i) File
On Refinement of Logic Specifications 1-gen-1992 Ferrucci, Filomena; Nota, Giancarlo; S., Orefice; Pacini, Giuliano; Tortora, Genoveffa
A Sleeper-based Prolog Interpreter with Loop Checks 1-gen-1994 Ferrucci, Filomena; Loia, Vincenzo; Pacini, Giuliano; Sessa, Maria Immacolata
Loop Checking for Reduced SLD-Derivations 1-gen-1994 Ferrucci, Filomena; Pacini, Giuliano; Sessa, Maria Immacolata
Redundancy elimination and loop checks for Logic programs 1-gen-1995 Ferrucci, Filomena; Pacini, Giuliano; Sessa, Maria Immacolata
Non-Redundant 2D Strings 1-gen-1995 Costagliola, Gennaro; Ferrucci, Filomena; Tortora, Genoveffa; Tucci, Maurizio
Semantics-Based Inference Algorithms for Adaptive Visual Environments 1-gen-1996 Ferrucci, Filomena; Tortora, Genoveffa; Tucci, Maurizio; Vitiello, Giuliana
Symbol Relation Grammars: a formalism for Graphical Languages 1-gen-1996 Ferrucci, Filomena; Pacini, G.; Satta, G.; Sessa, M. I.; Tortora, Genoveffa; Tucci, Maurizio; Vitiello, Giuliana
An Interpreter for Diagrammatic Languages based on SR Grammars 1-gen-1997 Ferrucci, Filomena; Tortora, Genoveffa; Tucci, Maurizio; Vitiello, Giuliana
RELATION GRAMMARS: A FORMALISM FOR SYNTACTIC AND SEMANTIC ANALYSIS OF VISUAL LANGUAGES 1-gen-1998 Ferrucci, Filomena; Tortora, Genoveffa; Tucci, Maurizio; Vitiello, G.
A FORMAL MODEL FOR THE ANALYSIS OF COMPLEX STRUCTURES 1-gen-1998 Ferrucci, Filomena; Tucci, Maurizio; Vitiello, G.; Pacini, G.; Tortora, Genoveffa
TOWARDS A SOFTWARE SIZE PRODUCT METRICS FOR OBJECT-ORIENTED SYSTEMS 1-gen-1998 Costagliola, Gennaro; Ferrucci, Filomena; Tortora, Genoveffa; Vitiello, G.
SYMBOLIC PICTURE LANGUAGES AND THEIR DECIDABILITY AND COMPLEXITY PROPERTIES 1-gen-1999 Costagliola, Gennaro; Ferrucci, Filomena
The Development of Hierarchical Visual Languages 1-gen-1999 Costagliola, Gennaro; Ferrucci, Filomena; Polese, Giuseppe; Vitiello, G.
Supporting Hybrid and Hierarchical Visual Language Definition 1-gen-1999 Costagliola, Gennaro; Ferrucci, Filomena; Polese, Giuseppe; Vitiello, G.
GRAMMATICAL INFERENCE FOR THE AUTOMATIC GENERATION OF VISUAL LANGUAGES 1-gen-1999 Ferrucci, Filomena; Vitiello, Giuliana
Metriche di Taglia 1-gen-2000 Costagliola, Gennaro; Ferrucci, Filomena; Tortora, Genoveffa; Vitiello, G.
CLASS POINT UNA METRICA PER LA STIMA DELLA TAGLIA DEI SISTEMI ORIENTATI AGLI OGGETTI 1-gen-2000 Costagliola, Gennaro; Ferrucci, Filomena; Tortora, Genoveffa; Vitiello, Giuliana
A Metrics for the Size Estimation of Object Oriented Graphical User Interfaces 1-gen-2000 Costagliola, Gennaro; Ferrucci, Filomena; Tortora, Genoveffa; Vitiello, Giuliana
Visual Programming 1-gen-2001 Ferrucci, Filomena; Tortora, Genoveffa; Vitiello, Giuliana
A. System For Rapyd Prototyping of Visual Languages 1-gen-2001 Tortora, Genoveffa; Ferrucci, Filomena; Tucci, Maurizio; Vitiello, G.
Mostrati risultati da 1 a 20 di 246
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile