Conferences in DBLP

Birthday ... (birthday)
2006 (conf/birthday/2006goguen)

1. David Borgo
   Sync or Swarm: Musical Improvisation and the Complex Dynamics of Group Creativity. [Citation Graph (0, 0)][DBLP]
   Essays Dedicated to Joseph A. Goguen, 2006, pp:1-24 [Conf]
   
2. Rod M. Burstall
   My Friend Joseph Goguen. [Citation Graph (0, 0)][DBLP]
   Essays Dedicated to Joseph A. Goguen, 2006, pp:25-30 [Conf]
   
3. D. Fox Harrell
   Metalogic, Qualia, and Identity on Neptune's Great Moon: Meaning and Mathematics in the Works of Joseph A. Goguen and Samuel R. Delany. [Citation Graph (0, 0)][DBLP]
   Essays Dedicated to Joseph A. Goguen, 2006, pp:31-49 [Conf]
   
4. Carlos Caleiro, Paulo Mateus, Amílcar Sernadas, Cristina Sernadas
   Quantum Institutions. [Citation Graph (0, 0)][DBLP]
   Essays Dedicated to Joseph A. Goguen, 2006, pp:50-64 [Conf]
   
5. Razvan Diaconescu
   Jewels of Institution-Independent Model Theory. [Citation Graph (0, 0)][DBLP]
   Essays Dedicated to Joseph A. Goguen, 2006, pp:65-98 [Conf]
   
6. Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
   Semantic Web Languages - Towards an Institutional Perspective. [Citation Graph (0, 0)][DBLP]
   Essays Dedicated to Joseph A. Goguen, 2006, pp:99-123 [Conf]
   
7. Till Mossakowski
   Institutional 2-cells and Grothendieck Institutions. [Citation Graph (0, 0)][DBLP]
   Essays Dedicated to Joseph A. Goguen, 2006, pp:124-149 [Conf]
   
8. Gordon D. Plotkin
   Some Varieties of Equational Logic. [Citation Graph (0, 0)][DBLP]
   Essays Dedicated to Joseph A. Goguen, 2006, pp:150-156 [Conf]
   
9. Grigore Rosu
   Complete Categorical Deduction for Satisfaction as Injectivity. [Citation Graph (0, 0)][DBLP]
   Essays Dedicated to Joseph A. Goguen, 2006, pp:157-172 [Conf]
   
10. Nazareno Aguirre, T. S. E. Maibaum, Paulo S. C. Alencar
    Extension Morphisms for CommUnity. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:173-193 [Conf]
    
11. Oana Andrei, Liliana Ibanescu, Hélène Kirchner
    Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:194-215 [Conf]
    
12. Jacek Chrzaszcz, Jean-Pierre Jouannaud
    From OBJ to ML to Coq. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:216-234 [Conf]
    
13. Hartmut Ehrig, Ulrike Prange
    Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:235-251 [Conf]
    
14. José Meseguer
    From OBJ to Maude and Beyond. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:252-280 [Conf]
    
15. Peter D. Mosses
    Constructive Action Semantics in OBJ. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:281-295 [Conf]
    
16. Donald Sannella, Andrzej Tarlecki
    Horizontal Composability Revisited. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:296-316 [Conf]
    
17. Douglas R. Smith
    Composition by Colimit and Formal Software Development. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:317-332 [Conf]
    
18. Michel Bidoit, Rolf Hennicker
    Proving Behavioral Refinements of COL-specifications. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:333-354 [Conf]
    
19. Gérard P. Huet, Benoît Razet
    The Reactive Engine for Modular Transducers. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:355-374 [Conf]
    
20. Bart Jacobs
    A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:375-404 [Conf]
    
21. Grant Malcolm
    Sheaves and Structures of Transition Systems. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:405-419 [Conf]
    
22. Lawrence S. Moss
    Uniform Functors on Sets. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:420-448 [Conf]
    
23. Horst Reichel
    An Algebraic Approach to Regular Sets. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:449-458 [Conf]
    
24. Jan A. Bergstra, John V. Tucker
    Elementary Algebraic Specifications of the Rational Complex Numbers. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:459-475 [Conf]
    
25. Manfred Broy
    From Chaos to Undefinedness. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:476-496 [Conf]
    
26. Guillaume Burel, Claude Kirchner
    Completion Is an Instance of Abstract Canonical System Inference. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:497-520 [Conf]
    
27. Healfdene Goguen, Conor McBride, James McKinna
    Eliminating Dependent Pattern Matching. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:521-540 [Conf]
    
28. Jan Willem Klop, Vincent van Oostrom, Roel C. de Vrijer
    Iterative Lexicographic Path Orders. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:541-554 [Conf]
    
29. Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino
    A Functorial Framework for Constraint Normal Logic Programming. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:555-577 [Conf]
    
30. Karl Meinke
    A Stochastic Theory of Black-Box Software Testing. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:578-595 [Conf]
    
31. Kazuhiro Ogata, Kokichi Futatsugi
    Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:596-615 [Conf]
    
32. Mitsuhiro Okada, Yutaro Sugimoto, Sumi Yoshikawa, Akihiko Konagaya
    Drug Interaction Ontology (DIO) and the Resource-Sensitive Logical Inferences. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:616-642 [Conf]