The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Compositionality with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1984-1989 (21) 1990-1991 (22) 1992-1993 (16) 1994-1995 (22) 1996-1997 (46) 1998 (15) 1999-2000 (44) 2001 (26) 2002 (22) 2003 (27) 2004 (28) 2005 (33) 2006 (21) 2007 (29) 2008 (34) 2009 (33) 2010 (47) 2011-2012 (36) 2013 (42) 2014 (30) 2015 (35) 2016 (31) 2017 (35) 2018 (26) 2019 (58) 2020 (35) 2021 (30) 2022 (39) 2023 (63) 2024 (8)
Publication types (Num. hits)
article(292) book(2) incollection(7) inproceedings(632) phdthesis(16) proceedings(5)
Venues (Conferences, Journals, ...)
CoRR(119) COMPOS(26) Concurrency, Compositionality,...(21) CONCUR(20) CogSci(16) Compositionality(16) CVSM@ACL(15) EMNLP(10) CVSC(9) J. Log. Lang. Inf.(9) AAAI(8) NeurIPS(8) ACL (1)(7) FASE(7) LICS(7) REX Workshop(7) More (+10 of total 414)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 465 occurrences of 271 keywords

Results
Found 954 publication records. Showing 954 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
104Roberto Segala Compositional Verification of Randomized Distributed Algorithms. Search on Bibsonomy COMPOS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
67Moshe Abeles, Gaby Hayon, Daniel Lehmann 0001 Modeling Compositionality by Dynamic Binding of Synfire Chains. Search on Bibsonomy J. Comput. Neurosci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF binding-mechanism, neural-networks, compositionality, synfire-chains
67Maurice H. ter Beek, Jetty Kleijn Team Automata Satisfying Compositionality. Search on Bibsonomy FME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF team automata, synchronizations, computations, compositionality, behaviour, shuffles
66Florence Maraninchi, Yann Rémond Compositionality Criteria for Defining Mixed-Styles Synchronous Languages. Search on Bibsonomy COMPOS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
61Heiko Mantel On the Composition of Secure Systems. Search on Bibsonomy S&P The full citation details ... 2002 DBLP  DOI  BibTeX  RDF composition, information flow, compositionality, noninterference, emergent properties
60Dines Bjørner, Asger Eir Compositionality: Ontology and Mereology of Domains. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
60I. S. W. B. Prasetya Formalization of Variables Access Constraints to Support Compositionality of Liveness Properties. Search on Bibsonomy HUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
57Kim Guldstrand Larsen Compositional Theories Based on an Operational Semantics of Contexts. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Classification of Compositionality, Contexts as Transducers, Relative Bisimulation, Recursive Modal Logic, Weakest Property Transformer, Process Algebra, Bisimulation, Reactive Systems, Environments, Compositionality
56Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu Analyzing BPEL Compositionality Based on Petri Nets. Search on Bibsonomy COMPSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Verification, Petri Net, BPEL, Soundness, compositionality
56Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink Compositionality for Markov Reward Chains with Fast Transitions. Search on Bibsonomy EPEW The full citation details ... 2007 DBLP  DOI  BibTeX  RDF discontinuous Markov reward chains, Markov reward chains with fast transitions, lumpability, Kronecker product and sum, reduction, compositionality, parallel composition
56Simona Bernardi 0001, Susanna Donatelli, András Horváth Implementing compositionality for stochastic Petri nets. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Stochastic well-formed nets, Fault tolerance, Performance analysis, Modularity, Compositionality
55Albert Benveniste, Paul Le Guernic, Pascal Aubry Compositionality in Dataflow Synchronous Languages: Specification and Code Generation. Search on Bibsonomy COMPOS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF desynchronisation, modularity, code generation, synchronous languages, separate compilation
50Ian T. Foster Compositional Parallel Programming Languages. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF parallel programming, compositionality, parallel languages
49Sriram Venkatapathy, Aravind K. Joshi Relative Compositionality of Multi-word Expressions: A Study of Verb-Noun (V-N) Collocations. Search on Bibsonomy IJCNLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
49Naijun Zhan, Jinzhao Wu Compositionality of Fixpoint Logic with Chop. Search on Bibsonomy ICTAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
44Nicolas Behr, Jean Krivine Compositionality of Rewriting Rules with Conditions. Search on Bibsonomy Compositionality The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
44Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.) Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
44Cornelis Huizing, Ron Koymans, Ruurd Kuiper 0001 A Small Step for Mankind. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
44Frank S. de Boer Reasoning about Recursive Processes in Shared-Variable Concurrency. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
44E. Allen Emerson Meanings of Model Checking. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
44Dave Clarke 0001, Einar Broch Johnsen, Olaf Owe Concurrent Objects à la Carte. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
44Peter van Emde Boas Playing Savitch and Cooking Games. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
44Manfred Broy Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
44Ittai Balaban, Amir Pnueli, Lenore D. Zuck Proving the Refuted: Symbolic Model Checkers as Proof Generators. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
44Jan Peleska 0001 Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
44Hans Langmaack On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
44Ansgar Fehnker, Ralf Huuck, Sean Seefried Counterexample Guided Path Reduction for Static Program Analysis. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
44Ernst-Rüdiger Olderog, Andreas Podelski Explicit Fair Scheduling for Dynamic Control. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
44Kai Engelhardt, Ralf Huuck Smaller Abstractions for FOR ALL CTL* without Next. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
44Jozef Hooman, Marcel Verhoef Formal Semantics of a VDM Extension for Distributed Embedded Systems. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
44Leslie Lamport Computer Science and State Machines. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
44Prasad Joshi, Peter A. Beerel, Marly Roncken, Ivan E. Sutherland Timing Verification of GasP Asynchronous Circuits: Predicted Delay Variations Observed by Experiment. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
44Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade 0001, Yassine Lakhnech Automated Proofs for Asymmetric Encryption. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
44Dennis Dams, Ulrich Hannemann, Martin Steffen A Bibliography of Willem-Paul de Roever. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
44Shivali Agarwal, R. K. Shyamasundar A Proof System for a PGAS Language. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
44David Harel, Amir Kantor, Shahar Maoz On the Power of Play-Out for Scenario-Based Programs. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
44Jane Hillston Exploiting Structure in Solution: Decomposing Compositional Models. Search on Bibsonomy European Educational Forum: School on Formal Methods and Performance Analysis The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
39Miklós Erdélyi-Szabó, László Kálmán, Agi Kurucz Towards a natural language semantics without functors and operands. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Finite axiomatisability, Finite entailment problem, Function/argument metaphor, Pieces of evidence, Measurements, Completeness, Compositionality, Decision algorithm, Natural language semantics
39I. S. W. B. Prasetya, Tanja E. J. Vos, A. Azurat, S. Doaitse Swierstra A UNITY-Based Framework Towards Component Based Systems. Search on Bibsonomy OPODIS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF component based applications, verification, compositionality
39Gerald Lüttgen, Michael Mendler The intuitionism behind Statecharts steps. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Statecharts, Compositionality, intuitionistic logic, full abstraction, Kripke semantics
39Antonio Cau Composing and Refining Dense Temporal Logic Specifications. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Temporal logic, Refinement, Compositionality
39Mohamed-Lyes Benalycherif, Claude Girault Behavioural and Structural Composition Rules Preserving Liveness by Synchronization for Colored FIFO Nets. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1996 DBLP  DOI  BibTeX  RDF blocking relation, colored FIFO nets, equal conflict, freeing relation, synchronization medium, synchronization, state machine, compositionality, liveness
38Milena Garrão, Claudia Oliveira, Maria Claudia de Freitas, Maria Carmelita Dias Corpus-Based Compositionality. Search on Bibsonomy PROPOR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Henrik Ejersbo Jensen, Kim Guldstrand Larsen, Arne Skou Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction. Search on Bibsonomy FTRTFT The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
38Marcus Kracht Strict Compositionality and Literal Movement Grammars. Search on Bibsonomy LACL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
38Kim Guldstrand Larsen Ideal Specification Formalism + Expressivity + Compositionality + Decidability + Testability + ... Search on Bibsonomy CONCUR The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
34Jan Bosch Software Product Families: Towards Compositionality. Search on Bibsonomy FASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF compositionality, Software product families
33Bartek Klin Bialgebraic Operational Semantics and Modal Logic. Search on Bibsonomy LICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
33Joxan Jaffar, Andrew E. Santosa, Razvan Voicu A CLP Method for Compositional and Intermittent Predicate Abstraction. Search on Bibsonomy VMCAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
33Willem H. Zuidema Optimal Communication in a Noisy and Heterogeneous Environment. Search on Bibsonomy ECAL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
33Theodosis Dimitrakos, Juan Bicarregui, Brian Matthews, T. S. E. Maibaum Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context. Search on Bibsonomy ZB The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
33Fernando Orejas, Elvira Pino, Hartmut Ehrig Algebraic Methods in the Compositional Analysis of Logic Programs. Search on Bibsonomy MFCS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
33Belém Priego Sánchez, David Pinto 0001, Vivek Kumar Singh 0001 Compositionality versus non-compositionality verification based on lexical domain for verbal phraseological units. Search on Bibsonomy J. Intell. Fuzzy Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
33Nando de Freitas Learning to Learn and Compositionality with Deep Recurrent Neural Networks: Learning to Learn and Compositionality. Search on Bibsonomy KDD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
33Alexandre Allauzen, Edward Grefenstette, Karl Moritz Hermann, Hugo Larochelle, Scott Wen-tau Yih Proceedings of the 3rd Workshop on Continuous Vector Space Models and their Compositionality. Search on Bibsonomy CVSC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
33Nal Kalchbrenner, Phil Blunsom Recurrent Convolutional Neural Networks for Discourse Compositionality. Search on Bibsonomy CVSM@ACL The full citation details ... 2013 DBLP  BibTeX  RDF
33Lubomír Krcmár, Karel Jezek, Pavel Pecina Determining Compositionality of Expresssions Using Various Word Space Models and Methods. Search on Bibsonomy CVSM@ACL The full citation details ... 2013 DBLP  BibTeX  RDF
28Anca Mariana Molnos, Sorin Cotofana, Marc J. M. Heijligers, Jos T. J. van Eijndhoven Compositional, Dynamic Cache Management for Embedded Chip Multiprocessors. Search on Bibsonomy J. Signal Process. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Predictability, Multiprocessor, Compositionality, Cache management
28Olaf Owe, Gerardo Schneider, Martin Steffen Components, objects, and contracts. Search on Bibsonomy SAVCBS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Creol, object-orientation, components, interfaces, contracts, compositionality, deontic logic
28Gaby Hayon, Moshe Abeles, Daniel Lehmann 0001 A Model for Representing the Dynamics of a System of Synfire Chains. Search on Bibsonomy J. Comput. Neurosci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF binding-mechanism, neural-networks, compositionality, synfire-chains
28Ismail Assayad, Sergio Yovine Compositional Constraints Generation for Concurrent Real-Time Loops with Interdependent Iterations. Search on Bibsonomy IICS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Execution constraints synthesis, Concurrent loops, Compositionality
28Vlad Rusu Compositional Verification of an ATM Protocol. Search on Bibsonomy FME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF SSCOP protocol, abstraction, theorem proving, Compositionality, PVS
28Peter Graubmann MSC Connectors - The Chamber of Secrets. Search on Bibsonomy SDL Forum The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Interface Protocol, Message Sequence Chart (MSC), MSC Connector, Component Oriented Software Development, System Family Engineering Abbreviations: BMSC: Basic Message Sequence Chart, MSC: Message Se-quence Chart, LPO: Labeled Partial Ordering, TTCN-3: Test and Test Control Notation Version-3, Component, Interface, Compositionality
28Peter Graubmann, Ekkart Rudolph MSC Connectors: The Philosopher's Stone. Search on Bibsonomy SAM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Message Sequence Charts (MSC), MSC Connector, Component Oriented Software Development, System Family Engineering, Interface Protocol, Component, Interface, Compositionality
28Mohammad Zulkernine, Rudolph E. Seviora Assume-Guarantee Algorithms for Automatic Detection of Software Failures. Search on Bibsonomy IFM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF applied formal methods, Software reliability, compositionality, failure detection, online monitoring
28Simona Bernardi 0001, Susanna Donatelli, José Merseguer From UML sequence diagrams and statecharts to analysable petrinet models. Search on Bibsonomy Workshop on Software and Performance The full citation details ... 2002 DBLP  DOI  BibTeX  RDF modeling, UML, compositionality, GSPN
28Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo Verifying Implementation Relations. Search on Bibsonomy FME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Behaviour ion, verification, compositionality, communicating sequential processes
28Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo Implementing Communicating Processes in the Event of Interface Difference. Search on Bibsonomy ACSD The full citation details ... 2001 DBLP  DOI  BibTeX  RDF behaviour abstraction, refinement, compositionality, communicating sequential processes, Theory of parallel and distributed computation
28Ralf Pinger, Hans-Dieter Ehrich Compositional Checking of Communication among Observers. Search on Bibsonomy FASE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF distributed logic, modelling and design, object system, model checking, verification, temporal logic, compositionality
28Hanna Klaudel, Franck Pommereau A Concurrent and Compositional Petri Net Semantics of Preemption. Search on Bibsonomy IFM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Petri nets, Concurrency, Compositionality, Preemption
28Hans Fleischhack, Bernd Grahlmann A Compositional Petri Net Semantics for SDL. Search on Bibsonomy ICATPN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF ARQ protocol, Petri Net Semantics, Concurrency, SDL, Compositionality, Procedures, Infinity, Dynamic Processes
28Bengt Jonsson 0001 Compositional Specification and Verification of Distributed Systems. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF specification, message passing, compositionality, stepwise refinement, modular specification, assertional reasoning
28Doug Arnold, Louisa Sadler The theoretical basis of MiMo. Search on Bibsonomy Mach. Transl. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF compositionality, reversibility, transfer, English, French
28Morgan Rogers Toposes of Topological Monoid Actions. Search on Bibsonomy Compositionality The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
28John C. Baez, Kenny Courser, Christina Vasilakopoulou Structured versus Decorated Cospans. Search on Bibsonomy Compositionality The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
28Manuel Araújo Coherence for adjunctions in a 3-category via string diagrams. Search on Bibsonomy Compositionality The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
28Dusko Pavlovic Lambek pregroups are Frobenius spiders in preorders. Search on Bibsonomy Compositionality The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
28Tai-Danae Bradley, Yiannis Vlassopoulos Language Modeling with Reduced Densities. Search on Bibsonomy Compositionality The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
28Dan Shiebler Categorical Stochastic Processes and Likelihood. Search on Bibsonomy Compositionality The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
28Philippe Gaucher Homotopy theory of Moore flows (I). Search on Bibsonomy Compositionality The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
28Tobias Fritz, Eigil Fjeldgren Rischel Infinite products and zero-one laws in categorical probability. Search on Bibsonomy Compositionality The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
28Michael Robinson 0001 Assignments to sheaves of pseudometric spaces. Search on Bibsonomy Compositionality The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
28Sebastian Posur Closing the category of finitely presented functors under images made constructive. Search on Bibsonomy Compositionality The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
28Eugenia Cheng Distributive laws for Lawvere theories. Search on Bibsonomy Compositionality The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
28Arthur J. Parzygnat Stinespring's construction as an adjunction. Search on Bibsonomy Compositionality The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
28John van de Wetering An effect-theoretic reconstruction of quantum theory. Search on Bibsonomy Compositionality The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
28John F. Jardine Fuzzy sets and presheaves. Search on Bibsonomy Compositionality The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
28John C. Baez, John D. Foley, Joe Moeller Network Models from Petri Nets with Catalysts. Search on Bibsonomy Compositionality The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
27Thierry Hamon, Natalia Grabar How Can the Term Compositionality Be Useful for Acquiring Elementary Semantic Relations?. Search on Bibsonomy GoTAL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Wagner Borges, Julio Michael Stern Evidence and Compositionality. Search on Bibsonomy SMPS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Jørn Lind-Nielsen, Henrik Reif Andersen, Gerd Behrmann, Henrik Hulgaard, Kåre J. Kristoffersen, Kim Guldstrand Larsen Verification of Large State/Event Systems Using Compositionality and Dependency Analysis. Search on Bibsonomy TACAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
27Manfred Broy Interactive and Reactive Systems: States, Observations, Experiments, Input, Output, Nondeterminism, Compositionality and all That. Search on Bibsonomy Foundations of Computer Science: Potential - Theory - Cognition The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
27Antonio Cau, Willem P. de Roever A Dense-Time Temporal Logic with Nice Compositionality Properties. Search on Bibsonomy EUROCAST The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
27Willem P. de Roever The Need for Compositional Proof Systems: A Survey. Search on Bibsonomy COMPOS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
27Manfred Broy Compositional Refinement of Interactive Systems Modelled by Relations. Search on Bibsonomy COMPOS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
27Antti Valmari Compositionality in State Space Verification Methods. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
27Ernesto Pimentel 0001, José M. Troya Compositionality Issues of Concurrent Object-Oriented Logic Languages. Search on Bibsonomy PARLE The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
27Michele Bugliesi On the Semantics of Inheritance in Logic Programming: Compositionality and Full Abstraction. Search on Bibsonomy ELP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
22Hridesh Rajan, Kevin J. Sullivan Unifying aspect- and object-oriented design. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Classpect, Eos, first class aspect instances, instance-level advising, unified aspect language model, aspect-oriented programming, binding
22Kung-Kiu Lau, Ioannis Ntalamagkas A Compositional Approach to Active and Passive Components. Search on Bibsonomy EUROMICRO-SEAA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 954 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license