no help available
no help available
BibSonomy
user- tag
- user
- group
- author
- concept
- BibTeX key
- search:all
- search:alessandropinto
- :: alessandropinto
- ::
The blue social bookmark and publication sharing system.
actions for all displayed bookmarks:
export:
sort:
- criterion: date, title
- order: ascending, descending
others:
- display: all, bookmarks only
- bookmarks per page: 5 10 20 50 100
bookmarks
actions for all displayed publications:
export:
sort:
- criterion: date, title
- order: ascending, descending
- advanced...
others:
- display: all, publications only
- publications per page: 5 10 20 50 100
publications (27)
- discussion
- concepts
- similar users more...
- tags
- based
- intelligence
- language
- design
- guarantee
- time
- artificial
- planning
- assume
- possibility
- process
- contract
- model
- networks
- syncronous
- agent
- systems
- pddl
- theories
- artification
- plannig
- hoare
- triggered
- implementation
- platform
- validation
- verification
- calculus
- intelligent
- checking
- interface
- programming
- complexity
- kahn
- proof
- computational
- ltta
- real
- methodology
- sampling
- dataflow
- signal
- multiagent
- standardization
- driven
- myown
- symbolic
- effort
- synchronous
- LTL
- No matching items.
- Tim Menzies, and Charles Pecheur. Advances in Computers (2005)Tim Menzies, and Charles Pecheur. Advances in Computers (2005)a year and a month ago3
- Christos H. Papadimitriou. Addison-Wesley, (1994)Christos H. Papadimitriou. Addison-Wesley, (1994)a year and 3 months ago7
- Laurent Garcia, and Régis Sabbadin. Artif. Intell. 172(8-9):1018-1044 (2008)Laurent Garcia, and Régis Sabbadin. Artif. Intell. 172(8-9):1018-1044 (2008)a year and 4 months ago2
- D. Dubois, H. Fargier, and H. Prade. Applied Intelligence (1996)D. Dubois, H. Fargier, and H. Prade. Applied Intelligence (1996)a year and 4 months ago3
- Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Dirk Seifert, and Thomas Santen. EMSOFT, page 39-48. ACM, (2010)Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Dirk Seifert, and Thomas Santen. EMSOFT, page 39-48. ACM, (2010)a year and 5 months ago2
- Diego Calvanese, Giuseppe De Giacomo, and Moshe Y. Vardi. KR, page 593-602. Morgan Kaufmann, (2002)Diego Calvanese, Giuseppe De Giacomo, and Moshe Y. Vardi. KR, page 593-602. Morgan Kaufmann, (2002)a year and 5 months ago2
- Maria Fox, and Derek Long. CoRR (2011)Maria Fox, and Derek Long. CoRR (2011)a year and 5 months ago2
- Alessandro Cimatti, Marco Pistore, Marco Roveri, and Paolo Traverso. Artif. Intell. 147(1-2):35-84 (2003)Alessandro Cimatti, Marco Pistore, Marco Roveri, and Paolo Traverso. Artif. Intell. 147(1-2):35-84 (2003)a year and 5 months ago2
- Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, and Christos Sofronis. FMCO, volume 5382 of Lecture Notes in Computer Science, page 200-225. Springer, (2007)Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, and Christos Sofronis. FMCO, volume 5382 of Lecture Notes in Computer Science, page 200-225. Springer, (2007)a year and 5 months ago2
- Luca de Alfaro, and Thomas A. Henzinger. EMSOFT, volume 2211 of Lecture Notes in Computer Science, page 148-165. Springer, (2001)Luca de Alfaro, and Thomas A. Henzinger. EMSOFT, volume 2211 of Lecture Notes in Computer Science, page 148-165. Springer, (2001)a year and 5 months ago2
- Edsger Wybe Dijkstra. (April 1970)EWD249 -- circulated privately -- http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD249.PDF -- geprüft: 12.~August~2002.Edsger Wybe Dijkstra. (April 1970)EWD249 -- circulated privately -- http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD249.PDF -- geprüft: 12.~August~2002.a year and 5 months ago3
- Thomas A. Henzinger, Benjamin Horowitz, and Christoph M. Kirsch. EMSOFT, volume 2211 of Lecture Notes in Computer Science, page 166-184. Springer, (2001)Thomas A. Henzinger, Benjamin Horowitz, and Christoph M. Kirsch. EMSOFT, volume 2211 of Lecture Notes in Computer Science, page 166-184. Springer, (2001)a year and 5 months ago2
- Edward A. Lee, and Thomas M. Parks. Proceedings of the IEEE 83(5):773--801 (1995)Edward A. Lee, and Thomas M. Parks. Proceedings of the IEEE 83(5):773--801 (1995)a year and 5 months ago6
- Gilles Kahn. IFIP Congress, page 471-475. (1974)Gilles Kahn. IFIP Congress, page 471-475. (1974)a year and 5 months ago3
- Eugene Stark. Foundations of Software Technology and Theoretical Computer Science, volume 206 of Lecture Notes in Computer Science, Springer Berlin / Heidelberg, (1985)Eugene Stark. Foundations of Software Technology and Theoretical Computer Science, volume 206 of Lecture Notes in Computer Science, Springer Berlin / Heidelberg, (1985)a year and 5 months ago3
- Charles Antony Richard Hoare. Comm.~ACM 12(10):576--580, 583 (October 1969)Charles Antony Richard Hoare. Comm.~ACM 12(10):576--580, 583 (October 1969)a year and 5 months ago9
- Adam Cheyer, and David L. Martin. Autonomous Agents and Multi-Agent Systems 4(1/2):143-148 (2001)Adam Cheyer, and David L. Martin. Autonomous Agents and Multi-Agent Systems 4(1/2):143-148 (2001)a year and 5 months ago4