The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Axel Poigné: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Axel Poigné
    On Specifications, Theories, and Models with Higher Types [Citation Graph (1, 0)][DBLP]
    Information and Control, 1986, v:68, n:1-3, pp:1-46 [Journal]
  2. Axel Poigné
    Programs over Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    ADT, 1983, pp:- [Conf]
  3. Axel Poigné
    Error Handling for Parameterized Data Types. [Citation Graph (0, 0)][DBLP]
    ADT, 1984, pp:224-239 [Conf]
  4. Axel Poigné
    Error Handling as Type Checking. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  5. Axel Poigné
    Partial Algebras, Subsorting, and Dependent Types: Prerequisites of Error Handling in Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    ADT, 1987, pp:208-234 [Conf]
  6. Axel Poigné
    Towards a Unified Logic for Specification and Programming. [Citation Graph (0, 0)][DBLP]
    ADT, 1988, pp:- [Conf]
  7. Axel Poigné
    Foundations are Rich Institutions, but Institutions are Poor Foundations. [Citation Graph (0, 0)][DBLP]
    Categorial Methods in Computer Science, 1988, pp:82-101 [Conf]
  8. Axel Poigné
    Identity and Existence, and Types in Algebra - A Survey of Sorts. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1992, pp:53-78 [Conf]
  9. Axel Poigné, Leszek Holenderski
    On the Combination of Synchronous Languages. [Citation Graph (0, 0)][DBLP]
    COMPOS, 1997, pp:490-514 [Conf]
  10. Reinhard Budde, G. Michele Pinna, Axel Poigné
    Coordination of Synchronous Programs. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1999, pp:103-117 [Conf]
  11. Axel Poigné
    Elements of Categorical Reasoning: Products and Coproducts and some other (Co-) Limits. [Citation Graph (0, 0)][DBLP]
    CTCS, 1985, pp:16-42 [Conf]
  12. Axel Poigné
    Cartesian Closure - Higher Types in Categories. [Citation Graph (0, 0)][DBLP]
    CTCS, 1985, pp:58-75 [Conf]
  13. Axel Poigné
    Algebra Categorically. [Citation Graph (0, 0)][DBLP]
    CTCS, 1985, pp:76-102 [Conf]
  14. Axel Poigné
    Category Theory and Logic. [Citation Graph (0, 0)][DBLP]
    CTCS, 1985, pp:103-142 [Conf]
  15. Axel Poigné
    A Note on Distributive Laws and Power Domains. [Citation Graph (0, 0)][DBLP]
    CTCS, 1985, pp:252-265 [Conf]
  16. Leszek Holenderski, Axel Poigné
    Synchronous Automata for Synchronous Programming Languages. [Citation Graph (0, 0)][DBLP]
    FBT, 1997, pp:129-134 [Conf]
  17. Axel Poigné
    Context-Free Languages of Infinite Words As Least Fixpoints. [Citation Graph (0, 0)][DBLP]
    FCT, 1981, pp:301-310 [Conf]
  18. Axel Poigné
    An Order Semantics for Non-Deterministic Recursive Program Schemes. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:122-129 [Conf]
  19. Axel Poigné
    Using Last Fixed Points to Characterize Formal Computations of Non-Deterministic Equations. [Citation Graph (0, 0)][DBLP]
    ICFPC, 1981, pp:447-459 [Conf]
  20. G. Michele Pinna, Axel Poigné
    Event Automata as a Generic Model of Reactive Systems. [Citation Graph (0, 0)][DBLP]
    KORSO Book, 1995, pp:74-91 [Conf]
  21. Reinhard Budde, Axel Poigné
    Complex Reactive Control with Simple Synchronous Models. [Citation Graph (0, 0)][DBLP]
    LCTES, 2000, pp:19-32 [Conf]
  22. David Murphy, Axel Poigné
    A Functorial Semantics for Observed Concurrency. [Citation Graph (0, 0)][DBLP]
    MFCS, 1992, pp:401-411 [Conf]
  23. G. Michele Pinna, Axel Poigné
    On the Nature of Events. [Citation Graph (0, 0)][DBLP]
    MFCS, 1992, pp:430-441 [Conf]
  24. Axel Poigné
    Another Look at Parameterization Using Algebras with Subsorts. [Citation Graph (0, 0)][DBLP]
    MFCS, 1984, pp:471-479 [Conf]
  25. Axel Poigné
    Typed Horn Logic. [Citation Graph (0, 0)][DBLP]
    MFCS, 1990, pp:470-477 [Conf]
  26. Axel Poigné
    Once More on Order-Sorted Algebras. [Citation Graph (0, 0)][DBLP]
    MFCS, 1991, pp:397-405 [Conf]
  27. G. Michele Pinna, Axel Poigné
    On the Specification of Elementary Reactive Behaviour. [Citation Graph (0, 0)][DBLP]
    MFPS, 1993, pp:271-292 [Conf]
  28. Axel Poigné
    On effective computations of nondeterministic schemes. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1982, pp:323-336 [Conf]
  29. Axel Poigné
    Higher Order Data Structures: Cartesian Closure Versus Lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    STACS, 1984, pp:174-185 [Conf]
  30. Axel Poigné, Josef Voss
    On the Implementation of Abstract Data Types by Programming Language Constructs. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1985, pp:388-402 [Conf]
  31. Axel Poigné
    On algebras of computation sequences and proofs of equivalence of operational and denotational semantics. [Citation Graph (0, 0)][DBLP]
    Theoretical Computer Science, 1983, pp:289-300 [Conf]
  32. Axel Poigné
    A remark on variations of power domains. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1987, v:31, n:, pp:38-41 [Journal]
  33. Axel Poigné
    Bisimulation as cointersection. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1989, v:39, n:, pp:197-198 [Journal]
  34. Reinhard Budde, Axel Poigné, Karl-Heinz Sylla
    synERJY An Object-oriented Synchronous Language. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:4, pp:99-115 [Journal]
  35. Albert Benveniste, Axel Poigné
    Foreword. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2001, v:19, n:1, pp:5-6 [Journal]
  36. Axel Poigné, Matthew Morley, Olivier Maffeïs, Leszek Holenderski, Reinhard Budde
    The Synchronous Approach to Designing Reactive Systems. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1998, v:12, n:2, pp:163-187 [Journal]
  37. Axel Poigné
    Parametrization for Order-Sorted Algebraic Specification. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1990, v:40, n:2, pp:229-268 [Journal]
  38. Axel Poigné, Josef Voss
    On the Implementation of Abstract Data Types by Programming Language Constructs. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1987, v:34, n:2/3, pp:340-376 [Journal]
  39. Hagen Huwig, Axel Poigné
    A Note on Inconsistencies Caused by Fixpoints in a Cartesian Closed Category. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:73, n:1, pp:101-112 [Journal]
  40. G. Michele Pinna, Axel Poigné
    On the Nature of Events: Another Perspective in Concurrency. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:138, n:2, pp:425-454 [Journal]
  41. Mario Boley, Tamás Horváth, Axel Poigné, Stefan Wrobel
    Efficient Closed Pattern Mining in Strongly Accessible Set Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    PKDD, 2007, pp:382-389 [Conf]

  42. A criterion common to various continuous completions of albegras and X-categories. [Citation Graph (, )][DBLP]


  43. Towards a Reference Model for the LifeWatch ICT Infrastructure. [Citation Graph (, )][DBLP]


  44. An Echo State Network based pedestrian counting system using wireless sensor networks. [Citation Graph (, )][DBLP]


  45. Efficient Closed Pattern Mining in Strongly Accessible Set Systems. [Citation Graph (, )][DBLP]


Search in 0.010secs, Finished in 0.011secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002