Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Non-commutative proof construction: A constraint-based approach., , and . Ann. Pure Appl. Logic, 142 (1-3): 212-244 (2006)User and device localization using probabilistic device log trilateration., , , , and . MLSP, page 1-6. IEEE, (2011)The Constraint-Based Knowledge Broker System., , , , , and . ICDE, page 575. IEEE Computer Society, (1997)Global Autoregressive Models for Data-Efficient Sequence Learning., , and . CoRR, (2019)Negotiation as a Generic Component Coordination Primitive., and . DAIS, volume 2893 of Lecture Notes in Computer Science, page 86-97. Springer, (2003)Linear Objects: a Logic Framework for Open System Programming., and . LPAR, volume 624 of Lecture Notes in Computer Science, page 448-450. Springer, (1992)The Coordination Language Facility and Applications.. TLCA, volume 1581 of Lecture Notes in Computer Science, page 1-5. Springer, (1999)A Coordination System Approach to Software Workflow Process Evolution., , and . ASE, page 297-. IEEE Computer Society, (1998)Constraint Agents for the Information Age., , , and . J. UCS, 1 (12): 762-789 (1995)Soft Failure Detection Using Factorial Hidden Markov Models., and . ICMLA, page 160-165. IEEE Computer Society, (2007)