Result 1 to 20 of 41 total
Closure systems, implicational systems, overhanging relations and the case of hierarchical classification. (English)
Math. Soc. Sci. 47, No. 3, 349-366 (2004).
1
Topology on the spaces of orderings of groups. (English)
Bull. Lond. Math. Soc. 36, No. 4, 519-526 (2004).
2
Formal concept analysis with hierarchically ordered attributes. (English)
Int. J. Gen. Syst. 33, No. 4, 383-394 (2004).
3
Posets having continuous intervals. (English)
Theor. Comput. Sci. 316, No. 1-3, 89-103 (2004).
4
Idempotent analysis and continuous semilattices. (English)
Theor. Comput. Sci. 316, No. 1-3, 75-87 (2004).
5
Prioritized composition with exclusion and generation for the interaction and control of discrete event systems. (English)
Math. Comput. Model. Dyn. Syst. 9, No. 3, 255-280 (2003).
6
Constructive metrisability in point-free topology. (English)
Theor. Comput. Sci. 305, No. 1-3, 85-109 (2003).
7
A representation of stably compact spaces, and patch topology. (English)
Theor. Comput. Sci. 305, No. 1-3, 77-84 (2003).
8
Automatic layout and labelling of state diagrams. (English)
Jäger, Willi (ed.) et al., Mathematics ‒ key technology for the future. Joint projects between universities and industry. Berlin: Springer (ISBN 3-540-44220-0/hbk). 584-608 (2003).
9
When does the class $[{\Cal A} \longrightarrow {\Cal B}]$ consist of continuous domains? (English)
Topology Appl. 130, No.1, 91-97 (2003).
10
A solution of DEDS control synthesis problems. (English)
Syst. Anal. Modelling Simulation 42, No. 3, 405-414 (2002).
11
Design observers/controllers for discrete event systems using Petri nets. (English)
Caillaud, Benoît (ed.) et al., Synthesis and control of discrete event systems. Boston: Kluwer Academic Publishers (ISBN 0-7923-7639-0). 167-182 (2002).
12
Live and maximally permissive controller synthesis using theory of regions. (English)
Caillaud, Benoît (ed.) et al., Synthesis and control of discrete event systems. Boston: Kluwer Academic Publishers. 155-166 (2002).
13
Optimal Petri net monitor design. (English)
Caillaud, Benoît (ed.) et al., Synthesis and control of discrete event systems. Boston: Kluwer Academic Publishers. 141-153 (2002).
14
Towards modular synthesis of elementary net systems. (English)
Caillaud, Benoît (ed.) et al., Synthesis and control of discrete event systems. Boston: Kluwer Academic Publishers (ISBN 0-7923-7639-0). 103-113 (2002).
15
Problems and examples of dencentralized observation and control for discrete event systems. (English)
Caillaud, Benoît (ed.) et al., Synthesis and control of discrete event systems. Boston: Kluwer Academic Publishers (ISBN 0-7923-7639-0). 37-56 (2002).
16
On blockers in bounded posets. (English)
Int. J. Math. Math. Sci. 26, No.10, 581-588 (2001).
17
Groups of automorphisms of tournaments. (English)
Order 18, No.4, 349-357 (2001).
18
Composition of model interface. A theorem of model composition. (English)
Chin. Q. J. Math. 16, No.3, 61-68 (2001).
19
Topological automorphism groups of chains. (English)
Mathware Soft Comput. 8, No.1, 47-60 (2001).
20
Result 1 to 20 of 41 total
Start
Contact
Print
General Help
