Group: StFX Centre for Logic and Information - with tag modeling [35 articles] Export

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

	Towards a Comprehensive Treatment of Temporal Constraints in Clinical Guidelines [My Copy] In TIME '02: Proceedings of the Ninth International Symposium on Temporal Representation and Reasoning (TIME'02) (2002), 20. by Paolo Terenziani, Carlo Carlini, Stefania Montani posted to healthcare modeling timed_systems by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-25 19:40:09 as
	Improving Medical Protocols Through Formalisation: A Case Study [My Copy] (2002) by Mar Marcos, Hugo Roomans, Annette T. Teijeþ posted to healthcare modeling verification by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-25 19:38:27 as
	Rigorously Defining and Analyzing Medical Processes: An Experience Report [My Copy] Models in Software Engineering (2008), pp. 118-131. by Stefan Christov, Bin Chen, George Avrunin, et al.Lori Clarke, Leon Osterweil, David Brown, Lucinda Cassells, Wilson Mertens posted to healthcare modeling verification workflow by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-25 19:37:14 as along with 1 person hwang
	On the Relationship Between BDI Logics and Standard Logics of Concurrency [My Copy] Autonomous Agents and Multi-Agent Systems, Vol. 3, No. 3. (2000), pp. 259-283. by Klaus Schild posted to modeling verification by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-24 02:20:54 as
	Checking Properties of Adaptive Workflow Nets [My Copy] Fundam. Inf., Vol. 79, No. 3-4. (2008), pp. 347-362. by Kees van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Irina A. Lomazova posted to modeling verification workflow by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-24 02:19:19 as
	Petri Net Theory and the Modeling of Systems [My Copy] (1981) by James L. Peterson posted to modeling by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-24 02:16:21 as along with 1 person wnpx
	The Minimal Coverability Graph for Petri Nets [My Copy] In Papers from the 12th International Conference on Applications and Theory of Petri Nets (1993), pp. 210-243. by Alain Finkel posted to modeling by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-24 02:13:45 as
	Expressibility results for linear-time and branching-time logics [My Copy] In Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop (1989), pp. 428-437. by Edmund M. Clarke, I. A. Draghicescu posted to modeling timed_systems verification by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-24 02:10:32 as along with 2 people pintman Scis0000002
	The Temporal Logic of Reactive and Concurrent Systems: Specification: 001 [My Copy] (18 December 1991) by Amir Pnueli, Zohar Manna posted to modeling timed_systems verification by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-23 20:07:18 as along with 1 person VGreiff
	Using the π-Calculus for Formalizing Workflow Patterns [My Copy] Business Process Management (2005), pp. 153-168. by Frank Puhlmann, Mathias Weske posted to modeling workflow by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-23 18:05:30 as along with 1 person bfraser
	Pi calculus versus Petri nets: Let us eat humble pie rather than further inflate the Pi hype [My Copy] (2004) by W. M. P. van der Aalst posted to modeling workflow by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-23 18:03:36 as along with 3 people and 1 group ikbeneyal keigoi janschaefer TU-KL-SoftwareTechnologyGroup
	Modelling and analysing workflow using a Petri-Net based approach [My Copy] In Proceedings of the 2nd Workshop on Computer-Supported Cooperative Work, Petri nets and related formalisms (1994) by W. M. P. van der Aalst, K. M. van Hee, G. J. Houben edited by G. De Michelis, C. Ellis, G. Memmi posted to modeling verification workflow by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-23 18:02:56 as along with 1 person ikbeneyal
	Comparing Petri Net and Activity Diagram Variants for Workflow Modelling - A Quest for Reactive Petri Nets [My Copy] In In Weber et al, Vol. 2472 (2002), pp. 321-351. by Rik Eshuis, Roel Wieringa posted to modeling workflow by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-23 18:02:16 as
	Reactive Petri Nets for Workflow Modeling [My Copy] In Application and Theory of Petri Nets 2003, Vol. 2679 (2003), pp. 296-315. by Rik Eshuis, Juliane Dehnert posted to modeling workflow by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 20:57:15 as
	Workflow Patterns: On the Expressive Power of (Petri-net-based) Workflow Languages. [My Copy] In Proc. of the Fourth International Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, August 28-30, 2002 / Kurt Jensen (Ed.) (August 2002), pp. 1-20. by W. M. P. van der Aalst, Ter A. H. M. Hofstede posted to modeling workflow by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 20:56:27 as along with 1 person stagediver
	Organizational Management in Workflow Applications - Issues and Perspectives [My Copy] Information Technology and Management, Vol. 5, No. 3-4., 271. by M. Zur posted to modeling workflow by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 20:54:56 as
	Model Checking [My Copy] (07 January 1999) by Edmund M. Clarke, Orna Grumberg, Doron A. Peled posted to modeling verification by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 20:52:52 as along with 16 people and 1 group dwei98 tropic streetlightios mishra_satish qurat yliesfalcone zhensong srccheck hmeyer fheintz schuh cbertolini gfraser arturmeski juniorpivetta zuleger gk-intern
	Verification of Medical Guidelines by Model Checking – A Case Study [My Copy] Model Checking Software (2006), pp. 219-233. by Simon Bäumler, Michael Balser, Andriy Dunets, Wolfgang Reif, Jonathan Schmitt posted to healthcare modeling verification by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 20:51:49 as
	The ASGAARD Project: A Task-Specific Framework for the Application and Critiquing of Time-Oriented Clinical Guidelines [My Copy] In Artificial Intelligence in Medicine, Vol. 14 (1998), pp. 29-51. by Yuval Shahar, Silvia Miksch, Peter Johnson posted to healthcare modeling timed_systems by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 20:50:22 as
	The Workflow Reference Model: 10 Years On [My Copy] In Workflow Handbook 2004 by Martin Senger, Peter Rice, Tom Oinn posted to modeling workflow by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 20:38:18 as along with 3 people nozebacle pekrau moborg
	Business process verification - finally a reality! [My Copy] Business Process Management Journal, Vol. 15, No. 1., pp. 74-92. by M. T. Wynn, H. M. W. Verbeek, Aalst, Ter A. H. M. Hofstede, D. Edmond posted to modeling verification workflow by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 19:42:57 as
	Modeling Rational Agents within a BDI-Architecture [My Copy] (1991) by Anand S. Rao, Michael P. Georgeff posted to modeling multi_agent_systems by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 19:37:02 as along with 1 person shakilmkhan
	The Application of Petri Nets to Workflow Management [My Copy] (1998) by W. M. P. van der Aalst posted to modeling workflow by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 19:34:13 as
	YAWL: Yet Another Workflow Language [My Copy] Information Systems, Vol. 30 (2003), pp. 245-275. by W. M. P. van der Aalst, A. H. M. Ter Hofstede posted to modeling workflow by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 19:33:32 as
	The BRITNeY Suite Animation Tool [My Copy] Petri Nets and Other Models of Concurrency - ICATPN 2006 (2006), pp. 431-440. by Michael Westergaard, Kristian Lassen posted to modeling verification workflow by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 16:57:18 as
	Logic in Computer Science: Modelling and Reasoning about Systems [My Copy] (01 November 1999) by Michael Huth, Mark Ryan, M. Huth, M. Ryan posted to modeling timed_systems verification workflow by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 16:56:29 as
	Coloured petri nets: A high level language for system design and analysis [My Copy] Advances in Petri Nets 1990 (1991), pp. 342-416. by Kurt Jensen posted to modeling verification workflow by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 16:55:30 as
	A formal framework for business process modelling and design [My Copy] Information Systems, Vol. 27, No. 5. (July 2002), pp. 299-319. by M. Koubarakis posted to modeling workflow by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 14:49:55 as along with 3 people mcheung neilernst reinhardt
	Towards a comprehensive treatment of repetitions, periodicity and temporal constraints in clinical guidelines [My Copy] Artif. Intell. Med., Vol. 38, No. 2. (2006), pp. 171-195. by Luca Anselma, Paolo Terenziani, Stefania Montani, Alessio Bottrighi posted to modeling timed_systems verification by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 14:16:37 as
	The Way of Z: Practical Programming with Formal Methods [My Copy] (28 November 1996) by Jonathan Jacky posted to modeling verification by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 14:08:41 as
	Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal [My Copy] Formal Aspects of Computing, Vol. 10, No. 5. (21 May 1998), pp. 550-575. by H. Bowman, G. Faconti, J. P. Katoen, D. Latella, M. Massink posted to modeling timed_systems verification by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 14:07:51 as
	Timed Automata: Semantics, Algorithms and Tools [My Copy] Lectures on Concurrency and Petri Nets (2004), pp. 87-124. by Johan Bengtsson, Wang Yi posted to modeling timed_systems verification by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 14:06:57 as along with 5 people dwei98 streetlightios yoriyuki keigoi msakai
	A Tutorial on Uppaal [My Copy] Formal Methods for the Design of Real-Time Systems (2004), pp. 200-236. by Gerd Behrmann, Alexandre David, Kim G. Larsen posted to modeling timed_systems verification by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 14:05:55 as along with 1 person zhensong
	UPPAAL - Now, Next, and Future [My Copy] Modeling and Verification of Parallel Processes (2001), pp. 99-124. by Tobias Amnell, Gerd Behrmann, Johan Bengtsson, et al.Pedro D’argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim Larsen, M. Möller, Paul Pettersson, Carsten Weise, Wang Yi posted to modeling timed_systems verification by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 14:05:06 as
	Timed Automata [My Copy] Computer Aided Verification (1999), pp. 688-688. by Rajeev Alur posted to modeling timed_systems by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 14:04:16 as along with 3 people zhensong dwei98 newdawn

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

