|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 19 publication records. Showing 19 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Dina Q. Goldin, Farhad Arbab (eds.) |
Proceedings of the Workshop on the Foundations of Interactive Computation, FInCo@ETAPS 2007, Braga, Portugal, March 31, 2007  |
FInCo@ETAPS  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Saikat Mukherjee, Srinath Srinivasa, Satish Chandra D. |
Validating for Liveness in Hidden Adversary Systems. |
FInCo@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Dovland, Einar Broch Johnsen, Olaf Owe |
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects. |
FInCo@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Carolyn L. Talcott |
A Formal Framework for Interactive Agents. |
FInCo@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dina Q. Goldin, Farhad Arbab |
Preface. |
FInCo@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Cezara Dragoi, Gheorghe Stefanescu |
AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System. |
FInCo@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu |
Interaction in Time and Space. |
FInCo@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Roly Perera |
Programming Languages For Interactive Computing. |
FInCo@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Boella, Joris Hulstijn, Leendert W. N. van der Torre |
Interaction in Normative Multi-Agent Systems. |
FInCo@ETAPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark W. Johnson, Peter McBurney, Simon Parsons |
A Mathematical Model of Dialog. |
FInCo@ETAPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nigel G. Walker, Marc Wennink |
Interactions in Transport Networks. |
FInCo@ETAPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Wegner, Farhad Arbab, Dina Q. Goldin, Peter McBurney, Michael Luck, David Robertson |
The Role of Agent Interaction in Models of Computing: Panelist Reviews. |
FInCo@ETAPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Leo Motus, Merik Meriste, Walter Dosch |
Time-awareness and Proactivity in Models of Interactive Computation. |
FInCo@ETAPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian A. Mason, Carolyn L. Talcott |
Actors and Logical Analysis of Interactive Systems. |
FInCo@ETAPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Antônio Carlos da Rocha Costa, Graçaliz Pereira Dimuro |
Interactive Computation: Stepping Stone in the Pathway From Classical to Developmental Computation. |
FInCo@ETAPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | L. Gregory Meredith, Matthias Radestock |
A Reflective Higher-order Calculus. |
FInCo@ETAPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Dina Q. Goldin, Mirko Viroli |
Preface. |
FInCo@ETAPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David Keil, Dina Q. Goldin |
Adaptation and Evolution in Dynamic Persistent Environments. |
FInCo@ETAPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Dina Q. Goldin, Mirko Viroli (eds.) |
Proceedings of the Workshop on the Foundations of Interactive Computation, FInCo@ETAPS 2005, Edinburgh, UK, April 9, 2005 |
FInCo@ETAPS |
2005 |
DBLP BibTeX RDF |
|
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license