Daniel Yankelevich

28 papers A* 3A 1B 2C 2Journal 8Unranked 10

Year	Rank	Type	Title / Venue / Authors
2017	—	`conf`	Keynote: You Don't Need to Be Rich to Do Research, You Don't Need to Be Google to Rule the World. SER&IP@ICSE Daniel Yankelevich
2016	J	`jnl`	Un caso de big data punta a punta: análisis de datos de transporte y su uso en el negocio. CoRR Camilo Melani, Juan V. Echagüe, Joaquín Torré Zaffaroni, Daniel Yankelevich
2009	J	`jnl`	Guest editorial. J. Syst. Softw. Vittorio Cortellessa, Sebastián Uchitel, Daniel Yankelevich
2008	—	`conf`	Abstraction for a Career in Industry: A Praise for Ugo's 65 Years. Concurrency, Graphs and Models Daniel Yankelevich
2007	J	`jnl`	A Swiss army knife approach to DQ assessments. Int. J. Inf. Qual. Viviana Cotik, P. Lujan, D. Scotton, Daniel Yankelevich
2007	—	`ed.`	Proceedings of the 6th International Workshop on Software and Performance, WOSP 2007, Buenes Aires, Argentina, February 5-8, 2007 WOSP Vittorio Cortellessa, Sebastián Uchitel, Daniel Yankelevich
2002	—	`ch.`	A NEAT Approach for Data Quality Assessment - Industrial Experiences using a DQ Assessment Methodology. Information and Database Quality Monica Bobrowski, Martina Marré, Daniel Yankelevich
2001	—	`conf`	Quality Mining: A Data Mining Based Method for Data Quality Evaluation. IQ Sabrina Vazquez Soler, Daniel Yankelevich
2000	—	`conf`	Enhancing Architectural Mismatch Detection with Assumptions. ECBS Sebastián Uchitel, Daniel Yankelevich
2000	J	`jnl`	Static checking of system behaviors using derived component assumptions. ACM Trans. Softw. Eng. Methodol. Paola Inverardi, Alexander L. Wolf, Daniel Yankelevich
1999	—	`conf`	A Homogeneous Framework to Measure Data Quality. IQ Monica Bobrowski, Martina Marré, Daniel Yankelevich
1999	C	`conf`	Towards a Periodic Table of Connectors. COORDINATION Dan Hirsch, Sebastián Uchitel, Daniel Yankelevich
1998	—	`conf`	Modal Logic as a Design Notation. IWSSD Carlos Areces, Miguel Felder, Dan Hirsch, Daniel Yankelevich
1997	C	`conf`	Checking Assumptions in Component Dynamics as the Architectural Level. COORDINATION Paola Inverardi, Alexander L. Wolf, Daniel Yankelevich
1996	A	`conf`	Efficient Minimization up to Location Equivalence. ESOP Ugo Montanari, Marco Pistore, Daniel Yankelevich
1996	—	`conf`	Relating CHAM Descriptions of Software Architectures. IWSSD Paola Inverardi, Daniel Yankelevich
1995	J	`jnl`	Location Equivalence in Parametric Setting. Theor. Comput. Sci. Ugo Montanari, Daniel Yankelevich
1995	B	`conf`	Optimality in Abstractions of Model Checking SAS Rance Cleaveland, S. Purushothaman Iyer, Daniel Yankelevich
1994	A*	`conf`	An Operational Framework for Value-Passing Processes. POPL Rance Cleaveland, Daniel Yankelevich
1994	J	`jnl`	Automatizing Parametric Reasoning on Distributed Concurrent Systems. Formal Aspects Comput. Paola Inverardi, Corrado Priami, Daniel Yankelevich
1994	J	`jnl`	Combining CCS and Petri Nets Via Structural Axioms. Fundam. Informaticae Ugo Montanari, Daniel Yankelevich
1994	—	`conf`	On the Operational Sematics of a Coordination Language. ECOOP Workshop Paolo Ciancarini, Keld K. Jensen, Daniel Yankelevich
1994	B	`conf`	Read-Write Causality. MFCS Corrado Priami, Daniel Yankelevich
1993	J	`jnl`	Axiomatizing CCS, Nets and Processes. Sci. Comput. Program. Nicoletta De Francesco, Ugo Montanari, Daniel Yankelevich
1993	A*	`conf`	Extended Transition Systems for Parametric Bisimulation. ICALP Paola Inverardi, Corrado Priami, Daniel Yankelevich
1993	—	`conf`	Yeast: A Case Study for a Practical Use of Formal Methods. TAPSOFT Paola Inverardi, Balachander Krishnamurthy, Daniel Yankelevich
1992	A*	`conf`	A Parametric Approach to Localities. ICALP Ugo Montanari, Daniel Yankelevich
1989	—	`conf`	An Algebraic View of Interleaving and Distributed Operational Semantics for CCS. Category Theory and Computer Science Ugo Montanari, Daniel Yankelevich