Mostrando 631 - 645
de 708 publicaciones encontradas
-
Non-sequential Behaviour of Dynamic Nets
Lecture notes in computer science4 citas Ver Artículo -
Translating Orc Features into Petri Nets and the Join Calculus
Lecture notes in computer science13 citas Ver Artículo -
Event Structure Semantics for Nominal Calculi
Lecture notes in computer science28 citas Ver Artículo -
Nested Commits For Mobile Calculi: Extending Join
Kluwer Academic Publishers eBooks53 citas Ver Artículo -
14 citas Ver Artículo
-
On clique-perfect and k-perfect graphs
Americanae (AECID Library)29 citas Ver Artículo -
Exploring the complexity boundary between coloring and list-coloring
Electronic Notes in Discrete Mathematics11 citas Ver Artículo -
NP-completeness results for edge modification problems
Discrete Applied Mathematics87 citas Ver Artículo -
Randomness and halting probabilities
Journal of Symbolic Logic21 citas Ver Artículo -
SRI's 2004 NIST Speaker Recognition Evaluation System
2006 Luciana Ferrer Sachin Kajarekar, Luciana Ferrer, E. Shriberg, Kemal Sönmez, Andreas Stolcke, Anand Venkataraman, Jing Zheng50 citas Ver Artículo -
From Theory to Practice in Transactional Composition of Web Services
01 Ene 2005 Hernan Claudio Melgratti Roberto Bruni, Gian-Luigi Ferrari, Hernán Melgratti, Ugo Montanari, Daniele Strollo, Emilio TuostoLecture notes in computer science30 citas Ver Artículo -
Comparing Two Approaches to Compensable Flow Composition
01 Ene 2005 Hernan Claudio Melgratti Roberto Bruni, Michael Butler, Carla Ferreira, Tony Hoare, Hernán Melgratti, Ugo MontanariLecture notes in computer science60 citas Ver Artículo -
Theoretical foundations for compensations in flow composition languages
ACM SIGPLAN Notices25 citas Ver Artículo -
Praesto Protezione Arte Evacuazione Stoccaggio (innovativo ed originale progetto per la salvaguardia di beni artistici)
Florence Research (University of Florence)0 citas Ver Artículo