Computer Science

Filter
Paper

Search results

  • 2014

    Using program transformation, annotation, and reflection to certify a java type resolution function

    Winter, V. L., Reinke, C. & Guerrero, J., 2014, p. 137-145. 9 p.

    Research output: Contribution to conference › Paper › peer-review

    Open Access
  • 2013

    Mechanical design and computational aspects for locomotion and reconfiguration of the ModRED Modular Robot

    Dasgupta, P., Baca, J., Dutta, A., Hossain, S. M. G. & Nelson, C., 2013, p. 1359-1360. 2 p.

    Research output: Contribution to conference › Paper › peer-review

    4 Scopus citations
  • 2012

    Dynamic reconfiguration in modular robots using graph partitioning-based coalitions

    Dasgupta, P., Ufimtsev, V., Nelson, C. & Hossain, S. G. M., 2012, p. 488-495. 8 p.

    Research output: Contribution to conference › Paper › peer-review

    11 Scopus citations
  • 2011

    Partially observable stochastic game-based multi-agent prediction markets

    Jumadinova, J. & Dasgupta, P., 2011, p. 1149-1150. 2 p.

    Research output: Contribution to conference › Paper › peer-review

    2 Scopus citations
  • 2009

    L2C2: Logic-based LSC consistency checking

    Guo, H. F., Zheng, W. & Subramaniam, M., 2009.

    Research output: Contribution to conference › Paper › peer-review

  • 2008

    Computer assisted security assessment through fact proposition space

    Hospodka, P., Zhu, Q., Sousan, W. & Nickell, R., 2008, p. 195-202. 8 p.

    Research output: Contribution to conference › Paper › peer-review

  • Pattern matching information flow using GADT

    Lindahl, E. & Winter, V., 2008, p. 255-262. 8 p.

    Research output: Contribution to conference › Paper › peer-review

  • Tailored information delivery services for open source intelligence

    Sousan, W., Nickell, R., Zhu, Q. & Hospodka, P., 2008, p. 345-352. 8 p.

    Research output: Contribution to conference › Paper › peer-review

  • 2005

    Adaptive sharing of large resources in P2P networks

    Dasgupta, P., 2005, p. 973-979. 7 p.

    Research output: Contribution to conference › Paper › peer-review

  • Reciprocal resource sharing in P2P environments

    Banerjee, D., Saha, S., Sen, S. & Dasgupta, P., 2005, p. 989-995. 7 p.

    Research output: Contribution to conference › Paper › peer-review

    12 Scopus citations
  • 2004

    Robust background image generation and vehicle 3D detection and tracking

    Zhang, Y., Shi, P., Jones, E. G. & Zhu, Q., 2004, p. 12-16. 5 p.

    Research output: Contribution to conference › Paper › peer-review

    10 Scopus citations
  • 2002

    Agent based peer-to-peer systems

    Dasgupta, P., 2002, p. I663-I666.

    Research output: Contribution to conference › Paper › peer-review

    1 Scopus citations
  • 1999

    Building an accretive authentication system using a RBF network

    Zhu, Q. & Liu, L., 1999, p. 2876-2881. 6 p.

    Research output: Contribution to conference › Paper › peer-review

  • 1998

    dbAgent: An Intelligent Web Agent for Data Base Mining

    Giri, S. & Zhu, Q., 1998, p. 466-470. 5 p.

    Research output: Contribution to conference › Paper › peer-review

    1 Scopus citations
  • 1997

    Proving refinement transformations for deriving high-assurance software

    Winter, V. L. & Boyle, J. M., 1997, p. 68-77. 10 p.

    Research output: Contribution to conference › Paper › peer-review

    4 Scopus citations

  • Software on the edge

    Winter, V. L., 1997, p. 57-58. 2 p.

    Research output: Contribution to conference › Paper › peer-review