Search results for "Causality"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Esther Florin, Johannes Pfeifer	Statistical pitfalls in the comparison of multivariate causality measures for effective causality.	Comput. Biol. Medicine	2013	DBLP DOI BibTeX RDF
23	Richard E. Frye	A Lack of statistical pitfalls in the comparison of multivariate causality measures for effective causality.	Comput. Biol. Medicine	2013	DBLP DOI BibTeX RDF
23	Vladik Kreinovich, Andres Ortiz	Towards a better understanding of space-time causality: Kolmogorov complexity and causality as a matter of degree.	IFSA/NAFIPS	2013	DBLP DOI BibTeX RDF
23	Florian Leitner-Fischer, Stefan Leue	On the Synergy of Probabilistic Causality Computation and Causality Checking.	SPIN	2013	DBLP DOI BibTeX RDF
23	Alan Jeffrey	Causality for free!: parametricity implies causality for functional reactive programs.	PLPV	2013	DBLP DOI BibTeX RDF
23	Rutu Mulkar-Mehta	Granular Causality Applications: Using Part-of Relations for Discovering Causality.	Int. J. Cogn. Informatics Nat. Intell.	2012	DBLP DOI BibTeX RDF
23	Sanqing Hu, Hualou Liang	Causality analysis of neural connectivity: New tool and limitations of spectral Granger causality.	Neurocomputing	2012	DBLP DOI BibTeX RDF
23	Karl J. Friston	Dynamic causal modeling and Granger causality Comments on: The identification of interacting networks in the brain using fMRI: Model selection, causality and deconvolution.	NeuroImage	2011	DBLP DOI BibTeX RDF
23	Hirochika Asai, Kensuke Fukuda, Hiroshi Esaki	Traffic causality graphs: Profiling network applications through temporal and spatial causality of flows.	ITC	2011	DBLP BibTeX RDF
23	Esther Florin, Joachim Gross, Johannes Pfeifer, Gereon R. Fink, Lars Timmermann	The effect of filtering on Granger causality based multivariate causality measures.	NeuroImage	2010	DBLP DOI BibTeX RDF
23	Anas Chaaban, Aydin Sezgin	From non-causality to causality: degrees of freedom of the interference relay channel.	CISS	2010	DBLP DOI BibTeX RDF
23	James Cheney	Causality and the Semantics of Provenance	DCM	2010	DBLP DOI BibTeX RDF
23	Juan José Ramos, Miquel Angel Piera Eroles, Ignasi Serra	A Modelling Tool to Guide Computational Causality Assignment through Physical Causality Analysis.	EUROSIM	1995	DBLP BibTeX RDF
21		Event Causality Graph.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
21	Kun Zhang 0001, Aapo Hyvärinen	Causality Discovery with Additive Disturbances: An Information-Theoretical Perspective.	ECML/PKDD (2)	2009	DBLP DOI BibTeX RDF
21	Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler	Explaining Counterexamples Using Causality.	CAV	2009	DBLP DOI BibTeX RDF
21	Peter Goodison, Peter Johnson 0001, Joanne Thoms	Establishing Causality in Complex Human Interactions: Identifying Breakdowns of Intentionality.	Complex (2)	2009	DBLP DOI BibTeX RDF	Awareness, Decision-making, Autonomous Systems, Intentions
21	Samuel Mimram	The Structure of First-Order Causality.	LICS	2009	DBLP DOI BibTeX RDF
21	Julian Gutierrez 0001	Logics and Bisimulation Games for Concurrency, Causality and Conflict.	FoSSaCS	2009	DBLP DOI BibTeX RDF	Bisimulation games, Behavioural equivalences, Concurrent and reactive systems, Petri nets, Modal and temporal logics
21	Guillermo Vigueras, Jorge J. Gómez-Sanz, Juan A. Botía Blaya, Juan Pavón	Using Semantic Causality Graphs to Validate MAS Models.	Innovations in Hybrid Intelligent Systems	2008	DBLP DOI BibTeX RDF	Intelligent agent-based systems, MAS debug, MAS validation
21	Michael Backes 0001, Stefan Lorenz, Matteo Maffei, Kim Pecina	The CASPA Tool: Causality-Based Abstraction for Security Protocol Analysis.	CAV	2008	DBLP DOI BibTeX RDF
21	Guillermo A. Cecchi, Rahul Garg 0001, A. Ravishankar Rao	Inferring brain dynamics using granger causality on fMRI data.	ISBI	2008	DBLP DOI BibTeX RDF
21	Oana Agrigoroaiei, Gabriel Ciobanu	Non-interleaving Semantics with Causality for Nondeterministic Dataflow.	ICTAC	2008	DBLP DOI BibTeX RDF
21	Salem Benferhat, Salma Smaoui	Quantitative Possibilistic Networks: Handling Interventions and Ascribing Causality.	MICAI	2008	DBLP DOI BibTeX RDF
21	Siming Lin, Xueqi Cheng, Jianming Lv	State Causality Analysis of Conservative Parallel Network Simulation.	Annual Simulation Symposium	2008	DBLP DOI BibTeX RDF	performance evaluation, speedup, parallel efficiency, critical path analysis, conservative simulation
21	Ritesh Krishna, Shuixia Guo	A Partial Granger Causality Approach to Explore Causal Networks Derived From Multi-parameter Data.	CMSB	2008	DBLP DOI BibTeX RDF
21	Michael Backes 0001, Agostino Cortesi, Matteo Maffei	Causality-based Abstraction of Multiplicity in Security Protocols.	CSF	2007	DBLP DOI BibTeX RDF
21	Salem Benferhat	Causality and Dynamics of Beliefs in Qualitative Uncertainty Frameworks.	ECSQARU	2007	DBLP DOI BibTeX RDF
21	Gabriel Ciobanu, Dorel Lucanu	Events, Causality, and Concurrency in Membrane Systems.	Workshop on Membrane Computing	2007	DBLP DOI BibTeX RDF
21	Nadia Busi	Causality in Membrane Systems.	Workshop on Membrane Computing	2007	DBLP DOI BibTeX RDF
21	Xiaotong Wen, Xiao-jie Zhao, Li Yao 0002, Xia Wu	Applications of Granger Causality Model to Connectivity Network Based on fMRI Time Series.	ICNC (1)	2006	DBLP DOI BibTeX RDF
21	Malolan Chetlur, Philip A. Wilsey	Causality and Proactive Cancellation.	DS-RT	2006	DBLP DOI BibTeX RDF
21	Christophe Sibertin-Blanc, Omar Tahir, Janette Cardoso	Interpretation of UML Sequence Diagrams as Causality Flows.	ISSADS	2005	DBLP DOI BibTeX RDF
21	Howard J. Hamilton, Kamran Karimi	The TIMERS II Algorithm for the Discovery of Causality.	PAKDD	2005	DBLP DOI BibTeX RDF
21	Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli	Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA).	EMSOFT	2004	DBLP DOI BibTeX RDF	distributed deployment, heterogeneous reactive systems, GALS
21	Jean-Luc Lugrin, Paolo Libardi, Matthew J. Barnes, Mikael Le Bras, Marc Cavazza	Event-based causality in virtual reality.	SMC (1)	2004	DBLP DOI BibTeX RDF
21	Feng Wan, Munindar P. Singh	Mapping Dooley Graphs and Commitment Causality to the p-Calculus.	AAMAS	2004	DBLP DOI BibTeX RDF
21	Pierpaolo Degano, Fabio Gadducci, Corrado Priami	Causality and Replication in Concurrent Processes.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
21	Roberto Baldoni, Giovanna Melideo	k-Dependency Vectors: A Scalable Causality-Tracking Protocol.	PDP	2003	DBLP DOI BibTeX RDF
21	Jie Liu 0001, Edward A. Lee	On the Causality of Mixed-Signal and Hybrid Models.	HSCC	2003	DBLP DOI BibTeX RDF
21	Tao Xiang 0002, Shaogang Gong	Discovering Bayesian Causality among Visual Events in a Complex Outdoor Scene.	AVSS	2003	DBLP DOI BibTeX RDF
21	Xinzhou Qin, Wenke Lee	Statistical Causality Analysis of INFOSEC Alert Data.	RAID	2003	DBLP DOI BibTeX RDF	attack scenario analysis, Intrusion detection, time series analysis, alert correlation
21	Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli	Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling.	FMCO	2003	DBLP DOI BibTeX RDF
21	Niklas Elmqvist, Philippas Tsigas	Causality Visualization Using Animated Growing Polygons.	INFOVIS	2003	DBLP DOI BibTeX RDF	information visualization, interactive animation, causal relations
21	Jun Li 0008	Monitoring and Characterization of Component-Based Systems with Global Causality Capture.	ICDCS	2003	DBLP DOI BibTeX RDF
21	Kojiro Taguchi, Tomoya Enokido, Makoto Takizawa 0001	Causality in Hierarchical Group Communication.	ICDCS Workshops	2003	DBLP DOI BibTeX RDF
21	Kojiro Taguchi, Tomoya Enokido, Makoto Takizawa 0001	Causality in a Hierarchical Group.	AINA	2003	DBLP DOI BibTeX RDF
21	Feng Wan, Munindar P. Singh	Commitments and causality for multiagent design.	AAMAS	2003	DBLP DOI BibTeX RDF	Dooley graphs, roles, commitments, conversation analysis
21	Sarah Kriz	Understanding Simultaneity and Causality in Static Diagrams versus Animation.	Diagrams	2002	DBLP DOI BibTeX RDF
21	Chengzheng Sun, Wentong Cai 0001	Capturing Causality by Compressed Vector Clock in Real-Time Group Editors.	IPDPS	2002	DBLP DOI BibTeX RDF	vector logical clock, real-time group editors, distributed systems, operational transformation, Web-based applications
21	Pieter J. Mosterman	Diagnosis of Physical Systems with Hybrid Models Using Parametrized Causality.	HSCC	2001	DBLP DOI BibTeX RDF
21	Pascal Cuoq, Marc Pouzet	Modular Causality in a Synchronous Stream Language.	ESOP	2001	DBLP DOI BibTeX RDF
21	Mahat Khelfallah, Aïcha Mokhtari	Ramification in the Normative Method of Causality.	ECSQARU	2001	DBLP DOI BibTeX RDF
21	Philippe Laumay, Eric Bruneton, Noel De Palma, Sacha Krakowiak	Preserving Causality in a Scalable Message-Oriented Middleware.	Middleware	2001	DBLP DOI BibTeX RDF
21	Esra Erdem 0001, Vladimir Lifschitz	Transformations of Logic Programs Related to Causality and Planning.	LPNMR	1999	DBLP DOI BibTeX RDF
21	Michele Boreale, Davide Sangiorgi	A Fully Abstract Semantics for Causality in the \pi-Calculus.	Acta Informatica	1998	DBLP DOI BibTeX RDF
21	Michele Boreale, Davide Sangiorgi	A Fully Abstract Semantics for Causality in the Pi-Calculus.	STACS	1995	DBLP DOI BibTeX RDF
21	Christian Queinnec	Locality, Causality and Continuations.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	SCHEME
21	Adeline Nazarenko	Representing Natural Language Causality in Conceptual Grpahs: the Higher Order Conceptual Relation Problem.	ICCS	1993	DBLP DOI BibTeX RDF
21	Rob J. van Glabbeek, Ursula Goltz	Refinement of Actions in Causality Based Models.	REX Workshop	1989	DBLP DOI BibTeX RDF	Petri nets, Concurrency, action refinement, event structures
21	Wolfgang Reisig	Towards a temporal logic of causality and choice in distributed systems.	REX Workshop	1988	DBLP DOI BibTeX RDF	Concurrent System Properties, Petri Nets, Temporal Logic
21	Wolfgang Reisig	Temporal Logic and Causality in Concurrent Systems.	Concurrency	1988	DBLP DOI BibTeX RDF
18	Michele Ceccarelli, Luigi Cerulo, Gerardo Canfora, Massimiliano Di Penta	An eclectic approach for change impact analysis.	ICSE (2)	2010	DBLP DOI BibTeX RDF	mining software repositories, change impact analysis
18	David Sun, Chengzheng Sun	Context-Based Operational Transformation in Distributed Collaborative Editing Systems.	IEEE Trans. Parallel Distributed Syst.	2009	DBLP DOI BibTeX RDF
18	Cristina Puente, Alejandro Sobrino 0001, José Angel Olivas	Extraction of Conditional and Causal Sentences from Queries to Provide a Flexible Answer.	FQAS	2009	DBLP DOI BibTeX RDF	Causal and conditional sentences, causal questions, causal graphs, causally induced answers, flexible causes and effects
18	Yue Zhou, Shuicheng Yan, Thomas S. Huang	Pair-activity classification by bi-trajectories analysis.	CVPR	2008	DBLP DOI BibTeX RDF
18	Hiroshi Horii, Hayato Yamana	Optimistic transactional active replication.	ICUIMC	2008	DBLP DOI BibTeX RDF	disaster tolerant, replication, transaction
18	Jingjing Liu, Yan Peng, Ting Zhang	The Application of Bayesian Network in the Performance Evaluation and Decision-making System.	ICNSC	2008	DBLP DOI BibTeX RDF
18	Pan Zhang, Xin Yao 0001, Lei Jia, Bernhard Sendhoff, Thorsten Schnier	Target shape design optimization by evolving splines.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
18	Andrew Arnold, Yan Liu 0002, Naoki Abe	Temporal causal modeling with graphical granger methods.	KDD	2007	DBLP DOI BibTeX RDF	graphical models, time series data, causal modeling
18	Thai Quang Tung, Taewoo Ryu, Kwang H. Lee, Doheon Lee	Inferring Gene Regulatory Networks from Microarray Time Series Data Using Transfer Entropy.	CBMS	2007	DBLP DOI BibTeX RDF
18	Florian Kerschbaum, Julien Vayssière	Privacy-preserving logical vector clocks using secure computation techniques.	ICPADS	2007	DBLP DOI BibTeX RDF
18	Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine	Rule-Based Modelling of Cellular Signalling.	CONCUR	2007	DBLP DOI BibTeX RDF
18	Justin Dauwels, François B. Vialatte, Andrzej Cichocki	A Comparative Study of Synchrony Measures for the Early Detection of Alzheimer's Disease Based on EEG.	ICONIP (1)	2007	DBLP DOI BibTeX RDF
18	Luiz A. Baccalá, Koichi Sameshima	Comments on 'Is Partial Coherence a Viable Technique for Identifying Generators of Neural Oscillations?'.	Biol. Cybern.	2006	DBLP DOI BibTeX RDF
18	Azadeh Farzan, P. Madhusudan	Causal Atomicity.	CAV	2006	DBLP DOI BibTeX RDF
18	Sami Evangelista, Jean-François Pradat-Peyre	On the Computation of Stubborn Sets of Colored Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
18	Tomohito Ikedo, Yutaka Ishibashi	An Adaptive Scheme for Consistency among Players in Networked Racing Games.	MDM	2006	DBLP DOI BibTeX RDF
18	Joost Vennekens, Marc Denecker, Maurice Bruynooghe	Representing Causal Information About a Probabilistic Process.	JELIA	2006	DBLP DOI BibTeX RDF
18	Marlon Núñez, Rafael Morales Bueno	Extreme Value Dependence in Problems with a Changing Causation Structure.	ADMA	2006	DBLP DOI BibTeX RDF
18	Yongning Tang, Ehab S. Al-Shaer, Raouf Boutaba	Active integrated fault localization in communication networks.	Integrated Network Management	2005	DBLP DOI BibTeX RDF
18	Jeremy Manson, William W. Pugh, Sarita V. Adve	The Java memory model.	POPL	2005	DBLP DOI BibTeX RDF	Java, concurrency, multithreading, memory model
18	Zimbul Albo, Gonzalo Viana Di Prisco, Yonghong Chen, Govindan Rangarajan, Wilson A. Truccolo, Jianfeng Feng, Robert P. Vertes, Mingzhou Ding	Is partial coherence a viable technique for identifying generators of neural oscillations?	Biol. Cybern.	2004	DBLP DOI BibTeX RDF
18	José Bacelar Almeida, Paulo Sérgio Almeida, Carlos Baquero	Bounded Version Vectors.	DISC	2004	DBLP DOI BibTeX RDF
18	Tongchit Tantikul, D. Manivannan 0001	A Communication-Induced Checkpointing and Asynchronous Recovery Algorithm for Multithreaded Distributed Systems.	PDCAT	2004	DBLP DOI BibTeX RDF	Communication-induced checkpointing, Multithreaded distributed system, Asynchronous recovery, Fault-tolerance, Distributed checkpointing
18	Vadim Borisov, Alexander S. Fedulov	Generalized Rule-Based Fuzzy Cognitive Maps: Structure and Dynamics Model.	ICONIP	2004	DBLP DOI BibTeX RDF
18	Shaz Qadeer	Verifying Sequential Consistency on Shared-Memory Multiprocessors by Model Checking.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	specifying and verifying and reasoning about programs, model checking, verification, multiprocessors, Logic design
18	Boon-Ping Gan, Malcolm Yoke Hean Low, Junhu Wei, Xiaoguang Wang 0002, Stephen John Turner, Wentong Cai 0001	Distributed simulation and manufacturing: synchronization and management of shared state in HLA-based distributed simulation.	WSC	2003	DBLP DOI BibTeX RDF
18	Key-Sun Choi, Jae-Ho Kim, Masaru Miyazaki, Jun Goto, Yeun-Bae Kim	Question-Answering based on virtually integrated lexical knowledge base.	IRAL	2003	DBLP BibTeX RDF
18	Luciano Bononi, Gabriele D'Angelo, Lorenzo Donatiello	HLA-based Adaptive Distributed Simulation of Wireless Mobile Systems.	PADS	2003	DBLP DOI BibTeX RDF
18	Sung Tae Jung, Chris J. Myers	Direct synthesis of timed circuits from free-choice STGs.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2002	DBLP DOI BibTeX RDF
18	Ken-Chung Ho	Non-causal error diffusion for image halftoning.	ISCAS (5)	2002	DBLP DOI BibTeX RDF
18	Wojciech Penczek	Efficient Model Checking of Causal-Knowledge Protocols.	CEEMAS	2001	DBLP DOI BibTeX RDF
18	Pierre Baldi, Søren Brunak, Paolo Frasconi, Gianluca Pollastri, Giovanni Soda	Bidirectional Dynamics for Protein Secondary Structure Prediction.	Sequence Learning	2001	DBLP DOI BibTeX RDF
18	Jing Lei Zhang, Carl Tropper	The dependence list in time warp.	Workshop on Parallel and Distributed Simulation	2001	DBLP DOI BibTeX RDF
18	Alessio Micheli, Diego Sona, Alessandro Sperduti	Bi-Causal Recurrent Cascade Correlation.	IJCNN (3)	2000	DBLP DOI BibTeX RDF
18	Jesper G. Henriksen	An Expressive Extension of TLC.	ASIAN	1999	DBLP DOI BibTeX RDF
18	Sung Tae Jung, Chris J. Myers	Direct synthesis of timed asynchronous circuits.	ICCAD	1999	DBLP DOI BibTeX RDF
18	Gabriel Juhás	On Semantics of Petri Nets over Partial Algebra.	SOFSEM	1999	DBLP DOI BibTeX RDF
18	Alex Kondratyev, Michael Kishinevsky, Alexandre Yakovlev	Hazard-free implementation of speed-independent circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1998	DBLP DOI BibTeX RDF