statistics	300
simulation	218
language	209
review	123
network	119
evolution	115
eye-movement	106
model	106
protein	97
cognition	95
bayesian	93
systems-biology	89
structure	82
cogsci	81
networks	81
dynamics	79
reading	78
learning	77
3d	75
theory	74
biology	73
uml	73
user	71
saccade	68
connectionist	65
neuroscience	64
prediction	62
bioinformatics	57
computational	56
distribution	56
performance	56
analysis	55
rt	53
psychology	51
fmri	50
context	49
sketching	48
linguistics	47
algorithm	45
md	44
sem	42
molecular	41
data	40
brain	37
process-algebra	37
eeg	36
genetics	36
language_evolution	36
longitudinal	36
methodology	35
performance-engineering	35
process	35
psycholinguistics	35
folding	34
hydrology	34
information	34
interaction	34
neuro	34
ontology	34
phonology	33
probability	32
systems	32
ica	31
models	31
activation	30
dynamic	30
measurement	30
flotation	29
gene	29
language_acquisition	29
reinforcement_learning	29
word_recognition	29
workflow	29
agents	28
expression	28
gpcr	28
development	27
diffusion	27
erp	27
modelling	27
system	27
connectionism	26
markov	26
math	26
population	26
proteomics	26
syntax	26
verification	26
vis_perception	26
architecture	25
docking	25
homology	25
stochastic	25
acoustics	24
auditory_nerve	24
feature	24
lmclass	24
memory	24
methods	24
missing	24

Group: StFX Centre for Logic and Information

Group: StFX Centre for Logic and Information - with tag modeling [35 articles] Export

Related Tags