Torna al livello superiore
Esporta come [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Raggruppa per: Tipologia del documento | Nessun raggruppamento
Numero di documenti: 23.

Bianco, Alessandro and Mogavero, Fabio and Murano, Aniello (2010) Graded Computation Tree Logic with Binary Coding. In: 19th EACSL Annual Conference on Computer Science Logic, CSL 2010, August 23 - 27, 2010, Brno Czech Republic.

Murano, Aniello (2010) Improved Model Checking of Hierarchical Systems. In: 11th International Conference on Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation, 17-19 Gennaio, 2010,, Madrid, Spain.

Bozzelli, Laura and Murano, Aniello and Peron, Adriano (2010) Pushdown Module Checking. [Pubblicazione in rivista scientifica]

Mogavero, Fabio and Murano, Aniello (2010) Relentful Strategic Reasoning in Alternating-Time Temporal Logic. In: 16th International Conference on Logic for Programming Artificial Intelligence and Reasoning, LPAR-16 2010, April 25 - May 1, 2010, Dakar, Senegal.

Faella, Marco and Murano, Aniello (2009) Balanced Paths in Colored Graph. In: Mathematical Foundations of Computer Science, August 24-28, 2009, Novy Smokovec, High Tatras, Slovakia.

Mogavero, Fabio and Murano, Aniello (2009) Branching-Time Temporal Logics with Minimal Model Quantifiers. In: 13th International Conference on Developments in Language Theory (DLT 2009), June 30 - July 3, 2009, Stuttgart, Germany.

Bianco, Alessandro and Mogavero, Fabio and Murano, Aniello (2009) Graded Computation Tree Logic. In: TWENTY-FOURTH ANNUAL IEEE SYMPOSIUM ON LOGIC in COMPUTER SCIENCE (LICS 2009), 11-14 August 2009, Los Angeles, California.

D'Aniello, Biagio and Cuomo, Salvatore and Murano, Aniello (2009) The "INNOVAMBIENTE" Project: An Interdisciplinary Approach Integrating Natural Science, Mathematics and Computer Science. In: Ninth IEEE International Conference on Advanced Learning Technologies (ICALT 2009), July 14-18, 2009, Riga, Latvia.

Murano, Aniello and Cuomo, Salvatore and D'Aniello, Biagio (2009) An Interdisciplinary Project Integrating Natural Science, Mathematics and Computer Science. [Pubblicazione in rivista scientifica]

Cuomo, Salvatore and D'Aniello, Biagio and Murano, Aniello (2009) An Interdisciplinary Science Learning Envirnoment. In: V International Conference on Multimedia and Information and Communication Technologies in Education, 22-24 April 2009, Lisbon, Portugal.

Cuomo, Salvatore and Murano, Aniello and D'Aniello, Biagio (2009) An Interdisciplinary Science Learning Environment. In: 5th International Conference on Multimedia and ICT in Education, m-ICTE 2009, April 22-24, Lisbon (Portugal),.

Murano, Aniello (2009) A Technological Infrastructure Design for a Pediatric Oncology Network. In: 2nd International Conference on PErvsive Technologies Related to Assistive Environments (PETRA'09), June 09 - 13, 2009., Corfu, Greece.

Bonatti, Piero Andrea and Murano, Aniello (2008) The Complexity of Enrichedμ-Calculi. [Pubblicazione in rivista scientifica]

Murano, Aniello (2008) Enriched \mu-calculi Module Checking. [Pubblicazione in rivista scientifica]

Murano, Aniello (2008) Program Complexity in Hierarchical Module Checking. In: 15th International Conference on Logic for Programming Artificial Intelligence and Reasoning , (LPAR'08), 22-27 Novembre, 2008., Doha, Qatar.

Murano, Aniello (2008) The Pushdown Module Checking Saga. In: 1th Annual Workshop of the ESF Networking Programme on Games for Design and Verification, (GAMES'08), 8-11 Settembre, 2008, Warsaw, Poland.

Murano, Aniello (2008) \mu-calculus Pushdown Module Checking with Imperfect State Information. In: Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008, 08-10 Settembre, 2008., Milano, Italy.

Carotenuto, Dario and Murano, Aniello and Peron, Adriano (2007) 2-Visibly Pushdown automata. In: 11th International Conference on Development in Language Theory (DLT'07), 3-6 luglio 2007., Turku, Finland.

Murano, Aniello (2007) Enriched \mu-calculus Pushdown Module Checking. In: 14th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'07), 15-19 Ottobre, 2007., Yerevan, Armenia.

Murano, Aniello (2007) Pushdown Module Checking with Imperfect Information. In: Proceeding of the 18th International Conference on Concurrency Theory, September 3-8, 2007., Lisbon - Portugal.

Bonatti, Piero Andrea and Murano, Aniello (2006) The Complexity of Enriched ?-Calculi. In: International C33rd International Colloquium on Automata, Languages and Programming (ICALP'06), July 10-14, 2006., Venice - Italy.

Murano, Aniello (2006) Pushdown Module checking for Branching-time Temporal Logics. In: Schloss Dagstuhl Seminar 06411: Specification, Verification and Test of Open Systems, Ottobre 8 - 13, 2006., Dagstuhl - Germany.

Murano, Aniello (2006) Typeness for w-Regular Automata. [Pubblicazione in rivista scientifica]

Questa lista è stata generata il Wed Mar 27 22:34:10 2024 CET.