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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Biol. Medicine ![In: Comput. Biol. Medicine 43(2), pp. 131-134, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Richard E. Frye |
A Lack of statistical pitfalls in the comparison of multivariate causality measures for effective causality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Biol. Medicine ![In: Comput. Biol. Medicine 43(7), pp. 962-965, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA/NAFIPS ![In: Joint IFSA World Congress and NAFIPS Annual Meeting, IFSA/NAFIPS 2013, Edmonton, Alberta, Canada, June 24-28, 2013, pp. 1349-1353, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Florian Leitner-Fischer, Stefan Leue |
On the Synergy of Probabilistic Causality Computation and Causality Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, pp. 246-263, 2013, Springer, 978-3-642-39175-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Alan Jeffrey |
Causality for free!: parametricity implies causality for functional reactive programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV ![In: Proceedings of the 7th Workshop on Programming languages meets program verification, PLPV 2013, Rome, Italy, January 22, 2013, pp. 57-68, 2013, ACM, 978-1-4503-1860-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Rutu Mulkar-Mehta |
Granular Causality Applications: Using Part-of Relations for Discovering Causality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Cogn. Informatics Nat. Intell. ![In: Int. J. Cogn. Informatics Nat. Intell. 6(3), pp. 88-108, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Sanqing Hu, Hualou Liang |
Causality analysis of neural connectivity: New tool and limitations of spectral Granger causality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neurocomputing ![In: Neurocomputing 76(1), pp. 44-47, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 58(2), pp. 303-305, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: 23rd International Teletraffic Congress, ITC 2011, San Francisco, CA, USA, September 6-9, 2011, pp. 95-102, 2011, IEEE, 978-0-9836283-0-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 50(2), pp. 577-588, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Anas Chaaban, Aydin Sezgin |
From non-causality to causality: degrees of freedom of the interference relay channel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CISS ![In: 44th Annual Conference on Information Sciences and Systems, CISS 2010, Princeton, NJ, USA, 17-19 March 2010, pp. 1-6, 2010, IEEE, 978-1-4244-7416-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | James Cheney |
Causality and the Semantics of Provenance ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics, DCM 2010, Edinburgh, Scotland, 9-10th July 2010., pp. 63-74, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSIM ![In: EUROSIM'96, Simulation Congress, Proceedings of the 1995 EUROSIM Conference, Vienna, Austria, 11-15 September 1995, pp. 105-110, 1995, Elsevier, 0-444-82241-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
21 | |
Event Causality Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Database Systems ![In: Encyclopedia of Database Systems, pp. 1034, 2009, Springer US, 978-0-387-35544-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Kun Zhang 0001, Aapo Hyvärinen |
Causality Discovery with Additive Disturbances: An Information-Theoretical Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML/PKDD (2) ![In: Machine Learning and Knowledge Discovery in Databases, European Conference, ECML PKDD 2009, Bled, Slovenia, September 7-11, 2009, Proceedings, Part II, pp. 570-585, 2009, Springer, 978-3-642-04173-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler |
Explaining Counterexamples Using Causality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings, pp. 94-108, 2009, Springer, 978-3-642-02657-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Peter Goodison, Peter Johnson 0001, Joanne Thoms |
Establishing Causality in Complex Human Interactions: Identifying Breakdowns of Intentionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex (2) ![In: Complex Sciences, First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009. Revised Papers, Part 2, pp. 1631-1641, 2009, Springer, 978-3-642-02468-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Awareness, Decision-making, Autonomous Systems, Intentions |
21 | Samuel Mimram |
The Structure of First-Order Causality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009, 11-14 August 2009, Los Angeles, CA, USA, pp. 212-221, 2009, IEEE Computer Society, 978-0-7695-3746-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Julian Gutierrez 0001 |
Logics and Bisimulation Games for Concurrency, Causality and Conflict. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 48-62, 2009, Springer, 978-3-642-00595-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innovations in Hybrid Intelligent Systems ![In: Innovations in Hybrid Intelligent Systems, pp. 9-16, 2008, Springer, 978-3-540-74971-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings, pp. 419-422, 2008, Springer, 978-3-540-70543-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Guillermo A. Cecchi, Rahul Garg 0001, A. Ravishankar Rao |
Inferring brain dynamics using granger causality on fMRI data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBI ![In: Proceedings of the 2008 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, Paris, France, May 14-17, 2008, pp. 604-607, 2008, IEEE, 978-1-4244-2003-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Oana Agrigoroaiei, Gabriel Ciobanu |
Non-interleaving Semantics with Causality for Nondeterministic Dataflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, pp. 66-80, 2008, Springer, 978-3-540-85761-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Salem Benferhat, Salma Smaoui |
Quantitative Possibilistic Networks: Handling Interventions and Ascribing Causality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2008: Advances in Artificial Intelligence, 7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008, Proceedings, pp. 720-731, 2008, Springer, 978-3-540-88635-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Siming Lin, Xueqi Cheng, Jianming Lv |
State Causality Analysis of Conservative Parallel Network Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 41st Annual Simulation Symposium (ANSS-41 2008), April 14-16, 2008, Ottawa, Canada, pp. 251-260, 2008, IEEE Computer Society, 0-7695-3143-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology, 6th International Conference, CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings, pp. 9-27, 2008, Springer, 978-3-540-88561-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Michael Backes 0001, Agostino Cortesi, Matteo Maffei |
Causality-based Abstraction of Multiplicity in Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 20th IEEE Computer Security Foundations Symposium, CSF 2007, 6-8 July 2007, Venice, Italy, pp. 355-369, 2007, IEEE Computer Society, 0-7695-2819-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Salem Benferhat |
Causality and Dynamics of Beliefs in Qualitative Uncertainty Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings, pp. 2-3, 2007, Springer, 978-3-540-75255-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Gabriel Ciobanu, Dorel Lucanu |
Events, Causality, and Concurrency in Membrane Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Membrane Computing ![In: Membrane Computing, 8th International Workshop, WMC 2007, Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers, pp. 209-227, 2007, Springer, 978-3-540-77311-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Nadia Busi |
Causality in Membrane Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Membrane Computing ![In: Membrane Computing, 8th International Workshop, WMC 2007, Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers, pp. 160-171, 2007, Springer, 978-3-540-77311-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNC (1) ![In: Advances in Natural Computation, Second International Conference, ICNC 2006, Xi'an, China, September 24-28, 2006. Proceedings, Part I, pp. 205-213, 2006, Springer, 3-540-45901-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Malolan Chetlur, Philip A. Wilsey |
Causality and Proactive Cancellation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DS-RT ![In: 10th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT 2006), 2-4 October 2006, Malaga, Spain, pp. 193-200, 2006, IEEE Computer Society, 0-7695-2697-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Christophe Sibertin-Blanc, Omar Tahir, Janette Cardoso |
Interpretation of UML Sequence Diagrams as Causality Flows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSADS ![In: Advanced Distributed Systems: 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers, pp. 126-140, 2005, Springer, 3-540-28063-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Howard J. Hamilton, Kamran Karimi |
The TIMERS II Algorithm for the Discovery of Causality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Advances in Knowledge Discovery and Data Mining, 9th Pacific-Asia Conference, PAKDD 2005, Hanoi, Vietnam, May 18-20, 2005, Proceedings, pp. 744-750, 2005, Springer, 3-540-26076-5. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: EMSOFT 2004, September 27-29, 2004, Pisa, Italy, Fourth ACM International Conference On Embedded Software, Proceedings, pp. 220-229, 2004, ACM, 1-58113-860-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (1) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 156-163, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Feng Wan, Munindar P. Singh |
Mapping Dooley Graphs and Commitment Causality to the p-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 August 2004, New York, NY, USA, pp. 412-419, 2004, IEEE Computer Society, 1-58113-864-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Pierpaolo Degano, Fabio Gadducci, Corrado Priami |
Causality and Replication in Concurrent Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers, pp. 307-318, 2003, Springer, 3-540-20813-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Roberto Baldoni, Giovanna Melideo |
k-Dependency Vectors: A Scalable Causality-Tracking Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 11th Euromicro Workshop on Parallel, Distributed and Network-Based Processing (PDP 2003), 5-7 February 2003, Genova, Italy, pp. 219-226, 2003, IEEE Computer Society, 0-7695-1875-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Jie Liu 0001, Edward A. Lee |
On the Causality of Mixed-Signal and Hybrid Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings, pp. 328-342, 2003, Springer, 3-540-00913-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Tao Xiang 0002, Shaogang Gong |
Discovering Bayesian Causality among Visual Events in a Complex Outdoor Scene. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVSS ![In: 2003 IEEE Conference on Advanced Video and Signal Based Surveillance (AVSS 2003), 21-22 July 2003, Miami, FL, USA, pp. 177-182, 2003, IEEE Computer Society, 0-7695-1971-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Xinzhou Qin, Wenke Lee |
Statistical Causality Analysis of INFOSEC Alert Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAID ![In: Recent Advances in Intrusion Detection, 6th International Symposium, RAID 2003, Pittsburgh, PA, USA, September 8-10, 2003, Proceedings, pp. 73-93, 2003, Springer, 3-540-40878-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, pp. 1-16, 2003, Springer, 3-540-22942-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Niklas Elmqvist, Philippas Tsigas |
Causality Visualization Using Animated Growing Polygons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOVIS ![In: 9th IEEE Symposium on Information Visualization (InfoVis 2003), 20-21 October 2003, Seattle, WA, USA, pp. 189-196, 2003, IEEE Computer Society, 0-7695-2055-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 23rd International Conference on Distributed Computing Systems (ICDCS 2003), 19-22 May 2003, Providence, RI, USA, pp. 422-, 2003, IEEE Computer Society, 0-7695-1920-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Kojiro Taguchi, Tomoya Enokido, Makoto Takizawa 0001 |
Causality in Hierarchical Group Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 23rd International Conference on Distributed Computing Systems Workshops (ICDCS 2003 Workshops), 19-22 May 2003, Providence, RI, USA, pp. 568-, 2003, IEEE Computer Society, 0-7695-1921-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Kojiro Taguchi, Tomoya Enokido, Makoto Takizawa 0001 |
Causality in a Hierarchical Group. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA ![In: 17th International Conference on Advanced Information Networking and Applications (AINA'03), March 27-29, 2003, Xi'an, China, pp. 433-439, 2003, IEEE Computer Society, 0-7695-1906-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Feng Wan, Munindar P. Singh |
Commitments and causality for multiagent design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings, pp. 749-756, 2003, ACM, 1-58113-683-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Dooley graphs, roles, commitments, conversation analysis |
21 | Sarah Kriz |
Understanding Simultaneity and Causality in Static Diagrams versus Animation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, Second International Conference, Diagrams 2002, Callaway Gardens, GA, USA, April 18-20, 2002, Proceedings, pp. 338-340, 2002, Springer, 3-540-43561-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Chengzheng Sun, Wentong Cai 0001 |
Capturing Causality by Compressed Vector Clock in Real-Time Group Editors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts Proceedings, 2002, IEEE Computer Society, 0-7695-1573-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001, Proceedings, pp. 447-458, 2001, Springer, 3-540-41866-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Pascal Cuoq, Marc Pouzet |
Modular Causality in a Synchronous Stream Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 237-251, 2001, Springer, 3-540-41862-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Mahat Khelfallah, Aïcha Mokhtari |
Ramification in the Normative Method of Causality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001, Proceedings, pp. 704-713, 2001, Springer, 3-540-42464-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Philippe Laumay, Eric Bruneton, Noel De Palma, Sacha Krakowiak |
Preserving Causality in a Scalable Message-Oriented Middleware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Middleware ![In: Middleware 2001, IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg, Germany, November 12-16, 2001, Proceedings, pp. 311-328, 2001, Springer, 3-540-42800-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Esra Erdem 0001, Vladimir Lifschitz |
Transformations of Logic Programs Related to Causality and Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings, pp. 107-116, 1999, Springer, 3-540-66749-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Michele Boreale, Davide Sangiorgi |
A Fully Abstract Semantics for Causality in the \pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 35(5), pp. 353-400, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Michele Boreale, Davide Sangiorgi |
A Fully Abstract Semantics for Causality in the Pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 95, 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995, Proceedings, pp. 243-254, 1995, Springer, 3-540-59042-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
21 | Christian Queinnec |
Locality, Causality and Continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1994 ACM Conference on LISP and Functional Programming, Orlando, Florida, USA, 27-29 June 1994., pp. 91-102, 1994, ACM, 0-89791-643-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
SCHEME |
21 | Adeline Nazarenko |
Representing Natural Language Causality in Conceptual Grpahs: the Higher Order Conceptual Relation Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Graphs for Knowledge Representation, ICCS '93, Quebec City, Canada, August 4-7, 1993, Proceedings, pp. 205-222, 1993, Springer, 3-540-56979-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Rob J. van Glabbeek, Ursula Goltz |
Refinement of Actions in Causality Based Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings, pp. 267-300, 1989, Springer, 3-540-52559-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings, pp. 603-627, 1988, Springer, 3-540-51080-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Concurrent System Properties, Petri Nets, Temporal Logic |
21 | Wolfgang Reisig |
Temporal Logic and Causality in Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency ![In: Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings, pp. 121-139, 1988, Springer, 3-540-50403-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
18 | Michele Ceccarelli, Luigi Cerulo, Gerardo Canfora, Massimiliano Di Penta |
An eclectic approach for change impact analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (2) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 163-166, 2010, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 20(10), pp. 1454-1470, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FQAS ![In: Flexible Query Answering Systems, 8th International Conference, FQAS 2009, Roskilde, Denmark, October 26-28, 2009. Proceedings, pp. 477-487, 2009, Springer, 978-3-642-04956-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 2008 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2008), 24-26 June 2008, Anchorage, Alaska, USA, 2008, IEEE Computer Society, 978-1-4244-2242-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Hiroshi Horii, Hayato Yamana |
Optimistic transactional active replication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICUIMC ![In: Proceedings of the 2nd International Conference on Ubiquitous Information Management and Communication, ICUIMC 2008, Suwon, Korea, January 31 - February 01, 2008, pp. 94-100, 2008, ACM, 978-1-59593-993-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNSC ![In: Proceedings of the IEEE International Conference on Networking, Sensing and Control, ICNSC 2008, Hainan, China, 6-8 April 2008, pp. 180-183, 2008, IEEE, 978-1-4244-1685-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Pan Zhang, Xin Yao 0001, Lei Jia, Bernhard Sendhoff, Thorsten Schnier |
Target shape design optimization by evolving splines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2007, 25-28 September 2007, Singapore, pp. 2009-2016, 2007, IEEE, 978-1-4244-1339-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Andrew Arnold, Yan Liu 0002, Naoki Abe |
Temporal causal modeling with graphical granger methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 13th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, San Jose, California, USA, August 12-15, 2007, pp. 66-75, 2007, ACM, 978-1-59593-609-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: 20th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2007), 20-22 June 2007, Maribor, Slovenia, pp. 383-388, 2007, IEEE Computer Society, 0-7695-2905-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Florian Kerschbaum, Julien Vayssière |
Privacy-preserving logical vector clocks using secure computation techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 13th International Conference on Parallel and Distributed Systems, ICPADS 2007, Hsinchu, Taiwan, December 5-7, 2007, pp. 1-8, 2007, IEEE Computer Society, 978-1-4244-1889-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine |
Rule-Based Modelling of Cellular Signalling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings, pp. 17-41, 2007, Springer, 978-3-540-74406-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONIP (1) ![In: Neural Information Processing, 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part I, pp. 112-125, 2007, Springer, 978-3-540-69154-9. The full citation details ...](Pics/full.jpeg) |
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?'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biol. Cybern. ![In: Biol. Cybern. 95(2), pp. 135-141, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Azadeh Farzan, P. Madhusudan |
Causal Atomicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 315-328, 2006, Springer, 3-540-37406-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Sami Evangelista, Jean-François Pradat-Peyre |
On the Computation of Stubborn Sets of Colored Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Petri Nets and Other Models of Concurrency - ICATPN 2006, 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings, pp. 146-165, 2006, Springer, 3-540-34699-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Tomohito Ikedo, Yutaka Ishibashi |
An Adaptive Scheme for Consistency among Players in Networked Racing Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MDM ![In: 7th International Conference on Mobile Data Management (MDM 2006), Nara, Japan, May 9-13, 2006, pp. 116, 2006, IEEE Computer Society, 0-7695-2526-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Joost Vennekens, Marc Denecker, Maurice Bruynooghe |
Representing Causal Information About a Probabilistic Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings, pp. 452-464, 2006, Springer, 3-540-39625-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Marlon Núñez, Rafael Morales Bueno |
Extreme Value Dependence in Problems with a Changing Causation Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADMA ![In: Advanced Data Mining and Applications, Second International Conference, ADMA 2006, Xi'an, China, August 14-16, 2006, Proceedings, pp. 899-910, 2006, Springer, 3-540-37025-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Yongning Tang, Ehab S. Al-Shaer, Raouf Boutaba |
Active integrated fault localization in communication networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Integrated Network Management ![In: Integrated Network Management, IM 2005. 9th IFIP/IEEE International Symposium on Integrated Network Management, 15-19 May 2005, Nice, France, pp. 543-556, 2005, IEEE. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Jeremy Manson, William W. Pugh, Sarita V. Adve |
The Java memory model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005, pp. 378-391, 2005, ACM, 1-58113-830-X. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biol. Cybern. ![In: Biol. Cybern. 90(5), pp. 318-326, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | José Bacelar Almeida, Paulo Sérgio Almeida, Carlos Baquero |
Bounded Version Vectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 18th International Conference, DISC 2004, Amsterdam, The Netherlands, October 4-7, 2004, Proceedings, pp. 102-116, 2004, Springer, 3-540-23306-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Tongchit Tantikul, D. Manivannan 0001 |
A Communication-Induced Checkpointing and Asynchronous Recovery Algorithm for Multithreaded Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDCAT ![In: Parallel and Distributed Computing: Applications and Technologies, 5th International Conference, PDCAT 2004, Singapore, December 8-10, 2004, Proceedings, pp. 284-292, 2004, Springer, 3-540-24013-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONIP ![In: Neural Information Processing, 11th International Conference, ICONIP 2004, Calcutta, India, November 22-25, 2004, Proceedings, pp. 918-922, 2004, Springer, 3-540-23931-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Shaz Qadeer |
Verifying Sequential Consistency on Shared-Memory Multiprocessors by Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 14(8), pp. 730-741, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 35th Winter Simulation Conference: Driving Innovation, New Orleans, Louisiana, USA, December 7-10, 2003, pp. 847-854, 2003, IEEE Computer Society, 0-7803-8132-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRAL ![In: Proceedings of the Sixth International Workshop on Information Retrieval with Asian Languages, 2003, Sappro, Japan, July 7, 2003, pp. 168-175, 2003, ACL. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
18 | Luciano Bononi, Gabriele D'Angelo, Lorenzo Donatiello |
HLA-based Adaptive Distributed Simulation of Wireless Mobile Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADS ![In: Proceedings of the 17th Workshop on Parallel and Distributed Simulation, PADS 2003, June 10-13, 2003, San Diego, CA, USA, pp. 40-49, 2003, IEEE Computer Society, 0-7695-1970-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Sung Tae Jung, Chris J. Myers |
Direct synthesis of timed circuits from free-choice STGs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 21(3), pp. 275-290, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Ken-Chung Ho |
Non-causal error diffusion for image halftoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (5) ![In: Proceedings of the 2002 International Symposium on Circuits and Systems, ISCAS 2002, Scottsdale, Arizona, USA, May 26-29, 2002, pp. 257-260, 2002, IEEE, 0-7803-7448-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Wojciech Penczek |
Efficient Model Checking of Causal-Knowledge Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEEMAS ![In: From Theory to Practice in Multi-Agent Systems, Second International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS 2001 Cracow, Poland, September 26-29, 2001, Revised Papers, pp. 242-252, 2001, Springer, 3-540-43370-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Pierre Baldi, Søren Brunak, Paolo Frasconi, Gianluca Pollastri, Giovanni Soda |
Bidirectional Dynamics for Protein Secondary Structure Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sequence Learning ![In: Sequence Learning - Paradigms, Algorithms, and Applications, pp. 80-104, 2001, Springer, 3-540-41597-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Jing Lei Zhang, Carl Tropper |
The dependence list in time warp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Parallel and Distributed Simulation ![In: Proceedings of the 15th Workshop on Parallel and Distributed Simulation, PADS 2001, Lake Arrowhead, California, USA, May 15-18, 2001, pp. 35-45, 2001, IEEE Computer Society, 0-7695-1104-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Alessio Micheli, Diego Sona, Alessandro Sperduti |
Bi-Causal Recurrent Cascade Correlation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN (3) ![In: Proceedings of the IEEE-INNS-ENNS International Joint Conference on Neural Networks, IJCNN 2000, Neural Computing: New Challenges and Perspectives for the New Millennium, Como, Italy, July 24-27, 2000, Volume 3, pp. 3-8, 2000, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Jesper G. Henriksen |
An Expressive Extension of TLC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN'99, 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings, pp. 126-138, 1999, Springer, 3-540-66856-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Sung Tae Jung, Chris J. Myers |
Direct synthesis of timed asynchronous circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999, San Jose, California, USA, November 7-11, 1999, pp. 332-338, 1999, IEEE Computer Society, 0-7803-5832-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Gabriel Juhás |
On Semantics of Petri Nets over Partial Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM '99, Theory and Practice of Informatics, 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27 - December 4, 1999, Proceedings, pp. 414-421, 1999, Springer, 3-540-66694-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Alex Kondratyev, Michael Kishinevsky, Alexandre Yakovlev |
Hazard-free implementation of speed-independent circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 17(9), pp. 749-771, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|