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 |
|