The SCEAS System
Navigation Menu

Search the dblp DataBase


Daniel Yankelevich: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Dan Hirsch, Sebastián Uchitel, Daniel Yankelevich
    Towards a Periodic Table of Connectors. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1999, pp:418- [Conf]
  2. Paola Inverardi, Alexander L. Wolf, Daniel Yankelevich
    Checking Assumptions in Component Dynamics as the Architectural Level. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1997, pp:46-63 [Conf]
  3. Ugo Montanari, Daniel Yankelevich
    An Algebraic View of Interleaving and Distributed Operational Semantics for CCS. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1989, pp:5-20 [Conf]
  4. Sebastián Uchitel, Daniel Yankelevich
    Enhancing Architectural Mismatch Detection with Assumptions. [Citation Graph (0, 0)][DBLP]
    ECBS, 2000, pp:138-0 [Conf]
  5. Paolo Ciancarini, Keld K. Jensen, Daniel Yankelevich
    On the Operational Sematics of a Coordination Language. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshop, 1994, pp:77-106 [Conf]
  6. Ugo Montanari, Marco Pistore, Daniel Yankelevich
    Efficient Minimization up to Location Equivalence. [Citation Graph (0, 0)][DBLP]
    ESOP, 1996, pp:265-279 [Conf]
  7. Paola Inverardi, Corrado Priami, Daniel Yankelevich
    Extended Transition Systems for Parametric Bisimulation. [Citation Graph (0, 0)][DBLP]
    ICALP, 1993, pp:558-569 [Conf]
  8. Ugo Montanari, Daniel Yankelevich
    A Parametric Approach to Localities. [Citation Graph (0, 0)][DBLP]
    ICALP, 1992, pp:617-628 [Conf]
  9. Monica Bobrowski, Martina Marré, Daniel Yankelevich
    A Homogeneous Framework to Measure Data Quality. [Citation Graph (0, 0)][DBLP]
    IQ, 1999, pp:115-124 [Conf]
  10. Sabrina Vazquez Soler, Daniel Yankelevich
    Quality Mining: A Data Mining Based Method for Data Quality Evaluation. [Citation Graph (0, 0)][DBLP]
    IQ, 2001, pp:162-172 [Conf]
  11. Corrado Priami, Daniel Yankelevich
    Read-Write Causality. [Citation Graph (0, 0)][DBLP]
    MFCS, 1994, pp:567-576 [Conf]
  12. Rance Cleaveland, Daniel Yankelevich
    An Operational Framework for Value-Passing Processes. [Citation Graph (0, 0)][DBLP]
    POPL, 1994, pp:326-338 [Conf]
  13. Rance Cleaveland, S. Purushothaman Iyer, Daniel Yankelevich
    Optimality in Abstractions of Model Checking [Citation Graph (0, 0)][DBLP]
    SAS, 1995, pp:51-63 [Conf]
  14. Paola Inverardi, Balachander Krishnamurthy, Daniel Yankelevich
    Yeast: A Case Study for a Practical Use of Formal Methods. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1993, pp:105-120 [Conf]
  15. Paola Inverardi, Corrado Priami, Daniel Yankelevich
    Automatizing Parametric Reasoning on Distributed Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1994, v:6, n:6, pp:676-695 [Journal]
  16. Ugo Montanari, Daniel Yankelevich
    Combining CCS and Petri Nets Via Structural Axioms. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1994, v:20, n:1/2/3, pp:193-229 [Journal]
  17. Nicoletta De Francesco, Ugo Montanari, Daniel Yankelevich
    Axiomatizing CCS, Nets and Processes. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1993, v:21, n:3, pp:225-261 [Journal]
  18. Ugo Montanari, Daniel Yankelevich
    Location Equivalence in Parametric Setting. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:149, n:2, pp:299-332 [Journal]
  19. Paola Inverardi, Alexander L. Wolf, Daniel Yankelevich
    Static checking of system behaviors using derived component assumptions. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2000, v:9, n:3, pp:239-272 [Journal]

  20. Abstraction for a Career in Industry: A Praise for Ugo's 65 Years. [Citation Graph (, )][DBLP]

Search in 0.045secs, Finished in 0.046secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002