Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Eyüp Serdar Ayaz, Alper Üngör |
An Iterative Refinement Scheme of Dominating Guards and Witnesses for Art Gallery Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCCG ![In: Proceedings of the 28th Canadian Conference on Computational Geometry, CCCG 2016, August 3-5, 2016, Simon Fraser University, Vancouver, British Columbia, Canada, pp. 168-174, 2016, Simon Fraser University, Vancouver, British Columbia, Canada. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Mark G. Arnold, Ed Chester, John R. Cowles |
Guarding the guards: Enhancing LNS performance for common applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 27th IEEE International Conference on Application-specific Systems, Architectures and Processors, ASAP 2016, London, United Kingdom, July 6-8, 2016, pp. 123-130, 2016, IEEE Computer Society, 978-1-5090-1503-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Saeed Mehrabi 0001 |
Guarding the Vertices of an Orthogonal Terrain using Vertex Guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1512.08292, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
20 | Waseem Abbas, Sajal Bhatia, Xenofon D. Koutsoukos |
Guarding Networks Through Heterogeneous Mobile Guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1503.04473, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
20 | Waseem Abbas, Sajal Bhatia, Xenofon D. Koutsoukos |
Guarding networks through heterogeneous mobile guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2015, Chicago, IL, USA, July 1-3, 2015, pp. 3428-3433, 2015, IEEE, 978-1-4799-8684-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Georgios Karachalias, Tom Schrijvers, Dimitrios Vytiniotis, Simon L. Peyton Jones |
GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015, Vancouver, BC, Canada, September 1-3, 2015, pp. 424-436, 2015, ACM, 978-1-4503-3669-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Xuehou Tan, Bo Jiang 0004 |
Optimum sweeps of simple polygons with two guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 114(3), pp. 130-136, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Grady Bullington, Linda Eroh, Steven J. Winters |
Prisoners and Guards on Rectangular Boards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Integer Seq. ![In: J. Integer Seq. 17(8), pp. 14.8.1, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
20 | Xuehou Tan, Bo Jiang 0004 |
Minimization of the maximum distance between the two guards patrolling a polygonal region. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 532, pp. 73-79, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Luca Spalazzi, Francesco Spegni |
Parameterized Model-Checking for Timed-Systems with Conjunctive Guards (Extended Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1407.7305, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
20 | Samuel Coogan 0001, Murat Arcak |
A computational approach to synthesizing guards for hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Control. Lett. ![In: Syst. Control. Lett. 73, pp. 25-32, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Luca Spalazzi, Francesco Spegni |
Parameterized Model-Checking of Timed Systems with Conjunctive Guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools and Experiments - 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers, pp. 235-251, 2014, Springer, 978-3-319-12153-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | André A. Osti, Bruno Alves Pereira Botelho, Nelson Uto |
Implementation aspects of software guards: A case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICITST ![In: 9th International Conference for Internet Technology and Secured Transactions, ICITST 2014, London, United Kingdom, December 8-10, 2014, pp. 262-267, 2014, IEEE, 978-1-908320-39-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Juan Francisco de Paz, Gabriel Villarrubia, Javier Bajo, Gabriel Sirvent, Tiancheng Li |
Indoor Location System for Security Guards in Subway Stations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAAMS (Special Sessions) ![In: Trends in Practical Applications of Heterogeneous Multi-Agent Systems. The PAAMS Collection, 12th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS 2014) Special Sessions, Salamanca, Spain, June 4-6, 2014., pp. 111-119, 2014, Springer, 978-3-319-07475-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Javier Cano, Csaba D. Tóth, Jorge Urrutia |
A tight bound for point guards in piecewise convex art galleries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Geom. ![In: Comput. Geom. 46(8), pp. 945-958, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Dorit Borrmann, Pedro J. de Rezende, Cid C. de Souza, Sándor P. Fekete, Stephan Friedrichs, Alexander Kröller, Andreas Nüchter, Christiane Schmidt 0001, Davi C. Tozoni |
Point guards and point clouds: solving general art gallery problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoCG ![In: Symposium on Computational Geometry 2013, SoCG '13, Rio de Janeiro, Brazil, June 17-20, 2013, pp. 347-348, 2013, ACM, 978-1-4503-2031-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Yi-Zong Ou, C. M. Huang, C. T. Hu, Jane W.-S. Liu, Edward T.-H. Chu, Chi-Sheng Shih 0001 |
An Asynchronous Message Delivery Service for iGaDs (Intelligent Guards Against Disasters). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMIS ![In: Seventh International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, IMIS 2013, Taichung, Taiwan, July 3-5, 2013, pp. 506-511, 2013, IEEE Computer Society, 978-0-7695-4974-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Michael Hanspach, Jörg Keller 0001 |
In Guards We Trust: Security and Privacy in Operating Systems Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SocialCom ![In: International Conference on Social Computing, SocialCom 2013, SocialCom/PASSAT/BigData/EconCom/BioMedCom 2013, Washington, DC, USA, 8-14 September, 2013, pp. 578-585, 2013, IEEE Computer Society, 978-0-7695-5137-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Chuzo Iwamoto, Junichi Kishi, Kenichi Morita |
Lower Bound of Face Guards of Polyhedral Terrains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Process. ![In: J. Inf. Process. 20(2), pp. 435-437, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Elias J. Willemse, Johan W. Joubert |
Applying min-max k postmen problems to the routing of security guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Oper. Res. Soc. ![In: J. Oper. Res. Soc. 63(2), pp. 245-260, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Chuzo Iwamoto, Yusuke Kitagaki, Kenichi Morita |
Finding the Minimum Number of Face Guards is NP-Hard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 95-D(11), pp. 2716-2719, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Francesco Alberti, Silvio Ghilardi, Elena Pagani, Silvio Ranise, Gian Paolo Rossi 0001 |
Universal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Satisf. Boolean Model. Comput. ![In: J. Satisf. Boolean Model. Comput. 8(1/2), pp. 29-61, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Sarah Cannon, Diane L. Souvaine, Andrew Winslow |
Hidden Mobile Guards in Simple Polygons ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1206.1803, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
20 | David Schneider 0001, Carl Friedrich Bolz |
The efficient handling of guards in the design of RPython's tracing JIT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMIL@SPLASH ![In: VMIL@SPLASH 2012: Proceedings of the sixth ACM workshop on Virtual machines and intermediate languages, Tucson, Arizona, USA, 21 October 2012, pp. 3-12, 2012, ACM, 978-1-4503-1633-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Tariq Elahi, Kevin S. Bauer, Mashael AlSabah, Roger Dingledine, Ian Goldberg |
Changing of the guards: a framework for understanding and improving entry guard selection in tor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPES ![In: Proceedings of the 11th annual ACM Workshop on Privacy in the Electronic Society, WPES 2012, Raleigh, NC, USA, October 15, 2012, pp. 43-54, 2012, ACM, 978-1-4503-1663-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Sarah Cannon, Diane L. Souvaine, Andrew Winslow |
Hidden Mobile Guards in Simple Polygons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCCG ![In: Proceedings of the 24th Canadian Conference on Computational Geometry, CCCG 2012, Charlottetown, Prince Edward Island, Canada, August 8-10, 2012, pp. 161-166, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
20 | Javier Cano, Csaba D. Tóth, Jorge Urrutia |
Edge Guards for Polyhedra in 3-Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCCG ![In: Proceedings of the 24th Canadian Conference on Computational Geometry, CCCG 2012, Charlottetown, Prince Edward Island, Canada, August 8-10, 2012, pp. 155-160, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
20 | Amotz Bar-Noy, Ben Baumer, Dror Rawitz |
Changing of the Guards: Strip Cover with Duty Cycling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIROCCO ![In: Structural Information and Communication Complexity - 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30-July 2, 2012, Revised Selected Papers, pp. 36-47, 2012, Springer, 978-3-642-31103-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Xuehou Tan, Bo Jiang 0004 |
Minimization of the Maximum Distance between the Two Guards Patrolling a Polygonal Region. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAW-AAIM ![In: Frontiers in Algorithmics and Algorithmic Aspects in Information and Management - Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012. Proceedings, pp. 47-57, 2012, Springer, 978-3-642-29699-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Marcelo C. Couto, Pedro J. de Rezende, Cid C. de Souza |
An exact algorithm for minimizing vertex guards on art galleries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. Trans. Oper. Res. ![In: Int. Trans. Oper. Res. 18(4), pp. 425-448, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Menelaos I. Karavelas |
Guarding curvilinear art galleries with edge or mobile guards via 2-dominance of triangulation graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Geom. ![In: Comput. Geom. 44(1), pp. 20-51, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Bo An 0001, James Pita, Eric Anyung Shieh, Milind Tambe, Christopher Kiekintveld, Janusz Marecki |
GUARDS and PROTECT: next generation applications of security games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGecom Exch. ![In: SIGecom Exch. 10(1), pp. 31-34, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Sajed Miremadi, Knut Åkesson, Bengt Lennartson |
Symbolic Computation of Reduced Guards in Supervisory Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans Autom. Sci. Eng. ![In: IEEE Trans Autom. Sci. Eng. 8(4), pp. 754-765, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Csaba D. Tóth, Godfried T. Toussaint, Andrew Winslow |
Open Guard Edges and Edge Guards in Simple Polygons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EGC ![In: Computational Geometry - XIV Spanish Meeting on Computational Geometry, EGC 2011, Dedicated to Ferran Hurtado on the Occasion of His 60th Birthday, Alcalá de Henares, Spain, June 27-30, 2011, Revised Selected Papers, pp. 54-64, 2011, Springer, 978-3-642-34190-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Thomas Colcombet, Clemens Ley, Gabriele Puppis |
On the Use of Guards for Logics with Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2011 - 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings, pp. 243-255, 2011, Springer, 978-3-642-22992-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Csaba D. Tóth, Godfried T. Toussaint, Andrew Winslow |
Open Guard Edges and Edge Guards in Simple Polygons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCCG ![In: Proceedings of the 23rd Annual Canadian Conference on Computational Geometry, Toronto, Ontario, Canada, August 10-12, 2011, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
20 | James Pita, Milind Tambe, Christopher Kiekintveld, Shane Cullen, Erin Steigerwald |
GUARDS - Innovative Application of Game Theory for National Airport Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011, pp. 2710-2715, 2011, IJCAI/AAAI, 978-1-57735-516-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | James Pita, Milind Tambe, Christopher Kiekintveld, Shane Cullen, Erin Steigerwald |
GUARDS: game theoretic security allocation on a national scale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3, pp. 37-44, 2011, IFAAMAS, 978-0-9826571-5-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
20 | Yoav Amit, Joseph S. B. Mitchell, Eli Packer |
Locating Guards for Visibility Coverage of Polygons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Geom. Appl. ![In: Int. J. Comput. Geom. Appl. 20(5), pp. 601-630, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Jeanette Heidenberg, Ivan Porres |
Metrics Functions for Kanban Guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010, pp. 306-310, 2010, IEEE Computer Society, 978-0-7695-4005-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
software metrics, agile methods, autonomation |
20 | Val Pinciu |
Pixel Guards in Polyominoes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTW ![In: 9th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, Cologne, Germany, May 25-27, 2010. Extended Abstracts, pp. 137-140, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
20 | Eugen Leontie, Olga Gelbart, Bhagirath Narahari, Rahul Simha |
Detecting memory spoofing in secure embedded systems using cache-aware FPGA guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAS ![In: Sixth International Conference on Information Assurance and Security, IAS 2010, Atlanta, GA, USA, August 23-25, 2010, pp. 125-130, 2010, IEEE, 978-1-4244-7407-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Xiangyuan Dong, Shuqing Guo |
Calibration Model for Electrical Capacitance Tomography Sensor with Thin Radial Guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIA ![In: Information and Automation - International Symposium, ISIA 2010, Guangzhou, China, November 10-11, 2010. Revised Selected Papers, pp. 438-443, 2010, Springer, 978-3-642-19852-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Johann Schumann, Ashok N. Srivastava, Ole J. Mengshoel |
Who Guards the Guardians? - Toward V&V of Health Management Software - (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings, pp. 399-404, 2010, Springer, 978-3-642-16611-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Xuehou Tan, Bo Jiang 0004 |
Optimum Sweeps of Simple Polygons with Two Guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAW ![In: Frontiers in Algorithmics, 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings, pp. 304-315, 2010, Springer, 978-3-642-14552-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Florian Nothdurft, Gregor Bertrand, Tobias Heinroth, Wolfgang Minker |
GEEDI - Guards for Emotional and Explanatory DIalogues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Environments ![In: Sixth International Conference on Intelligent Environments, IE 2010, Kuala Lumpur, Malaysia, July 19-21, 2010, pp. 90-95, 2010, IEEE Computer Society, 978-0-7695-4149-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Bin Wu, Liyong Shen, Zhongqin Bi, Zhenbing Zeng |
Termination of Loop Programs with Polynomial Guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (4) ![In: Computational Science and Its Applications - ICCSA 2010, International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV, pp. 482-496, 2010, Springer, 978-3-642-12188-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Prosenjit Bose |
A note on the lower bound of edge guards of polyhedral terrains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Math. ![In: Int. J. Comput. Math. 86(4), pp. 577-583, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Menelaos I. Karavelas, Csaba D. Tóth, Elias P. Tsigaridas |
Guarding curvilinear art galleries with vertex or point guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Geom. ![In: Comput. Geom. 42(6-7), pp. 522-535, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Tobias Christ, Michael Hoffmann 0001 |
Wireless Localization with Vertex Guards is NP-hard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCCG ![In: Proceedings of the 21st Annual Canadian Conference on Computational Geometry, Vancouver, British Columbia, Canada, August 17-19, 2009, pp. 149-152, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
20 | Iain Phillips 0001 |
CCS with priority guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 75(1), pp. 139-165, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Menelaos I. Karavelas, Elias P. Tsigaridas |
Guarding curvilinear art galleries with vertex or point guards ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0802.2594, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
20 | Menelaos I. Karavelas |
Guarding curvilinear art galleries with edge or mobile guards via 2-dominance of triangulation graphs ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0802.1361, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
20 | Ward Douglas Maurer |
Partially defined computer instructions and guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 72(3), pp. 220-239, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Stephen Kloder |
Barrier Coverage: Deploying Robot Guards to Prevent Intrusion ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2008 |
RDF |
|
20 | Xuehou Tan |
Sweeping simple polygons with the minimum number of chain guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 102(2-3), pp. 66-71, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Adrian Kosowski, Michal Malafiejski, Pawel Zylinski |
Cooperative mobile guards in grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Geom. ![In: Comput. Geom. 37(2), pp. 59-71, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Stephen Kloder, Seth Hutchinson 0001 |
Barrier Coverage for Variable Bounded-Range Line-of-Sight Guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2007 IEEE International Conference on Robotics and Automation, ICRA 2007, 10-14 April 2007, Roma, Italy, pp. 391-396, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Yoav Amit, Joseph S. B. Mitchell, Eli Packer |
Locating Guards for Visibility Coverage of Polygons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALENEX ![In: Proceedings of the Nine Workshop on Algorithm Engineering and Experiments, ALENEX 2007, New Orleans, Louisiana, USA, January 6, 2007, 2007, SIAM, 978-1-61197-287-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Deepak D'Souza, Nicolas Tabareau |
On timed automata with input-determined guards ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0601096, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
20 | Emanuel Kieronski |
On the complexity of the two-variable guarded fragment with transitive guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 204(11), pp. 1663-1703, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Anurag Ganguli, Jorge Cortés 0001, Francesco Bullo |
Distributed deployment of asynchronous guards in art galleries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2006, Minneapolis, MN, USA, 14-16 June, 2006, 2006, IEEE, 1-4244-0209-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Úlfar Erlingsson, Martín Abadi, Michael Vrable, Mihai Budiu, George C. Necula |
XFI: Software Guards for System Address Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OSDI ![In: 7th Symposium on Operating Systems Design and Implementation (OSDI '06), November 6-8, Seattle, WA, USA, pp. 75-88, 2006, USENIX Association, 1-931971-47-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
20 | Igor V. Kotenko, Alexander Ulanov |
Agent Teams in Cyberspace: Security Guards in the Global Internet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CW ![In: 5th International Conference on Cyberworlds (CW 2006), 28-29 November 2006, Lausanne, Switzerland, pp. 133-140, 2006, IEEE Computer Society, 0-7695-2671-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Fabrice Chevalier, Deepak D'Souza, Pavithra Prabhakar |
On Continuous Timed Automata with Input-Determined Guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings, pp. 369-380, 2006, Springer, 3-540-49994-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Branko Kaucic |
Approximative Terrain Guarding With Given Number of Guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Inf. Technol. ![In: J. Comput. Inf. Technol. 13(4), pp. 307-312, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Johan van Benthem |
Guards, Bounds, and Generalized Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 14(3), pp. 263-279, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Johann Eder, Marek Lehmann |
Workflow Data Guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (1) ![In: On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE, OTM Confederated International Conferences CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part I, pp. 502-519, 2005, Springer, 3-540-29736-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Wieslaw Szwast, Lidia Tendera |
The guarded fragment with transitive guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 128(1-3), pp. 227-276, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Marco M. Carvalho, Thomas B. Cowin, Niranjan Suri, Maggie R. Breedy, Kenneth M. Ford |
Using mobile agents as roaming security guards to test and improve security of hosts and networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pp. 87-93, 2004, ACM, 1-58113-812-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
IHMC, MAST, mobile agents, network security, knowledge models, concept maps |
20 | Jae-Ha Lee, Sang-Min Park, Kyung-Yong Chwa |
Equivalence of Search Capability Among Mobile Guards with Various Visibilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA 2004, 12th Annual European Symposium, Bergen, Norway, September 14-17, 2004, Proceedings, pp. 484-495, 2004, Springer, 3-540-23025-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Yevgeny Kazakov |
A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR Doctoral Programme ![In: Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, Cork, Ireland, July 4-8, 2004., 2004, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
20 | Branko Kaucic, Borut Zalik, Franc Novak |
On the Lower Bound of Edge Guards of Polyhedral Terrains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Math. ![In: Int. J. Comput. Math. 80(7), pp. 811-814, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | T. S. Michael, Val Pinciu |
Art gallery theorems for guarded guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Geom. ![In: Comput. Geom. 26(3), pp. 247-258, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Georg Gottlob, Nicola Leone, Francesco Scarcello |
Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 66(4), pp. 775-808, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Emanuel Kieronski |
The Two-Variable Guarded Fragment with Transitive Guards Is 2EXPTIME-Hard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 299-312, 2003, Springer, 3-540-00897-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Richard J. Ormerod |
Response to Mingers - an overarching philosophy for OR/MS - Sed Quis Custodet Custodies? [But who is to guard the guards themselves] (Juvenal, c. AD 60-130). ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Oper. Res. Soc. ![In: J. Oper. Res. Soc. 53(3), pp. 354-357, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Csaba D. Tóth |
Art galleries with guards of uniform range of vision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Geom. ![In: Comput. Geom. 21(3), pp. 185-192, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Sang-Min Park, Jae-Ha Lee, Kyung-Yong Chwa |
Searching a Room by Two Guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Geom. Appl. ![In: Int. J. Comput. Geom. Appl. 12(4), pp. 339-352, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Giorgos D. Kazazakis, Antonis A. Argyros |
Fast positioning of limited-visibility guards for the inspection of 2D workspaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: IEEE/RSJ International Conference on Intelligent Robots and Systems, Lausanne, Switzerland, September 30 - October 4, 2002, pp. 2843-2848, 2002, IEEE, 0-7803-7398-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi |
Formal validation of fault-tolerance mechanisms inside GUARDS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 71(3), pp. 261-270, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Georg Gottlob, Nicola Leone, Francesco Scarcello |
Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEBD ![In: Nono Convegno Nazionale Sistemi Evoluti per Basi di Dati, SEBD 2001, Venezia, Italy, 27-29 Giugno 2001, pp. 147-154, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
20 | Martin Erwig, Simon L. Peyton Jones |
Pattern Guards and Transformational Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 2000 ACM SIGPLAN Workshop on Haskell, Haskell 2000, Satellite Event of PLI 2000, Montreal, Canada, September 17, 2000, pp. 3, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Csaba D. Tóth |
Art gallery problem with guards whose range of vision is 180. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Geom. ![In: Comput. Geom. 17(3-4), pp. 121-134, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Martin Weigt, Alexander K. Hartmann |
The number of guards needed by a museum: A phase transition in vertex covering of random graphs ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cond-mat/0001137, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
20 | Randall Brukardt |
In the News - An ISO Standard Guards the Ada Hen House, Innovation and the National Reconnaissance Office, Making Measurement Understandable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 17(1), pp. 92-96, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Alon Efrat, Leonidas J. Guibas, Sariel Har-Peled, David C. Lin, Joseph S. B. Mitchell, T. M. Murali 0001 |
Sweeping simple polygons with a chain of guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Eleventh Annual ACM-SIAM Symposium on Discrete Algorithms, January 9-11, 2000, San Francisco, CA, USA., pp. 927-936, 2000, ACM/SIAM, 0-89871-453-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
20 | André Engels |
Design Decisions on Data and Guards in MSC2000. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: SAM 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000, pp. 33-46, 2000, VERIMAG, IRISA, SDL Forum. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
20 | Ralph Miarka, Eerke A. Boiten, John Derrick |
Guards, Preconditions, and Refinement in Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings, pp. 286-303, 2000, Springer, 3-540-67944-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Erich Grädel |
On The Restraining Power of Guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 64(4), pp. 1719-1742, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | David Powell, Jean Arlat, Ljerka Beus-Dukic, Andrea Bondavalli, P. Coppola, Alessandro Fantechi, Eric Jenn, Christophe Rabéjac, Andy J. Wellings |
GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 10(6), pp. 580-599, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
integrity levels, fault tolerance, embedded systems, real-time, Computer architecture, generic architecture |
20 | Xuehou Tan |
Edge Guards in Straight Walkable Polygons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Geom. Appl. ![In: Int. J. Comput. Geom. Appl. 9(1), pp. 63-80, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Timo Raita |
On Guards and Symbol Dependencies in Substring Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 29(11), pp. 931-941, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Michael Mehl |
The Oz virtual machine: records, transients and deep guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1999 |
RDF |
|
20 | Iliana Bjorling-Sachs |
Edge guards in rectilinear polygons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Geom. ![In: Comput. Geom. 11(2), pp. 111-123, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Johan van Benthem |
Modality, relational guards, and decidability (invited paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998, pp. 18, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
20 | Yunghsiang S. Han, Carlos R. P. Hartmann |
The zero-guards algorithm for general minimum-distance decoding problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 43(5), pp. 1655-1658, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Laxmi P. Gewali |
Placing Guards Inside Orthogonal Polygons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 88(1-4), pp. 1-14, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
20 | A. S. M. Sajeev, Heinz W. Schmidt |
Integrating concurrency and object-orientation using boolean, access and path guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HiPC ![In: 3rd International Conference on High Performance Computing, HIPC 1996, Proceedings, Trivandrum, India, 19-22 December, 1996, pp. 68-72, 1996, IEEE Computer Society, 0-8186-7557-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Paul Colley, Henk Meijer, David Rappaport |
Motivating lazy guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCCG ![In: Proceedings of the 7th Canadian Conference on Computational Geometry, Quebec City, Quebec, Canada, August 1995, pp. 121-126, 1995, Carleton University, Ottawa, Canada. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|