University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Items where Author is "Krause, P"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 12.

Article

Moschoyiannis, S, Razavi, A and Krause, P (2010) Transaction Scripts: Making Implicit Scenarios Explicit Electronic Notes in Theoretical Computer Science, 238 (6). 63 - 79. ISSN 1571-0661

Razavi, A, Moschoyiannis, S and Krause, P (2009) An open digital environment to support business ecosystems Peer-to-Peer Networking and Applications, 2 (4). 367 - 397. ISSN 1936-6450

Bryant, D and Krause, P (2008) A review of current defeasible reasoning implementations KNOWLEDGE ENGINEERING REVIEW, 23 (3). 227 - 260. ISSN 0269-8889

Moschoyiannis, S, Razavi, AR, Zheng, Y and Krause, P (2008) Long-running transactions: Semantics, schemas, implementation 2008 2nd IEEE International Conference on Digital Ecosystems and Technologies, IEEE-DEST 2008. 20 - 27.

Conference or Workshop Item

Moschoyiannis, S, Marinos, A and Krause, P (2010) Generating SQL queries from SBVR rules In: Rule ML 2010: The 4th International Web Rule Symposium: Research Based and Industry Focused, 2010-10-21 - 2010-10-23, Washington, DC, USA.

Marinos, A, Razavi, A, Moschoyiannis, S, Krause, P, Damiani, E, Zhang, J and Chang, R (2009) RETRO: A Consistent and Recoverable RESTful Transaction Model In: IEEE International Conference on Web Services (ICWS 2009), 2009-07-06 - 2009-07-10, Los Angeles, CA.

Moschoyiannis, S, Krause, P, Bryant, D and McBurney, P (2009) Verifiable Protocol Design for Agent Argumentation Dialogues In: 3rd IEEE International Conference on Digital Ecosystems and Technologies, 2009-06-01 - 2009-06-03, Istanbul, TURKEY.

Moschoyiannis, S, Razavi, AR, Zheng, YY and Krause, P (2008) Long-running Transactions: semantics, schemas, implementation In: IEEE DEST 2008, 2008-02-26 - 2008-02-29, Phitsanuloke, Thailand.

Zheng, Y, Zhou, J, Krause, P, Muller, P, Liggesmeyer, P and Maehle, E (2007) Analysis of BPEL data dependencies In: 33rd EUROMICRO Conference on Software Engineering and Advanced Applications, 2007-08-27 - 2007-08-31, Lubeck, GERMANY.

Zheng, Y, Zhou, J, Krause, P and Latifi, S (2007) A model checking based test case generation framework for web services In: 4th International Conference on Information Technology - New Generations, 2007-04-02 - 2007-04-04, Las Vegas, NV.

Zheng, Y, Krause, P and Mei, H (2006) Asynchronous semantics and anti-patterns for interacting web services In: 6th International Conference on Quality Software, 2006-10-27 - 2006-10-28, Beijing, PEOPLES R CHINA.

Bryant, D, Krause, P, Moschoyiannis, S, Fisher, M, VanDerHoek, W, Konev, B and Lisitsa, A (2006) A tool to facilitate agent deliberation In: 10th European Conference on Logics in Artificial Intelligence, 2006-09-13 - 2006-09-15, Liverpool, ENGLAND.

This list was generated on Sun Apr 20 09:22:39 2014 IST.

Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800