|
|
Venues (Conferences, Journals, ...)
|
|
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 |
104 | Roberto Segala |
Compositional Verification of Randomized Distributed Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPOS ![In: Compositionality: The Significant Difference, International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures, pp. 515-540, 1997, Springer, 3-540-65493-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
67 | Moshe Abeles, Gaby Hayon, Daniel Lehmann 0001 |
Modeling Compositionality by Dynamic Binding of Synfire Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Neurosci. ![In: J. Comput. Neurosci. 17(2), pp. 179-201, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
binding-mechanism, neural-networks, compositionality, synfire-chains |
67 | Maurice H. ter Beek, Jetty Kleijn |
Team Automata Satisfying Compositionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings, pp. 381-400, 2003, Springer, 3-540-40828-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
team automata, synchronizations, computations, compositionality, behaviour, shuffles |
66 | Florence Maraninchi, Yann Rémond |
Compositionality Criteria for Defining Mixed-Styles Synchronous Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPOS ![In: Compositionality: The Significant Difference, International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures, pp. 424-438, 1997, Springer, 3-540-65493-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
61 | Heiko Mantel |
On the Composition of Secure Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S&P ![In: 2002 IEEE Symposium on Security and Privacy, Berkeley, California, USA, May 12-15, 2002, pp. 88-101, 2002, IEEE Computer Society, 0-7695-1543-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
composition, information flow, compositionality, noninterference, emergent properties |
60 | Dines Bjørner, Asger Eir |
Compositionality: Ontology and Mereology of Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 22-59, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
60 | I. S. W. B. Prasetya |
Formalization of Variables Access Constraints to Support Compositionality of Liveness Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HUG ![In: Higher Order Logic Theorem Proving and its Applications, 6th International Workshop, HUG '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings, pp. 324-337, 1993, Springer, 3-540-57826-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
57 | Kim Guldstrand Larsen |
Compositional Theories Based on an Operational Semantics of Contexts. ![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. 487-518, 1989, Springer, 3-540-52559-9. The full citation details ...](Pics/full.jpeg) |
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 |
56 | Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu |
Analyzing BPEL Compositionality Based on Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 373-376, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Verification, Petri Net, BPEL, Soundness, compositionality |
56 | Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink |
Compositionality for Markov Reward Chains with Fast Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPEW ![In: Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings, pp. 18-32, 2007, Springer, 978-3-540-75210-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
discontinuous Markov reward chains, Markov reward chains with fast transitions, lumpability, Kronecker product and sum, reduction, compositionality, parallel composition |
56 | Simona Bernardi 0001, Susanna Donatelli, András Horváth |
Implementing compositionality for stochastic Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 3(4), pp. 417-430, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Stochastic well-formed nets, Fault tolerance, Performance analysis, Modularity, Compositionality |
55 | Albert Benveniste, Paul Le Guernic, Pascal Aubry |
Compositionality in Dataflow Synchronous Languages: Specification and Code Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPOS ![In: Compositionality: The Significant Difference, International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures, pp. 61-80, 1997, Springer, 3-540-65493-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
desynchronisation, modularity, code generation, synchronous languages, separate compilation |
50 | Ian T. Foster |
Compositional Parallel Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 18(4), pp. 454-476, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
parallel programming, compositionality, parallel languages |
49 | Sriram Venkatapathy, Aravind K. Joshi |
Relative Compositionality of Multi-word Expressions: A Study of Verb-Noun (V-N) Collocations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNLP ![In: Natural Language Processing - IJCNLP 2005, Second International Joint Conference, Jeju Island, Korea, October 11-13, 2005, Proceedings, pp. 553-564, 2005, Springer, 3-540-29172-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
49 | Naijun Zhan, Jinzhao Wu |
Compositionality of Fixpoint Logic with Chop. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings, pp. 136-150, 2005, Springer, 3-540-29107-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
44 | Nicolas Behr, Jean Krivine |
Compositionality of Rewriting Rules with Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Compositionality ![In: Compositionality 3, pp. 2, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
44 | Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.) |
Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![Springer, 978-3-642-11511-0 The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
44 | Cornelis Huizing, Ron Koymans, Ruurd Kuiper 0001 |
A Small Step for Mankind. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 66-73, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
44 | Frank S. de Boer |
Reasoning about Recursive Processes in Shared-Variable Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 127-141, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
44 | E. Allen Emerson |
Meanings of Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 237-249, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
44 | Dave Clarke 0001, Einar Broch Johnsen, Olaf Owe |
Concurrent Objects à la Carte. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 185-206, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
44 | Peter van Emde Boas |
Playing Savitch and Cooking Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 10-21, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
44 | Manfred Broy |
Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 118-126, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
44 | Ittai Balaban, Amir Pnueli, Lenore D. Zuck |
Proving the Refuted: Symbolic Model Checkers as Proof Generators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 221-236, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
44 | Jan Peleska 0001 |
Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 277-299, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
44 | Hans Langmaack |
On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 74-95, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
44 | Ansgar Fehnker, Ralf Huuck, Sean Seefried |
Counterexample Guided Path Reduction for Static Program Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 322-341, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
44 | Ernst-Rüdiger Olderog, Andreas Podelski |
Explicit Fair Scheduling for Dynamic Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 96-117, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
44 | Kai Engelhardt, Ralf Huuck |
Smaller Abstractions for FOR ALL CTL* without Next. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 250-259, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
44 | Jozef Hooman, Marcel Verhoef |
Formal Semantics of a VDM Extension for Distributed Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 142-161, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
44 | Leslie Lamport |
Computer Science and State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 60-65, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
44 | Prasad Joshi, Peter A. Beerel, Marly Roncken, Ivan E. Sutherland |
Timing Verification of GasP Asynchronous Circuits: Predicted Delay Variations Observed by Experiment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 260-276, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
44 | Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade 0001, Yassine Lakhnech |
Automated Proofs for Asymmetric Encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 300-321, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
44 | Dennis Dams, Ulrich Hannemann, Martin Steffen |
A Bibliography of Willem-Paul de Roever. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 1-9, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
44 | Shivali Agarwal, R. K. Shyamasundar |
A Proof System for a PGAS Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 162-184, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
44 | David Harel, Amir Kantor, Shahar Maoz |
On the Power of Play-Out for Scenario-Based Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 207-220, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
44 | Jane Hillston |
Exploiting Structure in Solution: Decomposing Compositional Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Educational Forum: School on Formal Methods and Performance Analysis ![In: Lectures on Formal Methods and Performance Analysis, First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000, Revised Lectures, pp. 278-314, 2000, Springer, 3-540-42479-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
39 | Miklós Erdélyi-Szabó, László Kálmán, Agi Kurucz |
Towards a natural language semantics without functors and operands. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 17(1), pp. 1-17, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Finite axiomatisability, Finite entailment problem, Function/argument metaphor, Pieces of evidence, Measurements, Completeness, Compositionality, Decision algorithm, Natural language semantics |
39 | I. S. W. B. Prasetya, Tanja E. J. Vos, A. Azurat, S. Doaitse Swierstra |
A UNITY-Based Framework Towards Component Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: Principles of Distributed Systems, 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers, pp. 52-66, 2004, Springer, 3-540-27324-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
component based applications, verification, compositionality |
39 | Gerald Lüttgen, Michael Mendler |
The intuitionism behind Statecharts steps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 3(1), pp. 1-41, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Statecharts, Compositionality, intuitionistic logic, full abstraction, Kripke semantics |
39 | Antonio Cau |
Composing and Refining Dense Temporal Logic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 12(1), pp. 52-70, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Temporal logic, Refinement, Compositionality |
39 | Mohamed-Lyes Benalycherif, Claude Girault |
Behavioural and Structural Composition Rules Preserving Liveness by Synchronization for Colored FIFO Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings, pp. 73-92, 1996, Springer, 3-540-61363-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
blocking relation, colored FIFO nets, equal conflict, freeing relation, synchronization medium, synchronization, state machine, compositionality, liveness |
38 | Milena Garrão, Claudia Oliveira, Maria Claudia de Freitas, Maria Carmelita Dias |
Corpus-Based Compositionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROPOR ![In: Computational Processing of the Portuguese Language, 7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006, Proceedings, pp. 268-271, 2006, Springer, 3-540-34045-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Henrik Ejersbo Jensen, Kim Guldstrand Larsen, Arne Skou |
Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000, Proceedings, pp. 19-30, 2000, Springer, 3-540-41055-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
38 | Marcus Kracht |
Strict Compositionality and Literal Movement Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LACL ![In: Logical Aspects of Computational Linguistics, Third International Conference, LACL'98, Grenoble, France, December 14-16, 1998, Selected Papers, pp. 126-142, 1998, Springer, 3-540-42251-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Kim Guldstrand Larsen |
Ideal Specification Formalism + Expressivity + Compositionality + Decidability + Testability + ... ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings, pp. 33-56, 1990, Springer, 3-540-53048-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
34 | Jan Bosch |
Software Product Families: Towards Compositionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 1-10, 2007, Springer, 978-3-540-71288-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
compositionality, Software product families |
33 | Bartek Klin |
Bialgebraic Operational Semantics and Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings, pp. 336-345, 2007, IEEE Computer Society, 0-7695-2908-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
A CLP Method for Compositional and Intermittent Predicate Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings, pp. 17-32, 2006, Springer, 3-540-31139-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Willem H. Zuidema |
Optimal Communication in a Noisy and Heterogeneous Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAL ![In: Advances in Artificial Life, 7th European Conference, ECAL 2003, Dortmund, Germany, September 14-17, 2003, Proceedings, pp. 553-563, 2003, Springer, 3-540-20057-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Theodosis 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](Pics/bibsonomy.png) |
ZB ![In: ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings, pp. 107-126, 2000, Springer, 3-540-67944-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
33 | Fernando Orejas, Elvira Pino, Hartmut Ehrig |
Algebraic Methods in the Compositional Analysis of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1994, 19th International Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994, Proceedings, pp. 112-126, 1994, Springer, 3-540-58338-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
33 | Belé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](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 34(5), pp. 3059-3067, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
33 | Nando de Freitas |
Learning to Learn and Compositionality with Deep Recurrent Neural Networks: Learning to Learn and Compositionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, San Francisco, CA, USA, August 13-17, 2016, pp. 3, 2016, ACM, 978-1-4503-4232-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
33 | Alexandre 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](Pics/bibsonomy.png) |
CVSC ![In: Proceedings of the 3rd Workshop on Continuous Vector Space Models and their Compositionality, CVSC 2015, Beijing, China, July 26-31, 2015, 2015, Association for Computational Linguistics. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
33 | Nal Kalchbrenner, Phil Blunsom |
Recurrent Convolutional Neural Networks for Discourse Compositionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVSM@ACL ![In: Proceedings of the Workshop on Continuous Vector Space Models and their Compositionality, CVSM@ACL 2013, Sofia, Bulgaria, August 9, 2013, pp. 119-126, 2013, Association for Computational Linguistics, 978-1-937284-67-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
33 | Lubomír Krcmár, Karel Jezek, Pavel Pecina |
Determining Compositionality of Expresssions Using Various Word Space Models and Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVSM@ACL ![In: Proceedings of the Workshop on Continuous Vector Space Models and their Compositionality, CVSM@ACL 2013, Sofia, Bulgaria, August 9, 2013, pp. 64-73, 2013, Association for Computational Linguistics, 978-1-937284-67-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
28 | Anca Mariana Molnos, Sorin Cotofana, Marc J. M. Heijligers, Jos T. J. van Eijndhoven |
Compositional, Dynamic Cache Management for Embedded Chip Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Signal Process. Syst. ![In: J. Signal Process. Syst. 57(2), pp. 155-172, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Predictability, Multiprocessor, Compositionality, Cache management |
28 | Olaf Owe, Gerardo Schneider, Martin Steffen |
Components, objects, and contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAVCBS ![In: Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, SAVCBS 2007, Dubrovnik, Croatia, September 3-4, 2007, pp. 95-98, 2007, ACM, 978-1-59593-721-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Creol, object-orientation, components, interfaces, contracts, compositionality, deontic logic |
28 | Gaby Hayon, Moshe Abeles, Daniel Lehmann 0001 |
A Model for Representing the Dynamics of a System of Synfire Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Neurosci. ![In: J. Comput. Neurosci. 18(1), pp. 41-53, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
binding-mechanism, neural-networks, compositionality, synfire-chains |
28 | Ismail Assayad, Sergio Yovine |
Compositional Constraints Generation for Concurrent Real-Time Loops with Interdependent Iterations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IICS ![In: Innovative Internet Community Systems, 5th International Workshop, IICS 2005, Paris, France, June 20-22, 2005, Revised Papers, pp. 159-170, 2005, Springer, 3-540-33973-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Execution constraints synthesis, Concurrent loops, Compositionality |
28 | Vlad Rusu |
Compositional Verification of an ATM Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings, pp. 223-243, 2003, Springer, 3-540-40828-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
SSCOP protocol, abstraction, theorem proving, Compositionality, PVS |
28 | Peter Graubmann |
MSC Connectors - The Chamber of Secrets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL 2003: System Design, 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings, pp. 77-101, 2003, Springer. The full citation details ...](Pics/full.jpeg) |
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 |
28 | Peter Graubmann, Ekkart Rudolph |
MSC Connectors: The Philosopher's Stone. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: Telecommunications and beyond: The Broader Applicability of SDL and MSC, Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers, pp. 199-220, 2002, Springer, 3-540-00877-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Message Sequence Charts (MSC), MSC Connector, Component Oriented Software Development, System Family Engineering, Interface Protocol, Component, Interface, Compositionality |
28 | Mohammad Zulkernine, Rudolph E. Seviora |
Assume-Guarantee Algorithms for Automatic Detection of Software Failures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings, pp. 89-108, 2002, Springer, 3-540-43703-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
applied formal methods, Software reliability, compositionality, failure detection, online monitoring |
28 | Simona Bernardi 0001, Susanna Donatelli, José Merseguer |
From UML sequence diagrams and statecharts to analysable petrinet models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Software and Performance ![In: Third International Workshop on Software and Performance, WOSP@ISSTA 2002, July 24-26, 2002, Rome, Italy., pp. 35-45, 2002, ACM, 1-58113-563-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
modeling, UML, compositionality, GSPN |
28 | Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo |
Verifying Implementation Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings, pp. 364-383, 2001, Springer, 3-540-41791-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Behaviour ion, verification, compositionality, communicating sequential processes |
28 | Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo |
Implementing Communicating Processes in the Event of Interface Difference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), 25-30 June 2001, Newcastle upon Tyne, UK, pp. 87-, 2001, IEEE Computer Society, 0-7695-1071-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
behaviour abstraction, refinement, compositionality, communicating sequential processes, Theory of parallel and distributed computation |
28 | Ralf Pinger, Hans-Dieter Ehrich |
Compositional Checking of Communication among Observers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 4th International Conference, FASE 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. 32-44, 2001, Springer, 3-540-41863-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
distributed logic, modelling and design, object system, model checking, verification, temporal logic, compositionality |
28 | Hanna Klaudel, Franck Pommereau |
A Concurrent and Compositional Petri Net Semantics of Preemption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings, pp. 318-337, 2000, Springer, 3-540-41196-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Petri nets, Concurrency, Compositionality, Preemption |
28 | Hans Fleischhack, Bernd Grahlmann |
A Compositional Petri Net Semantics for SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1998, 19th International Conference, ICATPN '98, Lisbon, Portugal, June 22-26, 1998, Proceedings, pp. 144-164, 1998, Springer, 3-540-64677-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
ARQ protocol, Petri Net Semantics, Concurrency, SDL, Compositionality, Procedures, Infinity, Dynamic Processes |
28 | Bengt Jonsson 0001 |
Compositional Specification and Verification of Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(2), pp. 259-303, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
specification, message passing, compositionality, stepwise refinement, modular specification, assertional reasoning |
28 | Doug Arnold, Louisa Sadler |
The theoretical basis of MiMo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Transl. ![In: Mach. Transl. 5(3), pp. 195-222, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
compositionality, reversibility, transfer, English, French |
28 | Morgan Rogers |
Toposes of Topological Monoid Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Compositionality ![In: Compositionality 5, pp. 1, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | John C. Baez, Kenny Courser, Christina Vasilakopoulou |
Structured versus Decorated Cospans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Compositionality ![In: Compositionality 4, pp. 3, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Manuel Araújo |
Coherence for adjunctions in a 3-category via string diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Compositionality ![In: Compositionality 4, pp. 2, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Dusko Pavlovic |
Lambek pregroups are Frobenius spiders in preorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Compositionality ![In: Compositionality 4, pp. 1, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Tai-Danae Bradley, Yiannis Vlassopoulos |
Language Modeling with Reduced Densities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Compositionality ![In: Compositionality 3, pp. 4, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Dan Shiebler |
Categorical Stochastic Processes and Likelihood. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Compositionality ![In: Compositionality 3, pp. 1, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Philippe Gaucher |
Homotopy theory of Moore flows (I). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Compositionality ![In: Compositionality 3, pp. 3, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Tobias Fritz, Eigil Fjeldgren Rischel |
Infinite products and zero-one laws in categorical probability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Compositionality ![In: Compositionality 2, pp. 3, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Michael Robinson 0001 |
Assignments to sheaves of pseudometric spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Compositionality ![In: Compositionality 2, pp. 2, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Sebastian Posur |
Closing the category of finitely presented functors under images made constructive. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Compositionality ![In: Compositionality 2, pp. 4, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Eugenia Cheng |
Distributive laws for Lawvere theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Compositionality ![In: Compositionality 2, pp. 1, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Arthur J. Parzygnat |
Stinespring's construction as an adjunction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Compositionality ![In: Compositionality 1, pp. 2, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | John van de Wetering |
An effect-theoretic reconstruction of quantum theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Compositionality ![In: Compositionality 1, pp. 1, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | John F. Jardine |
Fuzzy sets and presheaves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Compositionality ![In: Compositionality 1, pp. 3, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | John C. Baez, John D. Foley, Joe Moeller |
Network Models from Petri Nets with Catalysts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Compositionality ![In: Compositionality 1, pp. 4, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Thierry Hamon, Natalia Grabar |
How Can the Term Compositionality Be Useful for Acquiring Elementary Semantic Relations?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GoTAL ![In: Advances in Natural Language Processing, 6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008, Proceedings, pp. 181-192, 2008, Springer, 978-3-540-85286-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Wagner Borges, Julio Michael Stern |
Evidence and Compositionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMPS ![In: Soft Methods for Integrated Uncertainty Modelling, Proceedings of the 2006 International Workshop on Soft Methods in Probability and Statistics, SMPS 2006, Bristol, UK, 5-7 September 2006, pp. 307-315, 2006, Springer, 978-3-540-34776-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Jø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](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings, pp. 201-216, 1998, Springer, 3-540-64356-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
27 | Manfred Broy |
Interactive and Reactive Systems: States, Observations, Experiments, Input, Output, Nondeterminism, Compositionality and all That. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Computer Science: Potential - Theory - Cognition ![In: Foundations of Computer Science: Potential - Theory - Cognition, to Wilfried Brauer on the occasion of his sixtieth birthday, pp. 279-286, 1997, Springer, 3-540-63746-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
27 | Antonio Cau, Willem P. de Roever |
A Dense-Time Temporal Logic with Nice Compositionality Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST'97, A Selection of Papers from the 6th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 1997, Proceedings, pp. 123-145, 1997, Springer, 3-540-63811-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
27 | Willem P. de Roever |
The Need for Compositional Proof Systems: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPOS ![In: Compositionality: The Significant Difference, International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures, pp. 1-22, 1997, Springer, 3-540-65493-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
27 | Manfred Broy |
Compositional Refinement of Interactive Systems Modelled by Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPOS ![In: Compositionality: The Significant Difference, International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures, pp. 130-149, 1997, Springer, 3-540-65493-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
27 | Antti Valmari |
Compositionality in State Space Verification Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings, pp. 29-56, 1996, Springer, 3-540-61363-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
27 | Ernesto Pimentel 0001, José M. Troya |
Compositionality Issues of Concurrent Object-Oriented Logic Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE ![In: PARLE '93, Parallel Architectures and Languages Europe, 5th International PARLE Conference, Munich, Germany, June 14-17, 1993, Proceedings, pp. 529-540, 1993, Springer, 3-540-56891-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
27 | Michele Bugliesi |
On the Semantics of Inheritance in Logic Programming: Compositionality and Full Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELP ![In: Extensions of Logic Programming, Third International Workshop, ELP'92, Bologna, Italy, February 26-28, 1992, Proceedings, pp. 205-215, 1992, Springer, 3-540-56454-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
22 | Hridesh Rajan, Kevin J. Sullivan |
Unifying aspect- and object-oriented design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 19(1), pp. 3:1-3:41, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Classpect, Eos, first class aspect instances, instance-level advising, unified aspect language model, aspect-oriented programming, binding |
22 | Kung-Kiu Lau, Ioannis Ntalamagkas |
A Compositional Approach to Active and Passive Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO-SEAA ![In: 34th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2008, September 3-5, 2008, Parma, Italy, pp. 76-83, 2008, IEEE Computer Society, 978-0-7695-3276-9. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|