Home > Research > Publications & Outputs

Research

Publications and Research Outputs

« Simple search

Reset

to
86801 - 86810 out of 98,786Page size: 10
  1. Published

    The influence of dung amendments on dissolved organic matter in grassland soil leachates: Preliminary results from a lysimeter study

    Bol, R., Ostle, N. J., Friedrich, C., Amelung, W. & Sanders, I., 1/01/1999, In: Isotopes in Environmental and Health Studies. 35, 1-2, p. 97-109 13 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  2. Published

    Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction

    Bokor, P., Serafini, M., Suri, N. & Veith, H., 2009, Distributed Computing: 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings. Springer, p. 289-290 2 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  3. Published

    Sustaining property verification of synchronous dependable protocols over implementation

    Bokor, P., Serafini, M., Sisak, Á., Pataricza, A. & Suri, N., 14/11/2007, 10th IEEE High Assurance Systems Engineering Symposium (HASE'07). IEEE, p. 169-178 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  4. Published

    Efficient model checking of fault-tolerant distributed protocols

    Bokor, P., Kinder, J., Serafini, M. & Suri, N., 27/06/2011, 2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN). IEEE, p. 73-84 12 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  5. Published

    On efficient models for model checking message-passing distributed protocols

    Bokor, P., Serafini, M. & Suri, N., 2010, Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings. Springer, Vol. 6117 LNCS. p. 216-223 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  6. Published

    Role-based symmetry reduction of fault-tolerant distributed protocols with language support

    Bokor, P., Serafini, M., Suri, N. & Veith, H., 2009, Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings. Springer, Vol. 5885 LNCS. p. 147-166 20 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  7. Published

    Supporting domain-specific state space reductions through local partial-order reduction

    Bokor, P., Kinder, J., Serafini, M. & Suri, N., 6/11/2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011). IEEE, p. 113-122 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  8. Published

    Output-sensitive complexity of multiobjective combinatorial optimization

    Bökler, F., Ehrgott, M., Morris, C. & Mutzel, P., 1/01/2017, In: Journal of Multi-Criteria Decision Analysis. 24, 1-2, p. 25-36 12 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  9. Published

    Child rights, culture and exploitation: learning from UK experiences of child trafficking

    Bokhari, F. & Palmer (nee Kelly), E., 2010, Child slavery now. Craig, G. (ed.). Bristol: Policy Press

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  10. Published

    Cultural Entrepreneurship In Legitimizing Social Innovation: Cultural Reconfiguration Of Sex-Tech

    Bojovic, N., Garud, R. & Cheded, M., 1/08/2022, In: Academy of Management Proceedings. 2022, 1

    Research output: Contribution to Journal/Magazine › Meeting abstract › peer-review

Previous 1...8677 8678 8679 8680 8681 8682 8683 8684 ...9879 Next

Back to top