Mostrando 316 - 330
de 708 publicaciones encontradas
-
Session details: SOAP - service-oriented architecture and programming track
03 Abr 2017 Hernan Claudio Melgratti Massimo Bartoletti, Hernán Melgratti, Maurice H. ter Beek, Luı́s Cruz-Filipe0 citas Ver Artículo -
Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics Berlin, Germany, 4th September 2017 : Preface
01 Ene 2017 Hernan Claudio Melgratti Mohammad Reza Mousavi, Rob van Glabbeek, Clemens Dubslaff, Christel Baier, Roberto Bruni, Hernán Melgratti, Ugo Montana…Electronic Proceedings in Theoretical Computer Science0 citas Ver Artículo -
Proceedings of the 5th International FME Workshop on Formal Methods in Software Engineering
International Conference on Software Engineering2 citas Ver Artículo -
A Denotational View of Replicated Data Types
Lecture notes in computer science3 citas Ver Artículo -
Chaperone Contracts for Higher-Order Sessions
LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Científicas)0 citas Ver Artículo -
Creation of an Annotated Corpus of Spanish Radiology Reports
30 Oct 2017 Viviana Erica Cotik Viviana Cotik, Darío Filippo, Roland Roller, Hans Uszkoreit, Feiyu XuarXiv (Cornell University)1 citas Ver Artículo -
Annotation of Entities and Relations in Spanish Radiology Reports
10 Nov 2017 Viviana Erica Cotik Departamento de Computación, FCEyN, UBA, Argentina, Viviana Cotik, Darío Filippo, Roland Roller, Language Technology La…16 citas Ver Artículo -
Nonsignaling Deterministic Models for Nonlocal Correlations have to be Uncomputable
2017 Ariel Martín Bendersky Ariel Bendersky, Gabriel Senno, Gonzalo de la Torre, Santiago Figueira, Antonio AcínPhysical Review Letters19 citas Ver Artículo -
LAGOS 2017 – IX Latin and American Algorithms, Graphs, and Optimization Symposium
2017 Flavia Bonomo Frédérique Bassino, Flavia Bonomo, Lionel Pournin, Mario Valencia-Pabon, Juan C. VeraElectronic Notes in Discrete Mathematics1 citas Ver Artículo -
k -tuple colorings of the Cartesian product of graphs
Discrete Applied Mathematics2 citas Ver Artículo -
Clique coloring B 1 -EPG graphs
Discrete Mathematics14 citas Ver Artículo -
Domination parameters with number 2 : Interrelations and algorithmic consequences
Discrete Applied Mathematics27 citas Ver Artículo -
Three-Coloring and List Three-Coloring of Graphs Without Induced Paths on Seven Vertices
2017 Flavia Bonomo Flavia Bonomo, Maria Chudnovsky, Peter Maceli, Oliver Schaudt, Maya Stein, Mingxian ZhongCOMBINATORICA84 citas Ver Artículo -
On the construction of absolutely normal numbers
2017 Veronica Andrea Becher Christoph Aistleitner, Verónica Becher, Adrian-Maria Scheerer, Theodore A. SlamanActa Arithmetica0 citas Ver Artículo