RE.PUBLIC@POLIMI pubblicazioni di ricerca del Politecnico di Milano

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 50 di 131
Titolo Data di pubblicazione Autori File
Pseudoequilibrium in Dynamical Systems 1-gen-1973 GATTO, MARINOMANDRIOLI, DINORINALDI, SERGIO
Equivalenza tra grammatiche, sistemi di equazioni in variabili di linguaggio e serie formali 1-gen-1974 GATTO, MARINOMANDRIOLI, DINO
A decidability theorem for a class of vector-addition systems 1-gen-1975 CRESPI REGHIZZI, STEFANOMANDRIOLI, DINO
Some algebraic properties of Petri nets 1-gen-1976 CRESPI REGHIZZI, STEFANOMANDRIOLI, DINO
n-Reconstructability of Context-free Grammars 1-gen-1976 MANDRIOLI, DINO
A Note on Petri Net Languages 1-gen-1977 MANDRIOLI, DINO
Petri Nets and Szilard Languages 1-gen-1977 CRESPI REGHIZZI, STEFANOMANDRIOLI, DINO
Algebraic Properties of Operator Precedence Languages 1-gen-1978 CRESPI REGHIZZI, STEFANOMANDRIOLI, DINO +
Non-Counting Context-free Languages 1-gen-1978 CRESPI REGHIZZI, STEFANOMANDRIOLI, DINO +
Basi, problemi e prospettive dell'elaborazione automatica del linguaggio naturale 1-gen-1978 CRESPI REGHIZZI, STEFANOMANDRIOLI, DINO
Specifiche e prove di proprietà dei programmi: lo stato dell'arte 1-gen-1978 GHEZZI, CARLOMANDRIOLI, DINO
A class of Grammars Generating Non Counting Languages 1-gen-1979 CRESPI REGHIZZI, STEFANOMANDRIOLI, DINO
Incremental Parsing 1-gen-1979 GHEZZI, CARLOMANDRIOLI, DINO
Separate Compilation and Partial Specification in Pascal 1-gen-1980 DELLA VIGNA, PIERLUIGIGHEZZI, CARLOMANDRIOLI, DINO +
Augmenting Parsers to Support Incrementality 1-gen-1980 GHEZZI, CARLOMANDRIOLI, DINO
SIMPLE: A Program Development System 1-gen-1980 DELLA VIGNA, PIERLUIGIGHEZZI, CARLOMANDRIOLI, DINO +
OPERATOR PRECEDENCE AND THE NON-COUNTING PROPERTY 1-gen-1981 CRESPI REGHIZZI, STEFANOMANDRIOLI, DINO +
Language Constructs for Real-Time Distributed Systems 1-gen-1982 GHEZZI, CARLOMANDRIOLI, DINO +
Modeling the Ada Task System by Petri Nets 1-gen-1985 MANDRIOLI, DINOGHEZZI, CARLO +
The Ada Task System and Real-time Applications: an Implementation Schema 1-gen-1985 MANDRIOLI, DINO +
On deterministic multi-pass analysis 1-gen-1986 CITRINI, CLAUDIOCRESPI REGHIZZI, STEFANOMANDRIOLI, DINO
On the specification of real-time systems using logic programming 1-gen-1987 GARZOTTO, FRANCAGHEZZI, CARLOMANDRIOLI, DINOMORZENTI, ANGELO CARLO
Theoretical Foundations of Computer Science. 1-gen-1987 MANDRIOLI, DINOGHEZZI, CARLO
Symbolic Execution of Concurrent Systems Using Petri Nets 1-gen-1989 GHEZZI, CARLOMANDRIOLI, DINO +
On the Behavior of Concurrent and Real-Time Systems 1-gen-1989 FUGGETTA, ALFONSOGHEZZI, CARLOMANDRIOLI, DINO
TRIO a Logic Language for Executable Specifications of Real-time Systems 1-gen-1990 GHEZZI, CARLOMANDRIOLI, DINOMORZENTI, ANGELO CARLO
Breadth and depth grammars and Deque automata 1-gen-1990 CHERUBINI, ALESSANDRACITRINI, CLAUDIOCRESPI REGHIZZI, STEFANOMANDRIOLI, DINO
Software Specialization via Symbolic Execution 1-gen-1991 GHEZZI, CARLOMANDRIOLI, DINO +
A Unified High-level Petri Net Model for Time Critical Systems 1-gen-1991 GHEZZI, CARLOMANDRIOLI, DINO +
QRT FIFO automata, breadth-first grammars and their relations. 1-gen-1991 CHERUBINI, ALESSANDRACITRINI, CLAUDIOCRESPI REGHIZZI, STEFANOMANDRIOLI, DINO
A Model Parametric Real-Time Logic 1-gen-1992 MORZENTI, ANGELO CARLOMANDRIOLI, DINOGHEZZI, CARLO
On eclectic specification environments 1-gen-1992 GHEZZI, CARLOMANDRIOLI, DINO
Advances in Object Oriented Software Engineering 1-gen-1992 MANDRIOLI, DINO +
Istituzioni di Informatica Linguaggio di riferimento Pascal 1-gen-1993 CERI, STEFANOMANDRIOLI, DINOSBATTELLA, LICIA
Executable Specifications with Dataflow Diagrams 1-gen-1993 FUGGETTA, ALFONSOGHEZZI, CARLOMANDRIOLI, DINOMORZENTI, ANGELO CARLO
Proving properties of real-time systems through logical specifications and Petri net models 1-gen-1994 MANDRIOLI, DINOMORZENTI, ANGELO CARLO +
A Formal Framework for ASTRAL Intra-level Proof Obligations 1-gen-1994 MANDRIOLI, DINO +
Informatica Istituzioni Linguaggio di riferimento Ansi C 1-gen-1994 CERI, STEFANOMANDRIOLI, DINOSBATTELLA, LICIA
Generating Test Cases for Real-Time Systems from Logic Specifications 1-gen-1995 MANDRIOLI, DINOMORZENTI, ANGELO CARLO +
Istituzioni di Informatica Linguaggio di riferimento Pascal 1-gen-1995 CERI, STEFANOMANDRIOLI, DINOSBATTELLA, LICIA
Formal Methods for Real-Time Computing 1-gen-1996 MANDRIOLI, DINO +
A Petri Net and Logic Approach to the Specification and Verification of Real Time Systems 1-gen-1996 MANDRIOLI, DINOMORZENTI, ANGELO CARLO +
Formal Methods for Real-Time Computing: an Overview 1-gen-1996 MANDRIOLI, DINO +
The Art and Craft of Computing. 1-gen-1997 CERI, STEFANOMANDRIOLI, DINOSBATTELLA, LICIA
From formal models to formally-based methods: an industrial experience 1-gen-1999 MANDRIOLI, DINOMORZENTI, ANGELO CARLO +
Dealing with Zero-time Transitions in Axiom Systems 1-gen-1999 MANDRIOLI, DINOMORZENTI, ANGELO CARLO +
Informatica Arte e Mestiere 1-gen-1999 CERI, STEFANOMANDRIOLI, DINOSBATTELLA, LICIA
Using TRIO for designing a CORBA based application 1-gen-2000 COEN PORISINI, ALBERTOMANDRIOLI, DINO
Parallel Refinement Mechanisms for Real-Time Systems 1-gen-2000 MANDRIOLI, DINO +
Supervision and control systems framework 1-gen-2000 COEN PORISINI, ALBERTOMANDRIOLI, DINOMORZENTI, ANGELO CARLO +
Mostrati risultati da 1 a 50 di 131
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