Group: StFX Centre for Logic and Information - with tag reading_group [29 articles] Export

Recent papers posted by members of the StFX Centre for Logic and Information group with tag reading_group

	Workflow Management : Models, Methods, and Systems (Cooperative Information Systems) [My Copy] (01 March 2004) by Wil Vanderaalst, Kees Vanhee posted to reading_group workflow by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-11 19:42:00 as along with 3 people and 1 group mxro sryll sixtus Information Integration Architecture
	Temporal Logic Model Checking [My Copy] Handbook of Networked and Embedded Control Systems (2005), pp. 539-558. by Edmund Clarke, Ansgar Fehnker, Sumit K. Jha, Helmut Veith posted to reading_group by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-11 19:39:36 as
	What good are digital clocks? [My Copy] Automata, Languages and Programming (1992), pp. 545-558. by Thomas Henzinger, Zohar Manna, Amir Pnueli posted to reading_group by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-11 19:38:43 as
	Towards a Taxonomy of Process Flexibility (Extended Version). [My Copy] In BPM Center Report BPM-07-11 (2007) by N. A. Mulyar, M. H. Schonenberg, Mans, van der Aalst posted to reading_group by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-11 18:30:33 as
	Run-time analysis of time-critical systems [My Copy] Journal of Systems Architecture, Vol. 51, No. 5. (May 2005), pp. 331-345. by Shikun Zhou, Hussein Zedan, Antonio Cau posted to reading_group by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-11 18:23:32 as
	On the Formal Semantics of Change Patterns in Process-Aware Information Systems [My Copy] Conceptual Modeling - ER 2008 (2008), pp. 279-293. by Stefanie Rinderle-Ma, Manfred Reichert, Barbara Weber posted to reading_group by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-11 18:20:15 as
	Decompositional Petri Net Reductions [My Copy] Integrated Formal Methods (2009), pp. 352-366. by Astrid Rakow posted to reading_group by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-11 18:19:36 as along with 1 person dwei98
	Abstraction and Modular Verification of Infinite-State Reactive Systems [My Copy] In Requirements Targeting Software and Systems Engineering (RTSE), LNCS (1998) by Zohar Manna, Michael A. Col'on, Bernd Finkbeiner, Henny B. Sipma, Tom'as E. Uribe posted to reading_group by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-11 18:18:05 as
	Extending Model Checking to Data-Aware Temporal Properties of Web Services [My Copy] Web Services and Formal Methods (2008), pp. 31-45. by Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Jérôme Tremblay, Boubker Ghandour posted to reading_group by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-11 16:57:02 as
	Runtime Monitoring of Message-Based Workflows with Data [My Copy] In EDOC '08: Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference (2008), pp. 63-72. by Sylvain Halle, Roger Villemaire posted to reading_group by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-11 16:52:50 as
	Compositional verification of real-time systems [My Copy] Logic in Computer Science, 1994. LICS '94. Proceedings., Symposium on In Logic in Computer Science, 1994. LICS '94. Proceedings., Symposium on (7 July 1994), pp. 458-465. by E. Chang, Z. Manna, A. Pnueli posted to reading_group by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-11 16:52:11 as along with 1 person Lewisham
	Analyzing medical processes [My Copy] In ICSE '08: Proceedings of the 30th international conference on Software engineering (2008), pp. 623-632. by Bin Chen, George S. Avrunin, Elizabeth A. Henneman, Lori A. Clarke, Leon J. Osterweil, Philip L. Henneman posted to reading_group by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-11 16:50:12 as along with 1 person hwang
	A Case Study in Parallel Verification of Component-Based Systems [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 220, No. 2. (11 December 2008), pp. 67-83. by N. Benes, I. Cerna, J. Sochor, P. Varekova, B. Zimmerova posted to reading_group by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-11 16:42:14 as
	Temporal reasoning about composite and/or periodic events [My Copy] Journal of Experimental & Theoretical Artificial Intelligence, Vol. 18, No. 1. (March 2006), pp. 87-115. by Paolo Terenziani, Luca Anselma posted to reading_group by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-11 16:40:39 as along with 2 people fheintz georgeon
	First-Order and Temporal Logics for Nested Words [My Copy] In LICS '07: Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science (2007), pp. 151-160. by Rajeev Alur, Marcelo Arenas, Pablo Barcelo, Kousha Etessami, Neil Immerman, Leonid Libkin posted to reading_group by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-11 16:39:32 as
	Model checking agentspeak [My Copy] In AAMAS '03: Proceedings of the second international joint conference on Autonomous agents and multiagent systems (2003), pp. 409-416. by Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael Wooldridge posted to reading_group by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-11 16:36:46 as
	Specifying and Verifying Web Transactions [My Copy] Formal Techniques for Networked and Distributed Systems – FORTE 2008 (2008), pp. 149-168. by Jing Li, Huibiao Zhu, Jifeng He posted to reading_group by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-11 16:35:01 as along with 2 people sunam hwang
	The Design of a Multicore Extension of the SPIN Model Checker [My Copy] IEEE Transactions on Software Engineering, Vol. 33, No. 10. (2007), pp. 659-674. by Gerard J. Holzmann, Dragan Bosnacki posted to reading_group by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-11 16:26:43 as
	Web Intelligence, World Knowledge and Fuzzy Logic - The Concept of Web IQ (WIQ) [My Copy] In Knowledge-Based Intelligent Information and Engineering Systems, 8th International Conference, KES 2004, Vol. 3213 (2004), pp. 1-5. by Lotfi A. Zadeh edited by Mircea, Robert J. Howlett, Lakhmi C. Jain posted to reading_group by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-11 16:08:04 as
	Precisiated natural language (PNL) [My Copy] AI Mag., Vol. 25, No. 3. (2004), pp. 74-91. by Lotfi A. Zadeh posted to reading_group by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-11 15:54:21 as along with 1 person Kenzie
	Agent-based workflow management systems (WfMSs) [My Copy] Information Systems and E-Business Management, Vol. 4, No. 1. (6 January 2006), pp. 5-23. by Lars Ehrler, Martin Fleurke, Maryam Purvis, Bastin Savarimuthu posted to reading_group by Kenzie to the group StFX Centre for Logic and Information on 2008-07-18 18:31:26 as
	Modular formal verification of specifications of concurrent systems [My Copy] Software Testing, Verification and Reliability, Vol. 18, No. 1. (2008), pp. 5-28. by Sara Gradara, Antonella Santone, Gigliola Vaglini, Maria L. Villani posted to reading_group by StFX_Logic to the group StFX Centre for Logic and Information on 2008-07-11 20:04:57 as
	Desires and Defaults: A Framework for Planning with Inferred Goals [My Copy] In KR2000: Principles of Knowledge Representation and Reasoning (2000), pp. 702-713. by Richmond H. Thomason edited by Anthony G. Cohn, Fausto Giunchiglia, Bart Selman posted to reading_group by StFX_Logic to the group StFX Centre for Logic and Information on 2008-07-11 20:04:57 as
	A Relational Model for Object-Oriented Designs [My Copy] Programming Languages and Systems (2004), pp. 415-436. by He Jifeng, Zhiming Liu, Xiaoshan Li, Shengchao Qin posted to reading_group by StFX_Logic to the group StFX Centre for Logic and Information on 2008-07-11 20:04:57 as
	A Theory of Reactive Components [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the International Workshop on Formal Aspects of Component Software (FACS 2005), Vol. 160 (August 2006), pp. 173-195. by Jifeng He, Xiaoshan Li, Zhiming Liu posted to reading_group by StFX_Logic to the group StFX Centre for Logic and Information on 2008-07-11 20:04:57 as
	Evaluation of a Multi-agent Based Workflow Management System Modeled Using Coloured Petri Nets [My Copy] Intelligent Agents and Multi-Agent Systems (2005), pp. 206-216. by Maryam Purvis, Bastin T. Savarimuthu, Martin Purvis posted to reading_group by StFX_Logic to the group StFX Centre for Logic and Information on 2008-07-11 20:04:57 as
	Formal Frameworks for Workflow Modelling [My Copy] DERI Technical Report (April 2005) by Eyal Oren, Armin Haller posted to reading_group by StFX_Logic to the group StFX Centre for Logic and Information on 2008-07-11 20:04:57 as
	A model for abstract process specification, verification and composition [My Copy] In ICSOC '04: Proceedings of the 2nd international conference on Service oriented computing (2004), pp. 232-241. by Ziyang Duan, Arthur Bernstein, Philip Lewis, Shiyong Lu posted to reading_group by StFX_Logic to the group StFX Centre for Logic and Information on 2008-07-11 20:04:57 as
	Correctness-Preserving Configuration of Business Process Models [My Copy] Fundamental Approaches to Software Engineering (2008), pp. 46-61. by Wil van der Aalst, Marlon Dumas, Florian Gottschalk, Ter, Marcello La Rosa, Jan Mendling posted to reading_group by StFX_Logic to the group StFX Centre for Logic and Information on 2008-07-11 20:04:56 as

Note: You may cite this page as: http://www.citeulike.org/group/5914/tag/reading_group

algorithms	3
experimentation	3
language_models	3
brain	2
clustering	2
information_retrieval	2
letter_recognition	2
ranking	2
word_recognition	2
book	1
classification	1
collaboration	1
collaborative_filtering	1
data_fusion	1
digital_libraries	1
dirichlet	1
distance_measures	1
document_classification	1
evaluation	1
expansion_terms	1
feature_detection	1
hit_curves	1
human_factors	1
information_flow	1
information_search_and_retrieval	1
information_storage_and_retrieval	1
information_systems_applications	1
ir	1
kendalls_tau	1
language	1
markov_chains	1
movie_reviews	1
networks	1
precision	1
prospectus	1
pseudo-relevance_feedback	1
query_formulation	1
query_processing	1
ranked_queries	1
recall	1
recommenders	1
retrieval	1
sentiment	1
sentiment_classification	1
similarity	1
similarity_measures	1
smoothing	1
social_network_analysis	1
spearmans_footrule	1
statistical_detection	1
stemming	1
support_vector_machines	1
temporal	1
text_comprehension	1
text_data_mining	1
text_mining	1
top-k	1
web_search	1
workflow	1

Group: StFX Centre for Logic and Information

Group: StFX Centre for Logic and Information - with tag reading_group [29 articles] Export

Related Tags