io-port.net

io-port 05979758 Popleteev, Andrei; Osmani, Venet; Mayora, Oscar; Matic, Aleksandar

Indoor localization using audio features of FM radio signals. (English)

Beigl, Michael (ed.) et al., Modeling and using context. 7th international and interdisciplinary conference, CONTEXT 2011, Karlsruhe, Germany, September 26‒30, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24278-6/pbk). Lecture Notes in Computer Science 6967. Lecture Notes in Artificial Intelligence, 246-249 (2011).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05903895 Khrennikov, Andrei; Ohya, Masanori; Watanabe, Noboru

Quantum probability from classical signal theory. (English)

Int. J. Quantum Inf. 9, Suppl., 281-292 (2011).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70000175 Andrei, Oana; Fernández, Maribel; Kirchner, Hélène; Melançon, Guy; Namet, Olivier; Pinaud, Bruno

PORGY: strategy-driven interactive transformation of graphs (English)

TERMGRAPH, 54-68 (2011).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70360669 Popleteev, Andrei; Osmani, Venet; Mayora, Oscar; Matic, Aleksandar

Indoor localization using audio features of FM radio signals (English)

CONTEXT, 246-249 (2011).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05849848 Matic, Aleksandar; Popleteev, Andrei; Osmani, Venet; Mayora-Ibarra, Oscar

FM radio for indoor localization with spontaneous recalibration. (English)

Pervasive Mobile Comput. 6, No. 6, 642-656 (2010).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50165872 Matic, Aleksandar; Popleteev, Andrei; Osmani, Venet; Mayora-Ibarra, Oscar

FM radio for indoor localization with spontaneous recalibration (English)

Pervasive and Mobile Computing 6, No. 6, 642-656 (2010).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50291791 Papliatseyeu, Andrei; Osmani, Venet; Mayora, Oscar

Indoor positioning using FM radio (English)

IJHCR 1, No. 3, 19-31 (2010).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70364608 Matic, Aleksandar; Papliatseyeu, Andrei; Osmani, Venet; Mayora-Ibarra, Oscar

Tuning to your position: FM radio based indoor localization with spontaneous recalibration (English)

PerCom, 153-161 (2010).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70559727 Calder, Muffy; Andrei, Oana; Degasperi, Andrea; Donaldson, Robin

From species to pathway and tissue as process (English)

CMSB, 1-2 (2010).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70781111 Bestavros, Azer; Kfoury, Assaf J.; Lapets, Andrei; Ocean, Michael J.

Safe compositional network sketches: formal framework (English)

HSCC, 231-241 (2010).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05749231 Andrei, Oana; Kirchner, Hélène

A port graph calculus for autonomic computing and invariant verification. (English)

Electron. Notes Theor. Comput. Sci. 253, No. 4, 17-38 (2009).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05748974 Goriac, Eugen-Ioan; Caltais, Georgiana; Lucanu, Dorel; Andrei, Oana; Grigoras, Gheorghe

Patterns for maude metalanguage applications. (English)

Electron. Notes Theor. Comput. Sci. 238, No. 3, 121-138 (2009).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05748969 Andrei, Oana; Lucanu, Dorel

Strategy-based proof calculus for membrane systems. (English)

Electron. Notes Theor. Comput. Sci. 238, No. 3, 23-43 (2009).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05654164 Andrei, Oana; Kirchner, Hélène

A higher-order graph calculus for autonomic computing. (English)

Lipshteyn, Marina (ed.) et al., Graph theory, computational intelligence and thought. Essays dedicated to Martin Charles Golumbic on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-02028-5/pbk). Lecture Notes in Computer Science 5420, 15-26 (2009).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70701331 Andrei, Oana; Kirchner, Hélène

A higher-order graph calculus for autonomic computing (English)

Graph Theory, Computational Intelligence and Thought, 15-26 (2009).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05514490 Andrei, Oana; Kirchner, Hélène

A rewriting calculus for multigraphs with ports. (English)

Electron. Notes Theor. Comput. Sci. 219, 67-82 (2008).

16

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05144949 Andrei, Oana; Ciobanu, Gabriel; Lucanu, Dorel

A rewriting logic framework for operational semantics of membrane systems. (English)

Theor. Comput. Sci. 373, No. 3, 163-181 (2007).

17

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70286154 Andrei, Oana; Kirchner, Hélène

Graph rewriting and strategies for modeling biochemical networks (English)

SYNASC, 407-414 (2007).

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05414286 Andrei, Oana; Lucanu, Dorel; Ciobanu, Gabriel

Operational semantics and rewriting logic in membrane computing. (English)

Electron. Notes Theor. Comput. Sci. 156, No. 1, 57-78 (2006).

19

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05188838 Andrei, Oana; Ibanescu, Liliana; Kirchner, Hélène

Non-intrusive formal methods and strategic rewriting for a chemical application. (English)

Futatsugi, Kokichi (ed.) et al., Algebra, meaning and computation. Essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday. Berlin: Springer (ISBN 3-540-35462-X/pbk). Lecture Notes in Computer Science 4060, 194-215 (2006).

20

PDF XML AMS-TeX TEXT BIBTeX DOI