programming languages: principles & paradigms (15)
theoretical computer science (14)
parasites & vectors (10)
acm transactions on computational logic (8)
plos one (7)
informatics in education (6)
information and computation (5)
science & education (5)
archive for mathematical logic (4)
history & philosophy of logic (4)
ieee transactions on automatic control (4)
journal of the american mosquito control association (4)
astrobiology (3)
emerging infectious diseases (3)
journal of fluids and structures (3)
journal of travel medicine (3)
logical methods in computer science (3)
mathematical structures in computer science (3)
stem cells (3)
the journal of symbolic logic (3)
49th ieee conference on decision and control (cdc), decision and control (cdc), 2010 49th ieee conference on (2)
bollettino della societa entomologica italiana (2)
bulletin of the section of logic (2)
european journal of cell biology (2)
ieee control systems magazine (2)
ifac proceedings volumes (2)
insects (2075-4450) (2)
international journal of robust & nonlinear control (2)
international shipbuilding progress (2)
journal of fluids & structures (2)
journal of marine science & technology (2)
journal of symbolic logic (2)
journal of vector ecology (2)
pursuit of the universal (2)
robotics and autonomous systems (2)
science & education: contributions from history, philosophy and sociology of science and mathematics (2)
2008 47th ieee conference on decision and control, decision and control, 2008. cdc 2008. 47th ieee conference on (1)
2009 ieee international conference on robotics and automation, robotics and automation, 2009. icra '09. ieee international conference on (1)
2010 ieee/rsj international conference on intelligent robots and systems, intelligent robots and systems (iros), 2010 ieee/rsj international conference on (1)
2011 ieee international conference on robotics and automation, robotics and automation (icra), 2011 ieee international conference on (1)
2012 ieee 51st ieee conference on decision and control (cdc), decision and control (cdc), 2012 ieee 51st annual conference on (1)
2022 international conference on unmanned aircraft systems (icuas), unmanned aircraft systems (icuas), 2022 international conference on (1)
2023 international conference on unmanned aircraft systems (icuas), unmanned aircraft systems (icuas), 2023 international conference on (1)
ifac-papersonline (1)
international journal of systems, control and communications (1)
journal of intelligent & robotic systems: with a special section on unmanned systems (1)
journal of marine science and technology: official journal of the japan society of naval architects and ocean engineers (jasnaoe) (1)
logical approaches to computational barriers (1)
proceedings of the 27th acm conference on on innovation and technology in computer science education vol. 1 (1)
the burlington magazine for connoisseurs (1)