Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Tobias Ganzow |
Definability and model checking: the role of orders and compositionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2011 |
RDF |
|
16 | Christopher Kennedy, Louise McNally |
Color, context, and compositionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 174(1), pp. 79-98, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Sven Schrader, Markus Diesmann, Abigail Morrison |
A Compositionality Machine Realized by a Hierarchic Architecture of Synfire Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Neurosci. ![In: Frontiers Comput. Neurosci. 4, pp. 154, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Giosuè Baggio, Travis Choma, Michiel van Lambalgen, Peter Hagoort |
Coercion and Compositionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cogn. Neurosci. ![In: J. Cogn. Neurosci. 22(9), pp. 2131-2140, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Emmanuel Morin, Béatrice Daille |
Compositionality and lexical alignment of multi-word terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lang. Resour. Evaluation ![In: Lang. Resour. Evaluation 44(1-2), pp. 79-95, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Seng Wai Loke |
Incremental awareness and compositionality: A design philosophy for context-aware pervasive systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pervasive Mob. Comput. ![In: Pervasive Mob. Comput. 6(2), pp. 239-253, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Janneke Huitink |
Quantified Conditionals and Compositionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lang. Linguistics Compass ![In: Lang. Linguistics Compass 4(1), pp. 42-53, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Maciej Gazda, Wan J. Fokkink |
Congruence from the Operator's Point of View: Compositionality Requirements on Process Semantics ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS ![In: Proceedings Seventh Workshop on Structural Operational Semantics, SOS 2010, Paris, France, 30 August 2010., pp. 15-25, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Steven Phillips, William H. Wilson |
Categorial Compositionality: A Category Theory Explanation for the Systematicity of Human Cognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 6(7), 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Alena Neviarouskaya, Helmut Prendinger, Mitsuru Ishizuka |
Recognition of Fine-Grained Emotions from Text: An Approach Based on the Compositionality Principle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Modeling Machine Emotions for Realizing Intelligence ![In: Modeling Machine Emotions for Realizing Intelligence - Foundations and Applications., pp. 179-207, 2010, Springer, 978-3-642-26326-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Catuscia Palamidessi |
Compositionality of Secure Information Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction, 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings, pp. 19, 2010, Springer, 978-3-642-13320-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Arend Rensink |
Compositionality in Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II, pp. 309-320, 2010, Springer, 978-3-642-14161-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Natalie Kühner, Sabine Schulte im Walde |
Determining the Degree of Compositionality of German Particle Verbs by Clustering Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KONVENS ![In: Semantic Approaches in Natural Language Processing: Proceedings of the 10th Conference on Natural Language Processing, KONVENS 2010, September 6-8, 2010, Saarland University, Saarbrücken, Germany, pp. 47-56, 2010, universaar, Universitätsverlag des Saarlandes / Saarland University Press / Presses universitaires de la Sarre, 978-3-86223-004-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Fan Bu, Xiaoyan Zhu, Ming Li 0001 |
Measuring the Non-compositionality of Multiword Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLING ![In: COLING 2010, 23rd International Conference on Computational Linguistics, Proceedings of the Conference, 23-27 August 2010, Beijing, China, pp. 116-124, 2010, Tsinghua University Press. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Olena Rogovchenko, Jacques Malenfant |
Composition and Compositionality in a Component Model for Autonomous Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC@TOOLS ![In: Software Composition - 9th International Conference, SC@TOOLS 2010, Malaga, Spain, July 1-2, 2010. Proceedings, pp. 34-49, 2010, Springer, 978-3-642-14045-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Stavros Tripakis, Dai N. Bui, Bert Rodiers, Edward A. Lee |
Compositionality in Synchronous Data Flow: modular code generation from hierarchical SDF graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCPS ![In: ACM/IEEE 1st International Conference on Cyber-Physical Systems, ICCPS '10, Stockholm, Sweden, April 12-15, 2010, pp. 199, 2010, ACM, 978-1-4503-0066-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Jan Bosch |
Architecture in the Age of Compositionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSA ![In: Software Architecture, 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings, pp. 1-4, 2010, Springer, 978-3-642-15113-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Shane Bergsma, Aditya Bhargava, Hua He, Grzegorz Kondrak |
Predicting the Semantic Compositionality of Prefix Verbs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP ![In: Proceedings of the 2010 Conference on Empirical Methods in Natural Language Processing, EMNLP 2010, 9-11 October 2010, MIT Stata Center, Massachusetts, USA, A meeting of SIGDAT, a Special Interest Group of the ACL, pp. 293-303, 2010, ACL, 978-1-932432-86-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Dan R. Ghica, Mohamed Nabih Menaa |
On the Compositionality of Round Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2010 - Concurrency Theory, 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings, pp. 417-431, 2010, Springer, 978-3-642-15374-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Silvia Bindelli, Elisabetta Di Nitto, Carlo A. Furia, Matteo Rossi |
Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26 March 2010, pp. 85-94, 2010, IEEE Computer Society, 978-0-7695-4015-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Matias David Lee, Pedro R. D'Argenio |
A Refinement Based Notion of Non-interference for Interface Automata: Compositionality, Decidability and Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: SCCC 2010, Proceedings of the XXIX International Conference of the Chilean Computer Science Society, Antofagasta, Chile, 15-19 November 2010, pp. 280-289, 2010, IEEE Computer Society, 978-0-7695-4400-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Alexander Hanuschkin |
Compositionality in neural networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
16 | Ingo Felscher, Wolfgang Thomas |
Compositionality and Reachability with Conditions on Path Lengths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 20(5), pp. 851-868, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink |
Compositionality for Markov reward chains with fast and silent transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Perform. Evaluation ![In: Perform. Evaluation 66(8), pp. 435-452, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Annabelle McIver, Carroll C. Morgan |
Sums and Lovers: Case Studies in Security, Compositionality and Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, pp. 289-304, 2009, Springer, 978-3-642-05088-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Refinement of security, formalised secrecy, hierarchical security reasoning, compositional semantics |
16 | Eugenie Giesbrecht |
In Search of Semantic Compositionality in Vector Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Leveraging Semantic Technologies, 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July 26-31, 2009. Proceedings, pp. 173-184, 2009, Springer, 978-3-642-03078-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Neil Madden, Brian Logan 0001 |
Modularity and Compositionality in Jason. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROMAS ![In: Programming Multi-Agent Systems - 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers, pp. 237-253, 2009, Springer, 978-3-642-14842-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Emanuel Todorov |
Compositionality of optimal control laws. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIPS ![In: Advances in Neural Information Processing Systems 22: 23rd Annual Conference on Neural Information Processing Systems 2009. Proceedings of a meeting held 7-10 December 2009, Vancouver, British Columbia, Canada., pp. 1856-1864, 2009, Curran Associates, Inc., 9781615679119. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Alena Neviarouskaya, Helmut Prendinger, Mitsuru Ishizuka |
Compositionality Principle in Recognition of Fine-Grained Emotions from Text. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWSM ![In: Proceedings of the Third International Conference on Weblogs and Social Media, ICWSM 2009, San Jose, California, USA, May 17-20, 2009, 2009, The AAAI Press, 978-1-57735-421-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Suzana Andova, Sonja Georgievska |
On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings, pp. 67-78, 2009, Springer, 978-3-540-95890-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Pauline Jacobson |
The Syntax/Semantics Interface: Compositionality Issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TbiLLC ![In: Logic, Language, and Computation - 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers, pp. 249-270, 2009, Springer, 978-3-642-22302-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Ioannis Korkontzelos, Suresh Manandhar |
Detecting Compositionality in Multi-Word Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL/IJCNLP (2) ![In: ACL 2009, Proceedings of the 47th Annual Meeting of the Association for Computational Linguistics and the 4th International Joint Conference on Natural Language Processing of the AFNLP, 2-7 August 2009, Singapore, Short Papers, pp. 65-68, 2009, The Association for Computer Linguistics. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Mark-Oliver Stehr |
Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 82(4), pp. 311-340, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
16 | Dénes Bisztray, Reiko Heckel, Hartmut Ehrig |
Compositionality of Model Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VODCA@FOSAD ![In: Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, VODCA@FOSAD 2008, Bertinoro, Italy, August 30-31, 2008, pp. 5-19, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Emilia Oikarinen, Tomi Janhunen |
Achieving compositionality of the stable model semantics for Smodels programs ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0809.4582, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
16 | Jun Tani, Ryunosuke Nishimoto, Rainer W. Paine |
Achieving "organic compositionality" through self-organization: Reviews on brain-inspired robotics experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Networks ![In: Neural Networks 21(4), pp. 584-603, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Emilia Oikarinen, Tomi Janhunen |
Achieving compositionality of the stable model semantics for smodels programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 8(5-6), pp. 717-761, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Florian Kammüller, Henry Sudhof |
Compositionality of Aspect Weaving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SJTU-TUB Joint Workshop ![In: Autonomous Systems - Self-Organization, Management, and Control, Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6-7, 2008., pp. 87-95, 2008, Springer, 978-1-4020-8888-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Paolo Baldan, Andrea Corradini 0001, Hartmut Ehrig, Barbara König 0001 |
Open Petri Nets: Non-deterministic Processes and Compositionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings, pp. 257-273, 2008, Springer, 978-3-540-87404-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | José Fernando Fontanari, Leonid I. Perlovsky |
Evolving Compositionality in Evolutionary Language Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Evol. Comput. ![In: IEEE Trans. Evol. Comput. 11(6), pp. 758-769, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Daniel Aaron Weiskopf |
Compound Nominals, Context, and Compositionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 156(1), pp. 161-204, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Julien Boucaron, Jean-Vivien Millo |
Compositionality of Statically Scheduled IP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMGALS@MEMOCODE ![In: Proceedings of the Third International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design, FMGALS@MEMOCODE 2007, Nice, France, May 29, 2007, pp. 71-87, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Alexander Rabinovich |
On compositionality and its limitations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 8(1), pp. 4, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Feferman-Vaught theorem, composition methods, modal logic, Compositional verification |
16 | Bassam Haddad |
Semantic Representation of Arabic: a Logical Approach towards Compositionality and Generalized Arabic Quantifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Process. Orient. Lang. ![In: Int. J. Comput. Process. Orient. Lang. 20(1), pp. 37-52, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Alexander Mehler |
Compositionality in Quantitative Semantics. A Theoretical Perspective on Text Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Aspects of Automatic Text Analysis ![In: Aspects of Automatic Text Analysis, pp. 139-167, 2007, 978-3-540-37520-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Frédéric Prost |
Taming Non-compositionality Using New Binders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UC ![In: Unconventional Computation, 6th International Conference, UC 2007, Kingston, Canada, August 13-17, 2007, Proceedings, pp. 150-162, 2007, Springer, 978-3-540-73553-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Diana McCarthy, Sriram Venkatapathy, Aravind K. Joshi |
Detecting Compositionality of Verb-Object Combinations using Selectional Preferences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP-CoNLL ![In: EMNLP-CoNLL 2007, Proceedings of the 2007 Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning, June 28-30, 2007, Prague, Czech Republic, pp. 369-379, 2007, ACL. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
16 | Fuming Wu |
Boundedness and Liveness Compositionality for Petri Nets on Trace Monoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPTA ![In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2007, Las Vegas, Nevada, USA, June 25-28, 2007, Volume 1, pp. 257-263, 2007, CSREA Press, 1-60132-020-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
16 | |
Applying Formal Methods to Compositionality Description of Web Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIW ![In: International Conference on Internet and Web Applications and Services (ICIW 2007), May 13-19, 2007, Le Morne, Mauritius, pp. 13, 2007, IEEE Computer Society, 0-7695-2844-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Tao Gong 0001 |
Language evolution from a simulation perspective: on the coevolution of compositionality and regularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2007 |
RDF |
|
16 | Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind |
Compositionality of Hennessy-Milner logic by structural operational semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 354(3), pp. 421-440, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Françoise Gayral, Daniel Kayser, François Lévy |
Challenging the principle of compositionality in interpreting natural language texts ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0609043, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
16 | Jaak Henno |
Emergence of Names and Compositionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EJC ![In: Information Modelling and Knowledge Bases XVIII, 16th European-Japanese Conference on Information Modelling and Knowledge Bases (EJC 2006), Trojanovice, Czech Republic, May 29th - June 2nd, 2006, pp. 80-99, 2006, IOS Press, 978-1-58603-710-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
16 | Goran Frehse |
On Timed Simulation Relations for Hybrid Systems and Compositionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings, pp. 200-214, 2006, Springer, 3-540-45026-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Darragh Byrne |
Compositionality and the Manifestation Challenge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 144(1), pp. 101-136, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Mark-Oliver Stehr |
Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Proceedings of the First IPM International Workshop on Foundations of Software Engineering, FSEN 2005, Tehran, Iran, October 1-3, 2005, pp. 299-323, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Antonella Santone, Gigliola Vaglini |
Compositionality and locality for improving model checking in the selective mu-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 54(2-3), pp. 291-311, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Philip V. Ogren, K. Bretonnel Cohen, Lawrence Hunter |
Implications of Compositionality in the Gene Ontology for Its Curation and Usage . ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pacific Symposium on Biocomputing ![In: Biocomputing 2005, Proceedings of the Pacific Symposium, Hawaii, USA, 4-8 January 2005, 2005, World Scientific, 981-256-046-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
16 | Sriram Venkatapathy, Aravind K. Joshi |
Measuring the Relative Compositionality of Verb-Noun (V-N) Collocations by Integrating Features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLT/EMNLP ![In: HLT/EMNLP 2005, Human Language Technology Conference and Conference on Empirical Methods in Natural Language Processing, Proceedings of the Conference, 6-8 October 2005, Vancouver, British Columbia, Canada, pp. 899-906, 2005, The Association for Computational Linguistics. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
16 | John C. Flackett |
The dichotomy of scaled connectionist compositionality : (S)RAAM - trick or treat? ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2005 |
RDF |
|
16 | Cas Cremers |
Compositionality of Security Protocols: A Research Agenda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VODCA@FOSAD ![In: Proceedings of the First International Workshop on Views on Designing Complex Architectures, VODCA@FOSAD 2004, Bertinoro, Italy, September 11-12, 2004, pp. 99-110, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Carroll Morgan |
Of Probabilistic Wp and SP-and Compositionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years Communicating Sequential Processes ![In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers, pp. 220-241, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Paola Inverardi |
Compositionality, Coordination and Software Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages, 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings, pp. 3-4, 2004, Springer, 3-540-21044-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | François Rivest, Thomas R. Shultz |
Compositionality in a Knowledge-Based Constructive Learner. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Technical Report (3) ![In: Compositional Connectionism in Cognitive Science, Papers from the 2004 AAAI Fall Symposium. Arlington, VA, USA, October 22-24, 2004., pp. 54-58, 2004, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
16 | Reinhard Blutner, Petra Hendriks, Helen de Hoop, Oren Schwartz |
When Compositionality Fails to Predict Systematicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Technical Report (3) ![In: Compositional Connectionism in Cognitive Science, Papers from the 2004 AAAI Fall Symposium. Arlington, VA, USA, October 22-24, 2004., pp. 6-11, 2004, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
16 | Mark Steedman |
Where Does Compositionality Come From? ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Technical Report (3) ![In: Compositional Connectionism in Cognitive Science, Papers from the 2004 AAAI Fall Symposium. Arlington, VA, USA, October 22-24, 2004., pp. 59-62, 2004, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
16 | Monika Solanki, Antonio Cau, Hussein Zedan |
Introducing Compositionality in Web Service Descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTDCS ![In: 10th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2004), 26-28 May 2004, Suzhou, China, pp. 14-20, 2004, IEEE Computer Society, 0-7695-2118-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Corina Cîrstea |
On Expressivity and Compositionality in Logics for Coalgebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS ![In: 6th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2003, Satellite Event for ETAPS 2003, Warsaw, Poland, April 5-6, 2003, pp. 110-127, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Peter Pagin |
Communication and Strong Compositionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 32(3), pp. 287-322, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Heinz W. Schmidt |
Trustworthy components - compositionality and prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 65(3), pp. 215-225, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Michel Simard, Philippe Langlais |
Statistical Translation Alignment with Compositionality Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ParallelTexts@NAACL-HLT ![In: Proceedings of the HLT-NAACL 2003 Workshop on Building and Using Parallel Texts: Data Driven Machine Translation and Beyond, Edmonton, Canada, May 31, 2003, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
16 | Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind |
Compositionality of Hennessy-Milner Logic through Structural Operational Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003, Proceedings, pp. 412-422, 2003, Springer, 3-540-40543-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager |
Compositionality for Probabilistic Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2003 - Concurrency Theory, 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings, pp. 204-222, 2003, Springer, 3-540-40753-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen |
Verification of Hierarchical State/Event Systems using Reusability and Compositionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 21(2), pp. 225-244, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Wil M. P. van der Aalst, Kees M. van Hee, Robert A. van der Toorn |
"Compositionality of projection inheritance" [Sci. Comput. Programming 42 (2-3) (2002) 129-171]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 44(3), pp. 343-344, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Roberto Giacobazzi, Isabella Mastroeni |
Compositionality in the puzzle of semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), Portland, Oregon, USA, January 14-15, 2002, pp. 87-97, 2002, ACM, 1-58113-455-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
reduced power, transfinite semantics, Abstract interpretation, compositional semantics, program manipulation |
16 | Gila Sher |
Truth, Logical Structure, and Compositionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 126(1-2), pp. 195-219, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Jørn Lind-Nielsen, Henrik Reif Andersen, Henrik Hulgaard, Gerd Behrmann, Kåre J. Kristoffersen, Kim Guldstrand Larsen |
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 18(1), pp. 5-23, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Theo M. V. Janssen |
Frege, Contextuality and Compositionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 10(1), pp. 115-136, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Gabriel Sandu, Jaakko Hintikka |
Aspects of Compositionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 10(1), pp. 49-61, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Peter Pagin, Dag Westerståhl |
Editorial: Compositionality: Current Issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 10(1), pp. 1-5, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Wilfrid Hodges |
Formal Features of Compositionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 10(1), pp. 7-28, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Herman Hendriks |
Compositionality and Model-Theoretic Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 10(1), pp. 29-48, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Aloysius K. Mok, Alex Xiang Feng |
Towards Compositionality in Real-Time Resource Partitioning Based on Regularity Bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), London, UK, 2-6 December 2001, pp. 129-138, 2001, IEEE Computer Society, 0-7695-1420-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Utiliza-tion bounds, Open System, Real-Time Task Scheduling, Resource Partition |
16 | Sofie Verbaeten, Marc Denecker, Danny De Schreye |
Compositionality of Normal Open Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Program. ![In: J. Log. Program. 42(3), pp. 151-183, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Steve A. Schneider |
May Testing, Non-interference, and Compositionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCSIT ![In: First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT 2000, Cork, Ireland, July 20-21, 2000, pp. 361-391, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Andreas Strotmann, Ladislav J. Kohout |
OpenMath: compositionality achieved at last. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSAM Bull. ![In: SIGSAM Bull. 34(2), pp. 66-72, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Shalom Lappin, Wlodek Zadrozny |
Compositionality, Synonymy, and the Systematic Representation of Meaning ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.CL/0001006, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
16 | Wlodek Zadrozny |
Minimum Description Length and Compositionality ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.CL/0001002, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
16 | Albert Benveniste, Benoît Caillaud, Paul Le Guernic |
Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 163(1), pp. 125-171, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Antonella Santone |
Compositionality for Improving Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Distributed System Development, FORTE/PSTV 2000, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), October 10-13, 2000, Pisa, Italy, pp. 105-120, 2000, Kluwer, 0-7923-7968-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
16 | Richard Zuber |
Exclusion phrases and criticisms of semantic compositionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACLIC ![In: Proceedings of the 14th Pacific Asia Conference on Language, Information and Computation, PACLIC 2000, Tokyo, Japan, February 15-17, 2000, pp. 401-412, 2000, PACLIC 14 Organizing Committee, 978-4-9900354-2-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
16 | Marco Comini, Maria Chiara Meo |
Compositionality Properties of SLD-Derivations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 211(1-2), pp. 275-309, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen |
Verification of Hierarchical State/Event Systems Using Reusability and Compositionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, 5th International Conference, TACAS '99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings, pp. 163-177, 1999, Springer, 3-540-65703-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Lawrence K. McKnight, Peter L. Elkin, Philip V. Ogren, Christopher G. Chute |
Barriers to the clinical implementation of compositionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 1999, American Medical Informatics Association Annual Symposium, Washington, DC, USA, November 6-10, 1999, 1999, AMIA. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
16 | Nick Braisby |
Compositionality and the Modelling of Complex Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Minds Mach. ![In: Minds Mach. 8(4), pp. 479-507, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Peter L. Elkin, Mark S. Tuttle, Kevin Keck, Keith E. Campbell, Geoffrey E. Atkin, Christopher G. Chute |
The Role of Compositionality in Standardized Problem List Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MedInfo ![In: MEDINFO '98 - 9th World Congress on Medical Informatics, Seoul, South Korea, August 14-21, 1998., pp. 660-664, 1998, IOS Press, 978-90-5199-407-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Willem P. de Roever, Hans Langmaack, Amir Pnueli (eds.) |
Compositionality: The Significant Difference, International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPOS ![Springer, 3-540-65493-3 The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Paulo Blauth Menezes |
Diagonal Compositionality of Partial Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
US-Brazil Joint Workshops on the Formal Foundations of Software Systems ![In: US-Brazil Joint Workshops on the Formal Foundations of Software Systems, Rio de Janeiro, Brazil, May 5-9, 1997 & New Orleans, LA, USA, November 13-16, 1997, pp. 274, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Theo M. V. Janssen, Barbara H. Partee |
Compositionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Logic and Language ![In: Handbook of Logic and Language., pp. 417-473, 1997, North Holland / Elsevier, 978-0-444-81714-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|