no help available
no help available
BibSonomy
author- tag
- user
- group
- author
- concept
- BibTeX key
- search:all
- :: Cardell-Oliver
- ::
The blue social bookmark and publication sharing system.
bookmarks
- No matching items.
- Rachel Cardell-Oliver, Stefan Böttcher, and Christof Hübner. EWSN, volume 7772 of Lecture Notes in Computer Science, page 83-98. Springer, (2013)Rachel Cardell-Oliver, Stefan Böttcher, and Christof Hübner. EWSN, volume 7772 of Lecture Notes in Computer Science, page 83-98. Springer, (2013)3 months and 18 days agoby dblp1
- Alvaro Monsalve, Rachel Cardell-Oliver, Amitava Datta, and Christof Huebner. PIMRC, page 260-265. IEEE, (2012)Alvaro Monsalve, Rachel Cardell-Oliver, Amitava Datta, and Christof Huebner. PIMRC, page 260-265. IEEE, (2012)5 months and 18 days agoby dblp1
- Janet Carter, Dennis Bouvier, Rachel Cardell-Oliver, Margaret Hamilton, Stanislav Kurkovsky, Stefanie Markham, O. William McClung, Roger McDermott, Charles Riedesel, Jian Shi, and Su White. Proceedings of the 16th annual conference reports on Innovation and technology in computer science education - working group reports, page 1--18. New York, NY, USA, ACM, (2011)Janet Carter, Dennis Bouvier, Rachel Cardell-Oliver, Margaret Hamilton, Stanislav Kurkovsky, Stefanie Markham, O. William McClung, Roger McDermott, Charles Riedesel, Jian Shi, and Su White. Proceedings of the 16th annual conference reports on Innovation and technology in computer science education - working group reports, page 1--18. New York, NY, USA, ACM, (2011)8 months agoby ziticca1
- Rachel Cardell-Oliver, and Wei Liu. IEEE Communications Magazine 48(3):112-117 (2010)Rachel Cardell-Oliver, and Wei Liu. IEEE Communications Magazine 48(3):112-117 (2010)a year and 3 months agoby dblp1
- Rachel Cardell-Oliver, and Patrick Doran Wu. ITiCSE, page 341. ACM, (2011)Rachel Cardell-Oliver, and Patrick Doran Wu. ITiCSE, page 341. ACM, (2011)a year and 10 months agoby dblp1
- An Equivalence Theorem for the Operational and Temporal Semantics of Real-Time, Concurrent Programs.Rachel Cardell-Oliver. J. Log. Comput. 8(4):545-567 (1998)Rachel Cardell-Oliver. J. Log. Comput. 8(4):545-567 (1998)a year and 11 months agoby dblp1
- Thorsten Gerdsmeier, and Rachel Cardell-Oliver. Electr. Notes Theor. Comput. Sci. (2001)Thorsten Gerdsmeier, and Rachel Cardell-Oliver. Electr. Notes Theor. Comput. Sci. (2001)a year and 11 months agoby dblp1
- Rachel Cardell-Oliver, and Tim Glover. FTRTFT, volume 1486 of Lecture Notes in Computer Science, page 251-261. Springer, (1998)Rachel Cardell-Oliver, and Tim Glover. FTRTFT, volume 1486 of Lecture Notes in Computer Science, page 251-261. Springer, (1998)a year and 11 months agoby dblp1
- Rachel Cardell-Oliver. Formal Asp. Comput. 12(5):350-371 (2000)Rachel Cardell-Oliver. Formal Asp. Comput. 12(5):350-371 (2000)2 years agoby dblp1
- Roger Hale, Rachel Cardell-Oliver, and John Herbert. Formal Methods in System Design 3(1/2):151-174 (1993)Roger Hale, Rachel Cardell-Oliver, and John Herbert. Formal Methods in System Design 3(1/2):151-174 (1993)2 years agoby dblp1
- Rachel Cardell-Oliver, Lu Zhang 0016, Rieky Barady, You Hai Lim, Asad Naveed, and Terry Woodings. Australian Software Engineering Conference, page 157-164. IEEE Computer Society, (2010)Rachel Cardell-Oliver, Lu Zhang 0016, Rieky Barady, You Hai Lim, Asad Naveed, and Terry Woodings. Australian Software Engineering Conference, page 157-164. IEEE Computer Society, (2010)2 years and 4 months agoby dblp1
- Christof Huebner, Stefan Hanelt, Tino Wagenknecht, Rachel Cardell-Oliver, and Alvaro Monsalve. SenSys, page 417-418. ACM, (2010)Christof Huebner, Stefan Hanelt, Tino Wagenknecht, Rachel Cardell-Oliver, and Alvaro Monsalve. SenSys, page 417-418. ACM, (2010)2 years and 5 months agoby dblp1
- Lanny Sitanayah, Amitava Datta, and Rachel Cardell-Oliver. Computer Networks 54(10):1630-1645 (2010)Lanny Sitanayah, Amitava Datta, and Rachel Cardell-Oliver. Computer Networks 54(10):1630-1645 (2010)2 years and 8 months agoby dblp1
- Babak Pazand, Amitava Datta, and Rachel Cardell-Oliver. ICCSA 3, volume 6018 of Lecture Notes in Computer Science, page 336-351. Springer, (2010)Babak Pazand, Amitava Datta, and Rachel Cardell-Oliver. ICCSA 3, volume 6018 of Lecture Notes in Computer Science, page 336-351. Springer, (2010)2 years and 10 months agoby dblp1
- Rachel Cardell-Oliver, Mark Reynolds, and Mark Kranz. ISoLA, page 283-289. IEEE, (2006)Rachel Cardell-Oliver, Mark Reynolds, and Mark Kranz. ISoLA, page 283-289. IEEE, (2006)3 years and 11 months agoby dblp1
- Rachel Cardell-Oliver, Mark Kranz, Keith Smettem, and Kevin Mayer. IJDSN 1(2):149-162 (2005)Rachel Cardell-Oliver, Mark Kranz, Keith Smettem, and Kevin Mayer. IJDSN 1(2):149-162 (2005)4 years and 4 months agoby dblp1
- Winnie Louis Lee, Amitava Datta, and Rachel Cardell-Oliver. IEEE Trans. Parallel Distrib. Syst. 19(6):851-864 (2008)Winnie Louis Lee, Amitava Datta, and Rachel Cardell-Oliver. IEEE Trans. Parallel Distrib. Syst. 19(6):851-864 (2008)5 years agoby dblp1
- Jingbo Sun, and Rachel Cardell-Oliver. SenSys, page 439-440. ACM, (2007)Jingbo Sun, and Rachel Cardell-Oliver. SenSys, page 439-440. ACM, (2007)5 years agoby dblp1
- Babak Pazand, Amitava Datta, and Rachel Cardell-Oliver. SenSys, page 423-424. ACM, (2007)Babak Pazand, Amitava Datta, and Rachel Cardell-Oliver. SenSys, page 423-424. ACM, (2007)5 years agoby dblp1
- Winnie Louis Lee, Amitava Datta, and Rachel Cardell-Oliver. GLOBECOM, IEEE, (2006)Winnie Louis Lee, Amitava Datta, and Rachel Cardell-Oliver. GLOBECOM, IEEE, (2006)5 years and 7 months agoby dblp1