Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 220
Citazione Data di pubblicazione Autori File
Model Checking and Graph Theory in sequential ATPG / Camurati, Paolo Enrico; Gilli, Marco; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - STAMPA. - (1990), pp. 505-517. (Intervento presentato al convegno CAV 1990: Workshop on Computer-Aided Verification, tenutosi a Rutgers NJ (USA) nel June 1990). 1-gen-1990 CAMURATI, Paolo EnricoGILLI, MARCOPRINETTO, Paolo ErnestoSONZA REORDA, Matteo -
Diffraction of a plane wave by a strip grating / Daniele, Vito; Gilli, Marco; E., Viterbo. - In: ELECTROMAGNETICS. - ISSN 0272-6343. - 10:(1990), pp. 245-269. 1-gen-1990 DANIELE, VitoGILLI, MARCO + -
The Product Machine and Implicit Enumeration to prove FSMs correct / Camurati, Paolo Enrico; Gilli, Marco; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - (1991), pp. 51-62. (Intervento presentato al convegno CHARME 1991: Advanced Research Workshop on Correct Hardware Design Methodologies tenutosi a Torino (Italy) nel June 1991). 1-gen-1991 CAMURATI, Paolo EnricoGILLI, MARCOPRINETTO, Paolo ErnestoSONZA REORDA, Matteo -
The use of model checking in ATPG for sequential circuits / Camurati, Paolo Enrico; Gilli, Marco; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - 531:(1991), pp. 86-95. (Intervento presentato al convegno Computer-Aided Verification 2nd International Conference, CAV '90 tenutosi a New Brunswick, NJ (USA) nel June 18-21, 1990) [10.1007/BFb0023722]. 1-gen-1991 CAMURATI, Paolo EnricoGILLI, MARCOPRINETTO, Paolo ErnestoSONZA REORDA, Matteo -
Proving finite state machines correct with an automaton-based method / Camurati, Paolo Enrico; Gilli, Marco; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - (1991), pp. 255-258. (Intervento presentato al convegno IEEE First Great Lakes Symposium on VLSI tenutosi a Kalamazoo MI (USA), nel 1-2 March 1991) [10.1109/GLSV.1991.143975]. 1-gen-1991 CAMURATI, Paolo EnricoGILLI, MARCOPRINETTO, Paolo ErnestoSONZA REORDA, Matteo -
Comparing ATPGs for synchronous sequential circuits / Camurati, Paolo Enrico; Gilli, Marco; Meo, ANGELO RAFFAELE; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - (1991), pp. 224-228. (Intervento presentato al convegno CompEuro’91: IEEE 5th Annual European Computer Conference on VLSI and Computers tenutosi a Bologna (Italy) nel 13-16 May 1991) [10.1109/CMPEUR.1991.257386]. 1-gen-1991 CAMURATI, Paolo EnricoGILLI, MARCOMEO, ANGELO RAFFAELEPRINETTO, Paolo ErnestoSONZA REORDA, Matteo -
Low frequency electromagnetic penetration of loaded apertures: a canonical case / Daniele, Vito; Gilli, Marco. - STAMPA. - (1992), pp. 1567-1570. (Intervento presentato al convegno IEEE Antennas and Propagation Society International Symposium tenutosi a Chicago (USA) nel July, 1992) [10.1109/APS.1992.221738]. 1-gen-1992 DANIELE, VitoGILLI, MARCO -
Analysis of planar wire-mesh shields, loaded by general anisotropic and/or chiral stratified structure. II / Daniele, Vito; Gilli, Marco; Zich, Riccardo. - 4:(1992), pp. 2018-2021. (Intervento presentato al convegno IEEE Antennas and Propagation Society International Symposium tenutosi a Chicago (USA) nel 18-25 Jul 1992) [10.1109/APS.1992.221472]. 1-gen-1992 DANIELE, VitoGILLI, MARCOZICH, Riccardo -
Some stability properties of cellular neural networks with delay / Civalleri, Pier Paolo; Gilli, Marco. - STAMPA. - (1992), pp. 94-99. (Intervento presentato al convegno IEEE Second International Workshop on Cellular Neural Networks and their Applications tenutosi a Munich (Germany) nel October, 1992) [10.1109/CNNA.1992.274348]. 1-gen-1992 CIVALLERI, Pier PaoloGILLI, MARCO -
Analysis of planar wire-mesh shields, loaded by general anisotropic and/or chiral stratified structure / Daniele, Vito; Gilli, Marco; Zich, Riccardo. - 4:(1992), pp. 2014-2017. (Intervento presentato al convegno IEEE Antennas and Propagation Society International Symposium tenutosi a Chicago (USA) nel 18-25 Jul 1992) [10.1109/APS.1992.221473]. 1-gen-1992 DANIELE, VitoGILLI, MARCOZICH, Riccardo -
On stability of cellular neural networks with delay / Civalleri, P. P.; Gilli, Marco; Pandolfi, Luciano. - In: IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I. FUNDAMENTAL THEORY AND APPLICATIONS. - ISSN 1057-7122. - 40:(1993), pp. 157-165. 1-gen-1993 GILLI, MARCOPANDOLFI, LUCIANO + -
Low frequency characterization of planar wire-mesh shields loaded by general bianisotropic stratified structures / Daniele, Vito; Gilli, Marco; Zich, Riccardo. - STAMPA. - (1993), pp. 605-610. (Intervento presentato al convegno Tenth International Zurich Symposium and Technical Exhibition on Electromagnetic Compatibility tenutosi a Zurich (Switzerland) nel May, 1993). 1-gen-1993 DANIELE, VitoGILLI, MARCOZICH, Riccardo -
Numerical techniques for the electromagnetic analysis of planar layered non-linear structures / Ghione, Giovanni; Gilli, Marco; Graglia, Roberto. - STAMPA. - (1993), pp. 395-398. (Intervento presentato al convegno Joint Third International Conference on Electromagneticsin Aerospace Applications and Seventh European Electromagnetic Structures Conference tenutosi a Torino (Italy) nel September, 1993). 1-gen-1993 GHIONE, GIOVANNIGILLI, MARCOGRAGLIA, Roberto -
Fast steady-state algorithms for the analysis of non-linear distributed electromagnetic structures excited by periodic waveforms / Ghione, Giovanni; Gilli, Marco; Graglia, Roberto. - STAMPA. - (1993), pp. 612-613. (Intervento presentato al convegno Ninth Compumag Conference on the Computation of Electromagnetic Fields tenutosi a Miami (Florida) - USA nel November, 1993). 1-gen-1993 GHIONE, GIOVANNIGILLI, MARCOGRAGLIA, Roberto -
On the dynamic behavior of two-cell cellular neural networks / Civalleri, P. P.; Gilli, Marco. - In: INTERNATIONAL JOURNAL OF CIRCUIT THEORY AND APPLICATIONS. - ISSN 0098-9886. - 21:(1993), pp. 451-471. 1-gen-1993 GILLI, MARCO + -
On dynamic behavior of cellular neural networks with delay / Civalleri, Pier Paolo; Gilli, Marco. - STAMPA. - (1993), pp. 687-692. (Intervento presentato al convegno XI European Conference on Circuit Theory and Design tenutosi a Davos (Switzerland) nel September, 1993). 1-gen-1993 CIVALLERI, Pier PaoloGILLI, MARCO -
On the effects of the capacitor in the time delayed Chua's circuit / Biey, Mario; Bonani, Fabrizio; Gilli, Marco; Maio, Ivano Adolfo. - (1993), pp. 803-806. (Intervento presentato al convegno International Symposium on Nonlinear Theory and its Applications tenutosi a Hawaii (USA) nel 5-10 December 1993). 1-gen-1993 BIEY, MARIOBONANI, FabrizioGILLI, MARCOMAIO, Ivano Adolfo -
Strange attractors in delayed cellular neural networks / Gilli, Marco. - In: IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I. FUNDAMENTAL THEORY AND APPLICATIONS. - ISSN 1057-7122. - 40:(1993), pp. 849-853. 1-gen-1993 GILLI, MARCO -
A Lyapunov function approach to the study of the stability of cellular neural networks / Gilli, Marco. - STAMPA. - (1993), pp. 2584-2587. (Intervento presentato al convegno IEEE International Symposium on Circuits and Systems tenutosi a Chicago (USA) nel May, 1993). 1-gen-1993 GILLI, MARCO -
Fast steady-state algorithms for the analysis of nonlinear dispersive, distributed planar electromagnetic structures, excited by periodic waveforms / Ghione, Giovanni; Gilli, Marco; Graglia, Roberto. - In: IEEE TRANSACTIONS ON MAGNETICS. - ISSN 0018-9464. - 30:(1994), pp. 3172-3175. 1-gen-1994 GHIONE, GIOVANNIGILLI, MARCOGRAGLIA, Roberto -
Mostrati risultati da 1 a 20 di 220
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