Robots with Lights: Overcoming Obstructed Visibility Without Colliding G. A. Di Luna1 , P. Flocchini2 , S. Gan Chaudhuri3 , N. Santoro4 , and G. Viglietta2 1 Dipartimento di Ingegneria Informatica, Automatica e Gestiona

Source URL: giovanniviglietta.com

Progetto «Non cadere nella rete» finanziato con fondi della Regione Lazio nell’ambito del programma regionale Utenti e consumatoriLA SETTIMANA INFORMATICA numero unico realizzato da innotec soluzioni informat

Source URL: www.legaconsumatorilazio.it

Constraints among Commitments: Regulative Specification of Interaction Protocols Matteo Baldoni, Cristina Baroglio, and Elisa Marengo Dipartimento di Informatica — Universit`a degli Studi di Torino c.so Svizzera 185, I

Source URL: ceur-ws.org

Coalgebraic Tools for Bisimilarity and Decorated Trace Semantics een wetenschappelijke proeve op het gebied van de Natuurwetenschappen, Wiskunde en Informatica

Source URL: www.icetcs.ru.is

Estatuto da Associação Brasileira de Empresas de Soluções de Telecomunicações e Informática Índice

Source URL: www.abeprest.org.br

Alma Mater Studiorum - Universit`a di Bologna DOTTORATO DI RICERCA IN INFORMATICA Ciclo: XXIV Settore Concorsuale di afferenza: 01/B1 Settore Scientifico disciplinare: INF01

Source URL: www.programmazionelogica.it

A Calculus for Conjecture Synthesis Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit` a degli Studi di Verona ??

Source URL: dream.inf.ed.ac.uk

Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit`

Source URL: dream.inf.ed.ac.uk

• Automated theorem proving
• Theoretical computer science
• Mathematics
• Heuristics
• Rippling
• Mathematical logic
• Lemma
• Unification

Alma Mater Studiorum — Università di Bologna Dottorato di Ricerca in Informatica, Ciclo XXVI Settore Concorsuale di afferenza: 01/B1 Settore Scientifico disciplinare: INF/01

Source URL: www.pps.univ-paris-diderot.fr

Here you can’t: context-aware security? Chiara Bodei, Pierpaolo Degano, Letterio Galletta, and Francesco Salvatori Dipartimento di Informatica, Universit` a di Pisa {chiara,degano,galletta}@di.unipi.it,francesco.salvat

Source URL: imm.dtu.dk