information and computation (4)
18th annual ieee symposium of logic in computer science, 2003. proceedings., logic in computer science, 2003. proceedings. 18th annual ieee symposium on, logic in computer science (3)
proceedings of the 18th annual ieee symposium of logic in computer science, 2003 (3)
21st annual ieee symposium on logic in computer science (lics'06) (2)
21st annual ieee symposium on logic in computer science (lics'06), logic in computer science, 2006 21st annual ieee symposium on (2)
journal of computer and system sciences (2)
proceedings 11th annual ieee symposium on logic in computer science (2)
proceedings 11th annual ieee symposium on logic in computer science, logic in computer science, 1996. lics '96. proceedings., eleventh annual ieee symposium on, logic in computer science (2)
[1988] proceedings. third annual symposium on logic in computer science, logic in computer science, 1988. lics '88., proceedings of the third annual symposium on (1)
[1989] proceedings. fourth annual symposium on logic in computer science, logic in computer science, 1989. lics '89, proceedings., fourth annual symposium on (1)
[1990] proceedings. fifth annual ieee symposium on logic in computer science, logic in computer science, 1990. lics '90, proceedings., fifth annual ieee symposium on e (1)
[1991] proceedings sixth annual ieee symposium on logic in computer science, logic in computer science, 1991. lics '91., proceedings of sixth annual ieee symposium on (1)
[1992] proceedings of the seventh annual ieee symposium on logic in computer science, logic in computer science, 1992. lics '92., proceedings of the seventh annual ieee symposium on (1)
[1992] proceedings of the seventh annual structure in complexity theory conference, structure in complexity theory conference, 1992., proceedings of the seventh annual (1)
[1993] proceedings of the eigth annual structure in complexity theory conference, structure in complexity theory conference, 1993., proceedings of the eighth annual (1)
1988 proceedings third annual information symposium on logic in computer science (1)
1989 proceedings fourth annual symposium on logic in computer science (1)
1990 proceedings fifth annual ieee symposium on logic in computer science (1)
1991 proceedings sixth annual ieee symposium on logic in computer science (1)
1992 proceedings of the seventh annual ieee symposium on logic in computer science (1)
1992 proceedings of the seventh annual structure in complexity theory conference (1)
1993 proceedings of the eigth annual structure in complexity theory conference (1)
2008 formal methods in computer-aided design (1)
2009 24th annual ieee symposium on logic in computer science (1)
2010 49th ieee conference on decision & control (cdc) (1)
2010 8th ieee/acm international conference on formal methods & models for codesign (memocode) (1)
2010 ieee international conference on robotics & automation (icra) (1)
25th annual symposium onfoundations of computer science, 1984 (1)
25th annual symposium onfoundations of computer science, 1984., foundations of computer science, 1984. 25th annual symposium on (1)
46th annual ieee symposium on foundations of computer science (focs'05) (1)
46th annual ieee symposium on foundations of computer science (focs'05), foundations of computer science, 2005. focs 2005. 46th annual ieee symposium on, foundations of computer science (1)
annals of pure and applied logic (1)
iccad-2005. ieee/acm international conference on computer-aided design, 2005 (1)
iccad-2005. ieee/acm international conference on computer-aided design, 2005., computer-aided design, 2005. iccad-2005. ieee/acm international conference on, computer aided design (1)
ieee robotics & automation magazine, robotics & automation magazine, ieee, ieee robot. automat. mag. (1)
ieee robotics and automation letters, robotics and automation letters, ieee, ieee robot. autom. lett. (1)
ieee software, software, ieee, ieee softw. (1)
ieee transactions on robotics, robotics, ieee transactions on, ieee trans. robot. (1)
ieee transactions on technology and society, technology and society, ieee transactions on, ieee trans. technol. soc. (1)
information processing letters (1)
proceedings 2007 ieee international conference on robotics & automation (1)
proceedings fifteenth annual ieee symposium on logic in computer science (cat. no.99cb36332) (1)
proceedings fifteenth annual ieee symposium on logic in computer science (cat. no.99cb36332), logic in computer science, 2000. proceedings. 15th annual ieee symposium on, logic in computer science (1)
proceedings of 16th international conference on data engineering (cat. no.00cb37073) (1)
proceedings of 16th international conference on data engineering (cat. no.00cb37073), data engineering, 2000. proceedings. 16th international conference on, data engineering (1)
proceedings of tenth annual ieee symposium on logic in computer science (1)
proceedings of tenth annual ieee symposium on logic in computer science, logic in computer science, 1995. lics '95. proceedings., tenth annual ieee symposium on, logic in computer science (1)
proceedings of the 2004 11th ieee international conference on electronics, circuits & systems, 2004 (icecs 2004) (1)
reliability engineering & system safety (1)
reliability engineering and system safety (1)