Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Tobias Ganzow |
Definability and model checking: the role of orders and compositionality. |
|
2011 |
RDF |
|
16 | Christopher Kennedy, Louise McNally |
Color, context, and compositionality. |
Synth. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Sven Schrader, Markus Diesmann, Abigail Morrison |
A Compositionality Machine Realized by a Hierarchic Architecture of Synfire Chains. |
Frontiers Comput. Neurosci. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Giosuè Baggio, Travis Choma, Michiel van Lambalgen, Peter Hagoort |
Coercion and Compositionality. |
J. Cogn. Neurosci. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Emmanuel Morin, Béatrice Daille |
Compositionality and lexical alignment of multi-word terms. |
Lang. Resour. Evaluation |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Seng Wai Loke |
Incremental awareness and compositionality: A design philosophy for context-aware pervasive systems. |
Pervasive Mob. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Janneke Huitink |
Quantified Conditionals and Compositionality. |
Lang. Linguistics Compass |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Maciej Gazda, Wan J. Fokkink |
Congruence from the Operator's Point of View: Compositionality Requirements on Process Semantics |
SOS |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Steven Phillips, William H. Wilson |
Categorial Compositionality: A Category Theory Explanation for the Systematicity of Human Cognition. |
PLoS Comput. Biol. |
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. |
Modeling Machine Emotions for Realizing Intelligence |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Catuscia Palamidessi |
Compositionality of Secure Information Flow. |
MPC |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Arend Rensink |
Compositionality in Graph Transformation. |
ICALP (2) |
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. |
KONVENS |
2010 |
DBLP BibTeX RDF |
|
16 | Fan Bu, Xiaoyan Zhu, Ming Li 0001 |
Measuring the Non-compositionality of Multiword Expressions. |
COLING |
2010 |
DBLP BibTeX RDF |
|
16 | Olena Rogovchenko, Jacques Malenfant |
Composition and Compositionality in a Component Model for Autonomous Robots. |
SC@TOOLS |
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. |
ICCPS |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Jan Bosch |
Architecture in the Age of Compositionality. |
ECSA |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Shane Bergsma, Aditya Bhargava, Hua He, Grzegorz Kondrak |
Predicting the Semantic Compositionality of Prefix Verbs. |
EMNLP |
2010 |
DBLP BibTeX RDF |
|
16 | Dan R. Ghica, Mohamed Nabih Menaa |
On the Compositionality of Round Abstraction. |
CONCUR |
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. |
ICECCS |
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. |
SCCC |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Alexander Hanuschkin |
Compositionality in neural networks. |
|
2010 |
RDF |
|
16 | Ingo Felscher, Wolfgang Thomas |
Compositionality and Reachability with Conditions on Path Lengths. |
Int. J. Found. Comput. Sci. |
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. |
Perform. Evaluation |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Annabelle McIver, Carroll C. Morgan |
Sums and Lovers: Case Studies in Security, Compositionality and Refinement. |
FM |
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. |
ICCS |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Neil Madden, Brian Logan 0001 |
Modularity and Compositionality in Jason. |
PROMAS |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Emanuel Todorov |
Compositionality of optimal control laws. |
NIPS |
2009 |
DBLP BibTeX RDF |
|
16 | Alena Neviarouskaya, Helmut Prendinger, Mitsuru Ishizuka |
Compositionality Principle in Recognition of Fine-Grained Emotions from Text. |
ICWSM |
2009 |
DBLP BibTeX RDF |
|
16 | Suzana Andova, Sonja Georgievska |
On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Pauline Jacobson |
The Syntax/Semantics Interface: Compositionality Issues. |
TbiLLC |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Ioannis Korkontzelos, Suresh Manandhar |
Detecting Compositionality in Multi-Word Expressions. |
ACL/IJCNLP (2) |
2009 |
DBLP BibTeX RDF |
|
16 | Mark-Oliver Stehr |
Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation. |
Fundam. Informaticae |
2008 |
DBLP BibTeX RDF |
|
16 | Dénes Bisztray, Reiko Heckel, Hartmut Ehrig |
Compositionality of Model Transformations. |
VODCA@FOSAD |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Emilia Oikarinen, Tomi Janhunen |
Achieving compositionality of the stable model semantics for Smodels programs |
CoRR |
2008 |
DBLP BibTeX RDF |
|
16 | Jun Tani, Ryunosuke Nishimoto, Rainer W. Paine |
Achieving "organic compositionality" through self-organization: Reviews on brain-inspired robotics experiments. |
Neural Networks |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Emilia Oikarinen, Tomi Janhunen |
Achieving compositionality of the stable model semantics for smodels programs. |
Theory Pract. Log. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Florian Kammüller, Henry Sudhof |
Compositionality of Aspect Weaving. |
SJTU-TUB Joint Workshop |
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. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
16 | José Fernando Fontanari, Leonid I. Perlovsky |
Evolving Compositionality in Evolutionary Language Games. |
IEEE Trans. Evol. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Daniel Aaron Weiskopf |
Compound Nominals, Context, and Compositionality. |
Synth. |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Julien Boucaron, Jean-Vivien Millo |
Compositionality of Statically Scheduled IP. |
FMGALS@MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Alexander Rabinovich |
On compositionality and its limitations. |
ACM Trans. Comput. Log. |
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. |
Int. J. Comput. Process. Orient. Lang. |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Alexander Mehler |
Compositionality in Quantitative Semantics. A Theoretical Perspective on Text Mining. |
Aspects of Automatic Text Analysis |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Frédéric Prost |
Taming Non-compositionality Using New Binders. |
UC |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Diana McCarthy, Sriram Venkatapathy, Aravind K. Joshi |
Detecting Compositionality of Verb-Object Combinations using Selectional Preferences. |
EMNLP-CoNLL |
2007 |
DBLP BibTeX RDF |
|
16 | Fuming Wu |
Boundedness and Liveness Compositionality for Petri Nets on Trace Monoids. |
PDPTA |
2007 |
DBLP BibTeX RDF |
|
16 | |
Applying Formal Methods to Compositionality Description of Web Service. |
ICIW |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Tao Gong 0001 |
Language evolution from a simulation perspective: on the coevolution of compositionality and regularity. |
|
2007 |
RDF |
|
16 | Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind |
Compositionality of Hennessy-Milner logic by structural operational semantics. |
Theor. Comput. Sci. |
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 |
CoRR |
2006 |
DBLP BibTeX RDF |
|
16 | Jaak Henno |
Emergence of Names and Compositionality. |
EJC |
2006 |
DBLP BibTeX RDF |
|
16 | Goran Frehse |
On Timed Simulation Relations for Hybrid Systems and Compositionality. |
FORMATS |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Darragh Byrne |
Compositionality and the Manifestation Challenge. |
Synth. |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Mark-Oliver Stehr |
Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation. |
FSEN |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Antonella Santone, Gigliola Vaglini |
Compositionality and locality for improving model checking in the selective mu-calculus. |
Sci. Comput. Program. |
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 . |
Pacific Symposium on Biocomputing |
2005 |
DBLP BibTeX RDF |
|
16 | Sriram Venkatapathy, Aravind K. Joshi |
Measuring the Relative Compositionality of Verb-Noun (V-N) Collocations by Integrating Features. |
HLT/EMNLP |
2005 |
DBLP BibTeX RDF |
|
16 | John C. Flackett |
The dichotomy of scaled connectionist compositionality : (S)RAAM - trick or treat? |
|
2005 |
RDF |
|
16 | Cas Cremers |
Compositionality of Security Protocols: A Research Agenda. |
VODCA@FOSAD |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Carroll Morgan |
Of Probabilistic Wp and SP-and Compositionality. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Paola Inverardi |
Compositionality, Coordination and Software Architecture. |
COORDINATION |
2004 |
DBLP DOI BibTeX RDF |
|
16 | François Rivest, Thomas R. Shultz |
Compositionality in a Knowledge-Based Constructive Learner. |
AAAI Technical Report (3) |
2004 |
DBLP BibTeX RDF |
|
16 | Reinhard Blutner, Petra Hendriks, Helen de Hoop, Oren Schwartz |
When Compositionality Fails to Predict Systematicity. |
AAAI Technical Report (3) |
2004 |
DBLP BibTeX RDF |
|
16 | Mark Steedman |
Where Does Compositionality Come From? |
AAAI Technical Report (3) |
2004 |
DBLP BibTeX RDF |
|
16 | Monika Solanki, Antonio Cau, Hussein Zedan |
Introducing Compositionality in Web Service Descriptions. |
FTDCS |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Corina Cîrstea |
On Expressivity and Compositionality in Logics for Coalgebras. |
CMCS |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Peter Pagin |
Communication and Strong Compositionality. |
J. Philos. Log. |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Heinz W. Schmidt |
Trustworthy components - compositionality and prediction. |
J. Syst. Softw. |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Michel Simard, Philippe Langlais |
Statistical Translation Alignment with Compositionality Constraints. |
ParallelTexts@NAACL-HLT |
2003 |
DBLP BibTeX RDF |
|
16 | Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind |
Compositionality of Hennessy-Milner Logic through Structural Operational Semantics. |
FCT |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager |
Compositionality for Probabilistic Automata. |
CONCUR |
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. |
Formal Methods Syst. Des. |
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]. |
Sci. Comput. Program. |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Roberto Giacobazzi, Isabella Mastroeni |
Compositionality in the puzzle of semantics. |
PEPM |
2002 |
DBLP DOI BibTeX RDF |
reduced power, transfinite semantics, Abstract interpretation, compositional semantics, program manipulation |
16 | Gila Sher |
Truth, Logical Structure, and Compositionality. |
Synth. |
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. |
Formal Methods Syst. Des. |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Theo M. V. Janssen |
Frege, Contextuality and Compositionality. |
J. Log. Lang. Inf. |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Gabriel Sandu, Jaakko Hintikka |
Aspects of Compositionality. |
J. Log. Lang. Inf. |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Peter Pagin, Dag Westerståhl |
Editorial: Compositionality: Current Issues. |
J. Log. Lang. Inf. |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Wilfrid Hodges |
Formal Features of Compositionality. |
J. Log. Lang. Inf. |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Herman Hendriks |
Compositionality and Model-Theoretic Interpretation. |
J. Log. Lang. Inf. |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Aloysius K. Mok, Alex Xiang Feng |
Towards Compositionality in Real-Time Resource Partitioning Based on Regularity Bounds. |
RTSS |
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. |
J. Log. Program. |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Steve A. Schneider |
May Testing, Non-interference, and Compositionality. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Andreas Strotmann, Ladislav J. Kohout |
OpenMath: compositionality achieved at last. |
SIGSAM Bull. |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Shalom Lappin, Wlodek Zadrozny |
Compositionality, Synonymy, and the Systematic Representation of Meaning |
CoRR |
2000 |
DBLP BibTeX RDF |
|
16 | Wlodek Zadrozny |
Minimum Description Length and Compositionality |
CoRR |
2000 |
DBLP BibTeX RDF |
|
16 | Albert Benveniste, Benoît Caillaud, Paul Le Guernic |
Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation. |
Inf. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Antonella Santone |
Compositionality for Improving Model Checking. |
FORTE |
2000 |
DBLP BibTeX RDF |
|
16 | Richard Zuber |
Exclusion phrases and criticisms of semantic compositionality. |
PACLIC |
2000 |
DBLP BibTeX RDF |
|
16 | Marco Comini, Maria Chiara Meo |
Compositionality Properties of SLD-Derivations. |
Theor. Comput. Sci. |
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. |
TACAS |
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. |
AMIA |
1999 |
DBLP BibTeX RDF |
|
16 | Nick Braisby |
Compositionality and the Modelling of Complex Concepts. |
Minds Mach. |
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. |
MedInfo |
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 |
COMPOS |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Paulo Blauth Menezes |
Diagonal Compositionality of Partial Petri Nets. |
US-Brazil Joint Workshops on the Formal Foundations of Software Systems |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Theo M. V. Janssen, Barbara H. Partee |
Compositionality. |
Handbook of Logic and Language |
1997 |
DBLP DOI BibTeX RDF |
|