|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Hugo A. López, Jorge A. Pérez |
Time and Exceptional Behavior in Multiparty Structured Interactions.  |
WS-FM  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Carbone, Davide Grohmann, Thomas T. Hildebrandt, Hugo A. López |
A Logic for Choreographies |
PLACES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo A. López |
Models for Trustworthy Service and Process Oriented Systems. |
ICLP (Technical Communications) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo A. López, Carlos Olarte, Jorge A. Pérez |
Towards a Unified Framework for Declarative Structured Communications |
PLACES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Hildebrandt, Hugo A. López |
Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
Security, Mobility, Type systems, Process Calculi, Concurrent Constraint Programming |
| 1 | Hugo A. López, Fabio Massacci, Nicola Zannone |
Goal-Equivalent Secure Business Process Re-engineering. |
ICSOC Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo A. López, Catuscia Palamidessi, Jorge Andrés Pérez, Camilo Rueda, Frank D. Valencia |
A Declarative Framework for Security: Secure Concurrent Constraint Programming. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")