 | 2009 |
| 23 |  | Vittorio Cortellessa,
Sebastián Uchitel,
Daniel Yankelevich:
Guest editorial.
Journal of Systems and Software 82(1): 1-2 (2009) |
| 2008 |
| 22 |  | Daniel Yankelevich:
Abstraction for a Career in Industry: A Praise for Ugo's 65 Years.
Concurrency, Graphs and Models 2008: 806-808 |
| 2007 |
| 21 |  | Vittorio Cortellessa,
Sebastián Uchitel,
Daniel Yankelevich:
Proceedings of the 6th International Workshop on Software and Performance, WOSP 2007, Buenes Aires, Argentina, February 5-8, 2007
ACM 2007 |
| 20 |  | V. Cotik,
P. Lujan,
D. Scotton,
Daniel Yankelevich:
A Swiss army knife approach to DQ assessments.
IJIQ 1(2): 145-161 (2007) |
| 2001 |
| 19 |  | Sabrina Vazquez Soler,
Daniel Yankelevich:
Quality Mining: A Data Mining Based Method for Data Quality Evaluation.
IQ 2001: 162-172 |
| 2000 |
| 18 |  | Sebastián Uchitel,
Daniel Yankelevich:
Enhancing Architectural Mismatch Detection with Assumptions.
ECBS 2000: 138- |
| 17 |  | 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) |
| 1999 |
| 16 |  | Dan Hirsch,
Sebastián Uchitel,
Daniel Yankelevich:
Towards a Periodic Table of Connectors.
COORDINATION 1999: 418 |
| 15 |  | Monica Bobrowski,
Martina Marré,
Daniel Yankelevich:
A Homogeneous Framework to Measure Data Quality.
IQ 1999: 115-124 |
| 1997 |
| 14 |  | Paola Inverardi,
Alexander L. Wolf,
Daniel Yankelevich:
Checking Assumptions in Component Dynamics as the Architectural Level.
COORDINATION 1997: 46-63 |
| 1996 |
| 13 |  | Ugo Montanari,
Marco Pistore,
Daniel Yankelevich:
Efficient Minimization up to Location Equivalence.
ESOP 1996: 265-279 |
| 1995 |
| 12 |  | Rance Cleaveland,
S. Purushothaman Iyer,
Daniel Yankelevich:
Optimality in Abstractions of Model Checking
SAS 1995: 51-63 |
| 11 |  | Ugo Montanari,
Daniel Yankelevich:
Location Equivalence in Parametric Setting.
Theor. Comput. Sci. 149(2): 299-332 (1995) |
| 1994 |
| 10 |  | Paolo Ciancarini,
Keld K. Jensen,
Daniel Yankelevich:
On the Operational Sematics of a Coordination Language.
ECOOP Workshop 1994: 77-106 |
| 9 |  | Corrado Priami,
Daniel Yankelevich:
Read-Write Causality.
MFCS 1994: 567-576 |
| 8 |  | Rance Cleaveland,
Daniel Yankelevich:
An Operational Framework for Value-Passing Processes.
POPL 1994: 326-338 |
| 7 |  | Paola Inverardi,
Corrado Priami,
Daniel Yankelevich:
Automatizing Parametric Reasoning on Distributed Concurrent Systems.
Formal Asp. Comput. 6(6): 676-695 (1994) |
| 6 |  | Ugo Montanari,
Daniel Yankelevich:
Combining CCS and Petri Nets Via Structural Axioms.
Fundam. Inform. 20(1/2/3): 193-229 (1994) |
| 1993 |
| 5 |  | Paola Inverardi,
Corrado Priami,
Daniel Yankelevich:
Extended Transition Systems for Parametric Bisimulation.
ICALP 1993: 558-569 |
| 4 |  | Paola Inverardi,
Balachander Krishnamurthy,
Daniel Yankelevich:
Yeast: A Case Study for a Practical Use of Formal Methods.
TAPSOFT 1993: 105-120 |
| 3 |  | Nicoletta De Francesco,
Ugo Montanari,
Daniel Yankelevich:
Axiomatizing CCS, Nets and Processes.
Sci. Comput. Program. 21(3): 225-261 (1993) |
| 1992 |
| 2 |  | Ugo Montanari,
Daniel Yankelevich:
A Parametric Approach to Localities.
ICALP 1992: 617-628 |
| 1989 |
| 1 |  | Ugo Montanari,
Daniel Yankelevich:
An Algebraic View of Interleaving and Distributed Operational Semantics for CCS.
Category Theory and Computer Science 1989: 5-20 |