Daniel Yankelevich

Vittorio Cortellessa, Sebastián Uchitel, Daniel Yankelevich: Guest editorial. Journal of Systems and Software 82(1): 1-2 (2009)

Daniel Yankelevich: Abstraction for a Career in Industry: A Praise for Ugo's 65 Years. Concurrency, Graphs and Models 2008: 806-808

V. Cotik, P. Lujan, D. Scotton, Daniel Yankelevich: A Swiss army knife approach to DQ assessments. IJIQ 1(2): 145-161 (2007)

Vittorio Cortellessa, Sebastián Uchitel, Daniel Yankelevich (Eds.): Proceedings of the 6th International Workshop on Software and Performance, WOSP 2007, Buenes Aires, Argentina, February 5-8, 2007. ACM 2007, isbn 1-59593-297-6

Monica Bobrowski, Martina Marré, Daniel Yankelevich: A NEAT Approach for Data Quality Assessment - Industrial Experiences using a DQ Assessment Methodology. Information and Database Quality 2002: 135-162

Sabrina Vazquez Soler, Daniel Yankelevich: Quality Mining: A Data Mining Based Method for Data Quality Evaluation. IQ 2001: 162-172

Paola Inverardi, Alexander L. Wolf, Daniel Yankelevich: Static checking of system behaviors using derived component assumptions. ACM Trans. Softw. Eng. Methodol. 9(3): 239-272 (2000)

Sebastián Uchitel, Daniel Yankelevich: Enhancing Architectural Mismatch Detection with Assumptions. ECBS 2000: 138-

Dan Hirsch, Sebastián Uchitel, Daniel Yankelevich: Towards a Periodic Table of Connectors. COORDINATION 1999: 418

Monica Bobrowski, Martina Marré, Daniel Yankelevich: A Homogeneous Framework to Measure Data Quality. IQ 1999: 115-124

Paola Inverardi, Alexander L. Wolf, Daniel Yankelevich: Checking Assumptions in Component Dynamics as the Architectural Level. COORDINATION 1997: 46-63

Ugo Montanari, Marco Pistore, Daniel Yankelevich: Efficient Minimization up to Location Equivalence. ESOP 1996: 265-279

Ugo Montanari, Daniel Yankelevich: Location Equivalence in Parametric Setting. Theor. Comput. Sci. 149(2): 299-332 (1995)

Rance Cleaveland, S. Purushothaman Iyer, Daniel Yankelevich: Optimality in Abstractions of Model Checking. SAS 1995: 51-63

Paola Inverardi, Corrado Priami, Daniel Yankelevich: Automatizing Parametric Reasoning on Distributed Concurrent Systems. Formal Asp. Comput. 6(6): 676-695 (1994)

Ugo Montanari, Daniel Yankelevich: Combining CCS and Petri Nets Via Structural Axioms. Fundam. Inform. 20(1/2/3): 193-229 (1994)

Paolo Ciancarini, Keld K. Jensen, Daniel Yankelevich: On the Operational Sematics of a Coordination Language. ECOOP Workshop 1994: 77-106

Corrado Priami, Daniel Yankelevich: Read-Write Causality. MFCS 1994: 567-576

Rance Cleaveland, Daniel Yankelevich: An Operational Framework for Value-Passing Processes. POPL 1994: 326-338

Nicoletta De Francesco, Ugo Montanari, Daniel Yankelevich: Axiomatizing CCS, Nets and Processes. Sci. Comput. Program. 21(3): 225-261 (1993)

Paola Inverardi, Corrado Priami, Daniel Yankelevich: Extended Transition Systems for Parametric Bisimulation. ICALP 1993: 558-569

Paola Inverardi, Balachander Krishnamurthy, Daniel Yankelevich: Yeast: A Case Study for a Practical Use of Formal Methods. TAPSOFT 1993: 105-120

Ugo Montanari, Daniel Yankelevich: A Parametric Approach to Localities. ICALP 1992: 617-628

Ugo Montanari, Daniel Yankelevich: An Algebraic View of Interleaving and Distributed Operational Semantics for CCS. Category Theory and Computer Science 1989: 5-20