BibSonomy :: author :: Poigné ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(48)

<< < 1 | 2 | 3 > >>

A Note on Inconsistencies Caused by Fixpoints in a Cartesian Closed Category.
Hagen Huwig, and Axel Poigné Theor. Comput. Sci. 73(1):101-112 (1990)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
Parametrization for Order-Sorted Algebraic Specification.
Axel Poigné J. Comput. Syst. Sci. 40(2):229-268 (1990)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
On the Implementation of Abstract Data Types by Programming Language Constructs.
Axel Poigné, and Josef Voss J. Comput. Syst. Sci. 34(2/3):340-376 (1987)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
Complex Reactive Control with Simple Synchronous Models.
Reinhard Budde, and Axel Poigné LCTES, volume 1985 of Lecture Notes in Computer Science, page 19-32. Springer, (2000)
to dblp by dblp on Jun 22, 2011, 12:00 AM
URL | BibTeX
On the Combination of Synchronous Languages.
Axel Poigné, and Leszek Holenderski COMPOS, volume 1536 of Lecture Notes in Computer Science, page 490-514. Springer, (1997)
to dblp by dblp on Jun 17, 2011, 12:00 AM
URL | BibTeX
Coordination of Synchronous Programs.
Reinhard Budde, G. Michele Pinna, and Axel Poigné COORDINATION, volume 1594 of Lecture Notes in Computer Science, page 103-117. Springer, (1999)
to dblp by dblp on Jun 17, 2011, 12:00 AM
URL | BibTeX
Elements of Categorical Reasoning: Products and Coproducts and some other Co- Limits.
Axel Poigné CTCS, volume 240 of Lecture Notes in Computer Science, page 16-42. Springer, (1985)
to dblp by dblp on Jun 10, 2011, 12:00 AM
URL | BibTeX
A Note on Distributive Laws and Power Domains.
Axel Poigné CTCS, volume 240 of Lecture Notes in Computer Science, page 252-265. Springer, (1985)
to dblp by dblp on Jun 10, 2011, 12:00 AM
URL | BibTeX
Cartesian Closure - Higher Types in Categories.
Axel Poigné CTCS, volume 240 of Lecture Notes in Computer Science, page 58-75. Springer, (1985)
to dblp by dblp on Jun 10, 2011, 12:00 AM
URL | BibTeX
Algebra Categorically.
Axel Poigné CTCS, volume 240 of Lecture Notes in Computer Science, page 76-102. Springer, (1985)
to dblp by dblp on Jun 10, 2011, 12:00 AM
URL | BibTeX
Category Theory and Logic.
Axel Poigné CTCS, volume 240 of Lecture Notes in Computer Science, page 103-142. Springer, (1985)
to dblp by dblp on Jun 10, 2011, 12:00 AM
URL | BibTeX
On effective computations of nondeterministic schemes.
Axel Poigné Symposium on Programming, volume 137 of Lecture Notes in Computer Science, page 323-336. Springer, (1982)
to dblp by dblp on Jun 10, 2011, 12:00 AM
URL | BibTeX
Using Last Fixed Points to Characterize Formal Computations of Non-Deterministic Equations.
Axel Poigné ICFPC, volume 107 of Lecture Notes in Computer Science, page 447-459. Springer, (1981)
to dblp by dblp on Jun 10, 2011, 12:00 AM
URL | BibTeX
On algebras of computation sequences and proofs of equivalence of operational and denotational semantics.
Axel Poigné Theoretical Computer Science, volume 145 of Lecture Notes in Computer Science, page 289-300. Springer, (1983)
to dblp by dblp on Jun 10, 2011, 12:00 AM
URL | BibTeX
Context-Free Languages of Infinite Words As Least Fixpoints.
Axel Poigné FCT, volume 117 of Lecture Notes in Computer Science, page 301-310. Springer, (1981)
to dblp by dblp on Jun 10, 2011, 12:00 AM
URL | BibTeX
Foreword.
Albert Benveniste, and Axel Poigné Formal Methods in System Design 19(1):5-6 (2001)
to dblp by dblp on May 25, 2011, 12:00 AM
URL | BibTeX
The Synchronous Approach to Designing Reactive Systems.
Axel Poigné, Matthew Morley, Olivier Maffeïs, Leszek Holenderski, and Reinhard Budde Formal Methods in System Design 12(2):163-187 (1998)
to dblp by dblp on May 25, 2011, 12:00 AM
URL | BibTeX
Evaluation of a "Smart" Pedestrian Counting System Based on Echo State Networks.
Emi Mathews, and Axel Poigné EURASIP J. Emb. Sys. (2009)
to dblp by dblp on Feb 28, 2011, 12:00 AM
URL | BibTeX
Towards a Reference Model for the LifeWatch ICT Infrastructure.
Vera Hernández Ernst, Axel Poigné, Jon Giddy, Alex Hardisty, Angi Voss, and Hans Voss GI Jahrestagung, volume 154 of LNI, page 654-668. GI, (2009)
to dblp by dblp on Sep 30, 2010, 12:00 AM
URL | BibTeX
Listing closed sets of strongly accessible set systems with applications to data mining.
Mario Boley, Tamás Horváth, Axel Poigné, and Stefan Wrobel Theor. Comput. Sci. 411(3):691-700 (2010)
to dblp by dblp on Dec 29, 2009, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100