io-port.net

io-port 05931288 van Zijl, Lynette; Geldenhuys, Jaco

Descriptional complexity of ambiguity in symmetric difference NFAs. (English)

J. UCS 17, No. 6, 874-890, electronic only (2011).

Classification: F.1.1 F.1.2

1

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05216809 Hempel, H.

Randomized algorithms and complexity theory. (English)

J. UCS 12, No. 6, 746-761, electronic only (2006).

Classification: F.1.2 F.1.3 F.2.2 F.2.3

2

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05216808 Riege, T.; Rothe, J.

Improving deterministic and randomized exponential-time algorithms for the satisfiability, the colorability, and the domatic number problem. (English)

J. UCS 12, No. 6, 725-745, electronic only (2006).

Classification: F.1.2 F.1.3 F.2.2 F.2.3

3

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05216804 Blõ mer, J.

Randomness and secrecy - a brief introduction. (English)

J. UCS 12, No. 6, 654-671, electronic only (2006).

Classification: E.3 F.1.2

4

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05216799 Riege, T.; Rothe, J.

Completeness in the Boolean hierarchy: exact-four-colorability, minimal graph uncolorability, and exact domatic number problems - a survey. (English)

J. UCS 12, No. 5, 551-578, electronic only (2006).

Classification: F.1.2 F.1.3 F.2.2 F.2.3

5

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02038322 Martín-Vide, Carlos (ed.); Mauri, Giancarlo (ed.); Păun, Gheorge (ed.); Rozenberg, Grzegorz (ed.); Salomaa, Arto (ed.)

Membrane computing. International workshop, WMC 2003, Tarragona, Spain, July 17‒22, 2003. Revised papers. (English)

Lecture Notes in Computer Science. 2933. Berlin: Springer. viii, 383 p. EUR 50.00/net; \$ 64.00; \sterling 38.50; sFr 88.50 (2004).

Classification: F.1.2 F.1.1 A.m

6

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02026124 Jonoska, Nata\u{s}a (ed.); Păun, Gheorghe (ed.); Rozenberg, Grzegorz (ed.)

Aspects of molecular computing. Essays dedicated to Tom Head on the occasion of his 70th birthday. (English)

Lecture Notes in Computer Science. 2950. Berlin: Springer. xi, 391 p. EUR 52.00/net; \$ 75.00; \sterling 40.00; sFr 89.50 (2004).

Classification: A.m F.1.1 F.1.2

7

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02018406 Ehrig, Hartmut (ed.); Reisig, Wolfgang (ed.); Rozenberg, Grzegorz (ed.); Weber, Herbert (ed.)

Petri net technology for communication-based systems. Advances in Petri nets. (English)

Lecture Notes in Computer Science. 2472. Berlin: Springer. viii, 455 p. EUR 56.00/net; \$ 79.00; \sterling 43.00; sFr 96.00 (2003).

Classification: A.m F.1.2

8

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02015396 Sienko, Tanya (ed.); Adamatzky, Andrew (ed.); Rambidi, Nicholas (ed.); Conrad, Michael (ed.)

Molecular computing. (English)

Cambridge, MA: MIT Press. xvii, 257 p. \sterling 29.95 (2003).

Classification: F.1.2 A.1

9

PDF XML AMS-TeX TEXT BIBTeX

io-port 02013787 Trenkaev, Vadim; Kim, Myungchul; Seol, Soonuk

Interoperability testing based on a fault model for a system of communicating FSMs. (English)

Hogrefe, Dieter (ed.) et al., Testing of communicating systems. 15th IFIP international conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2644, 226-242 (2003).

Classification: C.4 F.1.2

10

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02013786 En-Nouaary, Abdeslam; Dssouli, Rachida

A guided method for testing timed input output automata. (English)

Hogrefe, Dieter (ed.) et al., Testing of communicating systems. 15th IFIP international conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2644, 211-225 (2003).

Classification: C.4 F.1.2

11

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02013785 El-Fakih, Khaled; Prokopenko, Svetlana; Yevtushenko, Nina; von Bochmann, Gregor

Fault diagnosis in extended finite state machines. (English)

Hogrefe, Dieter (ed.) et al., Testing of communicating systems. 15th IFIP international conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2644, 197-210 (2003).

Classification: C.4 F.1.2 F.3.1

12

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02013784 Hallal, Hesham; Boroday, Sergiy; Ulrich, Andreas; Petrenko, Alexandre

An automata-based approach to property testing in event traces. (English)

Hogrefe, Dieter (ed.) et al., Testing of communicating systems. 15th IFIP international conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2644, 180-196 (2003).

Classification: C.2.4 B.8.1 C.4 F.3.1 F.1.2

13

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02013783 Frey, Maximilian; Schlingloff, Bernd-Holger

Conformance of distributed systems. (English)

Hogrefe, Dieter (ed.) et al., Testing of communicating systems. 15th IFIP international conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2644, 163-179 (2003).

Classification: C.2.4 B.8.1 C.4 F.1.2

14

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02013781 Petrenko, Alexandre; Yevtushenko, Nina; Le Huo, Jia

Testing transition systems with input and output testers. (English)

Hogrefe, Dieter (ed.) et al., Testing of communicating systems. 15th IFIP international conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2644, 129-145 (2003).

Classification: C.4 F.1.2

15

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02013576 Peschanski, Frédéric; Julien, David

When concurrent control meets functional requirements, or Z + Petri-nets. (English)

Bert, Didier (ed.) et al., ZB 2003: Formal specification and development in Z and B. Third international conference of B and Z users, Turku, Finland, June 4-6, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2651, 79-97 (2003).

Classification: F.3.1 F.1.2

16

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02011840 Savage, John E.

Computing with electronic nanotechnologies. (English)

Petreschi, Rosella (ed.) et al., Algorithms and complexity. 5th Italian conference, CIAC 2003, Rome, Italy, May 28-30, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2653, 11 (2003).

Classification: F.1.1 F.1.2

17

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02010351 Malyshkin, Victor (ed.)

Parallel computing technologies. 7th international conference, PaCT 2003, Nizhni Novgorod, Russia, September 15‒19, 2003. Proceedings. (English)

Lecture Notes in Computer Science. 2763. Berlin: Springer. xiii, 570 p. EUR 66.00/net; \$ 87.00; \sterling 51.00; sFr 109.50 (2003).

Classification: A.m F.1.2

18

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02010350 Amadio, Roberto (ed.); Lugiez, Denis (ed.)

CONCUR 2003 ‒ concurrency theory. 14th international conference, Marseille, France, September 3‒5, 2003. Proceedings. (English)

Lecture Notes in Computer Science. 2761. Berlin: Springer. xi, 524 p. EUR 62.00/net; \$ 81.00; \sterling 47.50; sFr 103.00 (2003).

Classification: A.m F.1.2

19

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02001929 Fich, Faith Ellen (ed.)

Distributed computing. 17th international conference, DISC 2003, Sorrento, Italy, October 1‒3, 2003. Proceedings. (English)

Lecture Notes in Computer Science 2848. Berlin: Springer (ISBN 3-540-20184-X/pbk). x, 366~p. EUR~50.00/net; \$~64.00; \sterling~38.50; sFr~86.00 (2003).

Classification: A.m F.1.2 C.2.4 B.8.1

20

PDF XML AMS-TeX TEXT BIBTeX URL