Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
191 | Menelaos I. Karavelas |
Guarding curvilinear art galleries with edge or mobile guards. |
Symposium on Solid and Physical Modeling |
2008 |
DBLP DOI BibTeX RDF |
2-dominance, curvilinear polygons, diagonal guards, edge guards, mobile guards, piece-wise-convex polygons, triangulation graphs, art gallery |
130 | Jae-Ha Lee, Sang-Min Park, Kyung-Yong Chwa |
Optimization Algorithms for Sweeping a Polygonal Region with Mobile Guards. |
ISAAC |
2001 |
DBLP DOI BibTeX RDF |
|
112 | David Eppstein, Michael T. Goodrich, Nodari Sitchinava |
Guard placement for efficient point-in-polygon proofs. |
SCG |
2007 |
DBLP DOI BibTeX RDF |
angle guards, art gallery problem, floodlights, approximation algorithm, localization |
77 | David Lorge Parnas |
On Iterative Constructs. |
ACM Trans. Program. Lang. Syst. |
1990 |
DBLP DOI BibTeX RDF |
|
75 | Sang-Min Park, Kyung-Yong Chwa, Jae-Ha Lee |
Characterization of Rooms Searchable by Two Guards. |
ISAAC |
2000 |
DBLP DOI BibTeX RDF |
|
75 | Jan Friso Groote, Alban Ponse |
Process Algebra with Guards - Combining Hoare Logic with Process Algebra (Extended Abstract). |
CONCUR |
1991 |
DBLP DOI BibTeX RDF |
|
66 | Matthew J. Katz, Gabriel S. Roisman |
On Guarding Rectilinear Domains. |
SWAT |
2006 |
DBLP DOI BibTeX RDF |
|
66 | Alon Efrat, Leonidas J. Guibas, Sariel Har-Peled, Joseph S. B. Mitchell, T. M. Murali 0001 |
New Similarity Measures between Polylines with Applications to Morphing and Polygon Sweeping. |
Discret. Comput. Geom. |
2002 |
DBLP DOI BibTeX RDF |
|
66 | Joseph Sifakis |
A General Framework for the Composition of Timed Systems Extended Abstract. |
FTRTFT |
1998 |
DBLP DOI BibTeX RDF |
|
64 | Xuehou Tan, Bo Jiang 0004 |
Searching a Polygonal Region by Two Guards. |
J. Comput. Sci. Technol. |
2008 |
DBLP DOI BibTeX RDF |
polygon search problem, two-guard problem, robotics, computational geometry, visibility |
64 | Xuehou Tan |
Searching a Polygonal Region by Two Guards. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
|
64 | Christodoulos Fragoudakis, Euripides Markou, Stathis Zachos |
How to Place Efficiently Guards and Paintings in an Art Gallery. |
Panhellenic Conference on Informatics |
2005 |
DBLP DOI BibTeX RDF |
|
64 | Val Pinciu |
Connected Guards in Orthogonal Art Galleries. |
ICCSA (3) |
2003 |
DBLP DOI BibTeX RDF |
|
57 | Jeffrey Choi Robinson, W. Scott Harrison, Nadine Hanebutte, Paul W. Oman, Jim Alves-Foss |
Implementing middleware for content filtering and information flow control. |
CSAW |
2007 |
DBLP DOI BibTeX RDF |
GIOP, MILS, security, CORBA, safety, MLS, common criteria, high assurance, guards, IIOP |
55 | Lichen Bao, Sergey Bereg, Ovidiu Daescu, Simeon C. Ntafos, Junqiang Zhou |
On Some City Guarding Problems. |
COCOON |
2008 |
DBLP DOI BibTeX RDF |
|
55 | Masoud Taghinezhad Omran |
Parallel Algorithm to Find Minimum Vertex Guard Set in a Triangulated Irregular Network. |
PPAM |
2007 |
DBLP DOI BibTeX RDF |
Art Gallery Problem, Guarding Problem, Approximation Algorithms, Parallel Computing, MPI, Graph Partitioning |
55 | Markus Müller-Olm, Oliver Rüthing, Helmut Seidl |
Checking Herbrand Equalities and Beyond. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
55 | Xuehou Tan |
The Two-Guard Problem Revisited and Its Generalization. |
ISAAC |
2004 |
DBLP DOI BibTeX RDF |
|
53 | Adrian Kosowski, Michal Malafiejski, Pawel Zylinski |
An Efficient Algorithm for Mobile Guarded Guards in Simple Grids. |
ICCSA (1) |
2006 |
DBLP DOI BibTeX RDF |
|
53 | Bettina Speckmann, Csaba D. Tóth |
Allocating Vertex pi-Guards in Simple Polygons via Pseudo-Triangulations. |
Discret. Comput. Geom. |
2005 |
DBLP DOI BibTeX RDF |
|
53 | Michal Malafiejski, Pawel Zylinski |
Weakly Cooperative Guards in Grids. |
ICCSA (1) |
2005 |
DBLP DOI BibTeX RDF |
|
53 | Michel Sintzoff |
Iterative Synthesis of Control Guards Ensuring Invariance and Inevitability in Discrete-Decision Games. |
Essays in Memory of Ole-Johan Dahl |
2004 |
DBLP DOI BibTeX RDF |
|
53 | Bettina Speckmann, Csaba D. Tóth |
Allocating vertex pi-guards in simple polygons via pseudo-triangulations. |
SODA |
2003 |
DBLP BibTeX RDF |
|
53 | Val Pinciu |
A Coloring Algorithm for Finding Connected Guards in Art Galleries. |
DMTCS |
2003 |
DBLP DOI BibTeX RDF |
|
53 | Matthew Arnold, Barbara G. Ryder |
Thin Guards: A Simple and Effective Technique for Reducing the Penalty of Dynamic Class Loading. |
ECOOP |
2002 |
DBLP DOI BibTeX RDF |
|
53 | Hoi Chang, Mikhail J. Atallah |
Protecting Software Code by Guards. |
Digital Rights Management Workshop |
2001 |
DBLP DOI BibTeX RDF |
|
53 | Leo G. Kroon, Matteo Fischetti |
Scheduling Train Drivers and Guards: The Dutch "Noord-Oost" Case. |
HICSS |
2000 |
DBLP DOI BibTeX RDF |
|
46 | Adrian Kosowski, Michal Malafiejski, Pawel Zylinski |
Fault Tolerant Guarding of Grids. |
ICCSA (1) |
2006 |
DBLP DOI BibTeX RDF |
fault tolerant guards, packing factors, edge-colorable subgraph |
46 | P. Greve, J. Hoffman, R. E. Smith |
Using Type Enforcement to Assure a Configurable Guard. |
ACSAC |
1997 |
DBLP DOI BibTeX RDF |
type enforcement, configurable guard, guard systems, administrator configurable guard, input channel, connected output channel, assured processes, assurance arguments, operational guards, pipeline, electronic mail, electronic mail, trusted components |
44 | Ming Hua 0001, Jian Pei, Ada Wai-Chee Fu, Xuemin Lin 0001, Ho-fung Leung |
Top-k typicality queries and efficient query answering methods on large databases. |
VLDB J. |
2009 |
DBLP DOI BibTeX RDF |
Typicality analysis, Efficient query answering, Top-k query |
44 | John Z. Zhang |
The Two-Guard Polygon Walk Problem. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
44 | Louigi Addario-Berry, Omid Amini, Jean-Sébastien Sereni, Stéphan Thomassé |
Guarding Art Galleries: The Extra Cost for Sculptures Is Linear. |
SWAT |
2008 |
DBLP DOI BibTeX RDF |
Pseudo-triangulation, Art Gallery |
44 | Tobias Christ, Michael Hoffmann 0001, Yoshio Okamoto, Takeaki Uno |
Improved Bounds for Wireless Localization. |
SWAT |
2008 |
DBLP DOI BibTeX RDF |
|
44 | Dusko Pavlovic, Douglas R. Smith |
Guarded Transitions in Evolving Specifications. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
44 | Yasushi Shinjo, Kotaro Eiraku, Atsushi Suzuki, Kozo Itano, Calton Pu |
Enhancing Access Control with SysGuard, Reference Monitor Supporting Portable and Composable Kernel Module. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
44 | Stephan J. Eidenbenz, Christoph Stamm, Peter Widmayer |
Inapproximability Results for Guarding Polygons and Terrains. |
Algorithmica |
2001 |
DBLP DOI BibTeX RDF |
|
44 | John H. Reif |
Fast Spatial Decomposition and Closest Pair Computation for Limited Precision Input. |
Algorithmica |
2000 |
DBLP DOI BibTeX RDF |
Visibility problems, Gap-preserving reductions, Telecommunications, Terrains, Inapproximability, Art gallery |
44 | Paul G. Spirakis, Basil Tampakas, Hera Antonopoulou |
Distributed Protocols Against Mobile Eavesdroppers. |
WDAG |
1995 |
DBLP DOI BibTeX RDF |
Theory of Distributed Computation, Privacy and Security, Algorithms and Data Structures |
44 | Jurek Czyzowicz, Eduardo Rivera-Campo, Nicola Santoro, Jorge Urrutia, Joseph Zaks |
Tight Bounds for the Rectangualr Art Gallery Problem. |
WG |
1991 |
DBLP DOI BibTeX RDF |
|
44 | Frank S. de Boer, Catuscia Palamidessi |
Embedding as a Tool for Language Comparison: On the CSP Hierarchy. |
CONCUR |
1991 |
DBLP DOI BibTeX RDF |
concurrent logic languages, embedding, compositional semantics |
42 | Moti Yung |
How to Guard the Guards Themselves. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
Key Evolving Cryptosystems, Proactive Cryptosystems, Public Key cryptography, Attacks, Leakage, Countermeasures, Physical Security, Threshold cryptosystems, Cryptographic Keys |
42 | W. Randolph Franklin, Metin Inanc, Zhongyi Xie, Daniel M. Tracy, Barbara Cutler, Marcus V. A. Andrade |
Smugglers and border guards: the GeoStar project at RPI. |
GIS |
2007 |
DBLP DOI BibTeX RDF |
map compression, terrain elevation data sets, terrain interpolation, GIS, terrain modeling |
42 | Lynn Choi, Yong Shin |
Enforcement of Architectural Safety Guards to Deter Malicious Code Attacks through Buffer Overflow Vulnerabilities. |
ARCS |
2004 |
DBLP DOI BibTeX RDF |
|
39 | Henrique Bertosso, Jandir Pauli |
"Who Guards the Guards?": A Study About the Power of Bank Managers Concerning the Organizational Electronic Control. |
Int. J. Hum. Cap. Inf. Technol. Prof. |
2021 |
DBLP DOI BibTeX RDF |
|
39 | Ivan Jovanovikj, Enes Yigitbas, Anthony Anjorin, Stefan Sauer 0001 |
Who Guards the Guards? On the Validation of Test CaseMigration. |
Softwaretechnik-Trends |
2018 |
DBLP BibTeX RDF |
|
39 | Alastair Reid 0001 |
Who guards the guards? formal validation of the Arm v8-m architecture specification. |
Proc. ACM Program. Lang. |
2017 |
DBLP DOI BibTeX RDF |
|
39 | Heather Brown |
Who guards the guards: meeting the challenges of digital preservation. |
World Digit. Libr. |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Ben Rothke |
Who Guards the Computer Security Guards? |
Inf. Secur. J. A Glob. Perspect. |
2003 |
DBLP DOI BibTeX RDF |
|
35 | Alexander Gilbers, Rolf Klein |
New Results on Visibility in Simple Polygons. |
WADS |
2009 |
DBLP DOI BibTeX RDF |
Computational geometry, visibility, VC-dimension, art galleries, guards |
35 | Lukito Edi Nugroho, A. S. M. Sajeev |
Java4P: Java with High-Level Concurrency Constructs. |
ISPAN |
1999 |
DBLP DOI BibTeX RDF |
Java, synchronisation, threads, Concurrent object-oriented programming, guards |
35 | Roberto Manione, Alberto Lagna |
Simulation of object-oriented distributed systems via compilation to concurrent process level. |
Annual Simulation Symposium |
1995 |
DBLP DOI BibTeX RDF |
object-oriented distributed systems, concurrent process level, object based software architectures, object based software platforms, prototype CASE environment, ACE computational model, TINA-C architecture, simulation engine, ACE language semantics, asynchronous method invocation, method guards, state of the art workstation, formal specification, parallel processing, compilation, programming environments, digital simulation, templates, object-oriented methods, computer aided software engineering, computational linguistics, Building Block, application specification, application generators, parallelising compilers, object oriented simulation, concurrent objects, program processors |
35 | Hamish Taylor |
A Lingua Franca For Concurrent Logic Programming. |
IEEE Trans. Software Eng. |
1992 |
DBLP DOI BibTeX RDF |
concurrent logic programming languages, nonflat guards, GHC, clean semantics, control facilities, lingua franca, execution conditions, parallel programming, logic programming, parallel languages, language translation, Parlog |
33 | Jon Sneyers, Tom Schrijvers, Bart Demoen |
Guard Reasoning in the Refined Operational Semantics of CHR. |
Constraint Handling Rules |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Lian Yu, Shuang Su, Shan Luo, Yu Su 0007 |
Completeness and Consistency Analysis on Requirements of Distributed Event-Driven Systems. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
Completeness and consistency analysis, requirement-related faults, formal scenario model, inconsistency elimination, event-driven systems |
33 | Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst |
History-Dependent Petri Nets. |
ICATPN |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Julian Jang, Alan D. Fekete, Paul Greenfield, Surya Nepal |
An Event-Driven Workflow Engine for Service-based Business Systems. |
EDOC |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Emanuel Kieronski |
Results on the Guarded Fragment with Equivalence or Transitive Relations. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Ashraf Elnagar, Leena Lulu |
Guarding polygons with holes for robot motion planning applications. |
SMC (1) |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim Guldstrand Larsen |
Static Guard Analysis in Timed Automata Verification. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Héctor H. González-Baños |
A randomized art-gallery algorithm for sensor placement. |
SCG |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Aldo Laurentini |
Guarding the walls of an art gallery. |
Vis. Comput. |
1999 |
DBLP DOI BibTeX RDF |
Visual sensor placement, Art gallery problem and theorems, Edge covering, Computational geometry, Visibility, Illumination |
33 | Hubert Comon, Yan Jurski |
Multiple Counters Automata, Safety Analysis and Presburger Arithmetic. |
CAV |
1998 |
DBLP DOI BibTeX RDF |
|
33 | Frank Hoffmann 0002, Klaus Kriegel |
A Graph Coloring Result and Its Consequences for Some Guarding Problems. |
ISAAC |
1993 |
DBLP DOI BibTeX RDF |
|
33 | Luc Bougé |
On the Existence of Generic Broadcast Algorithms in Networks of Communicating Sequential Processes (Extended Abstract). |
WDAG |
1987 |
DBLP DOI BibTeX RDF |
|
31 | Doron Drusinsky, Man-tak Shing |
Using UML Statecharts with Knowledge Logic Guards. |
MoDELS |
2009 |
DBLP DOI BibTeX RDF |
K-statechart, knowledge-logic, formal specification, runtime verification, adaptive behavior |
31 | Emanuel Kieronski, Lidia Tendera |
On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Brijesh Dongol, Arjan J. Mooij |
Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards. |
MPC |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Cees Pierik, Dave Clarke 0001, Frank S. de Boer |
Controlling Object Allocation Using Creation Guards. |
FM |
2005 |
DBLP DOI BibTeX RDF |
verification, object-oriented programming, specification, invariants, object allocation |
31 | Michael Knoke, Günter Hommel |
Dealing with Global Guards in a Distributed Simulation of Colored Petri Nets. |
DS-RT |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Julio Mariño, José María Rey Poza |
Adding constraints to curry via flat guards. |
WCFLP |
2005 |
DBLP DOI BibTeX RDF |
definitional trees, sloth, constraints, type classes, curry |
31 | Yevgeny Kazakov, Hans de Nivelle |
A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards. |
IJCAR |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Deepak D'Souza, Nicolas Tabareau |
On Timed Automata with Input-Determined Guards. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Georg Gottlob, Nicola Leone, Francesco Scarcello |
Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width. (PDF / PS) |
PODS |
2001 |
DBLP DOI BibTeX RDF |
|
31 | T. S. Michael, Val Pinciu |
Multiply Guarded Guards in Orthogonal Art Galleries. |
International Conference on Computational Science (1) |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Iain Phillips 0001 |
CCS with Priority Guards. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi |
Formal Validation of the GUARDS Inter-Consistency Mechanism. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
31 | Stephan J. Eidenbenz, Christoph Stamm, Peter Widmayer |
Positioning Guards at Fixed Height Above a Terrain - An Optimum Inapproximability Result. |
ESA |
1998 |
DBLP DOI BibTeX RDF |
|
31 | Ricardo Pena, Luis M. Alonso |
A Technique for Specifying and Refining TCSP Processes by Using Guards and Liveness Conditions. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
24 | Adrian Kosowski, Michal Malafiejski, Pawel Zylinski |
Packing [1, Delta] -factors in graphs of small degree. |
J. Comb. Optim. |
2007 |
DBLP DOI BibTeX RDF |
Packing factors, Edge-colorable subgraph, Fault tolerant guards |
24 | O. Sami Saydjari |
Multilevel Security: Reprise. |
IEEE Secur. Priv. |
2004 |
DBLP DOI BibTeX RDF |
data classes, risk avoidance, risk management, multilevel security, guards |
22 | Saurabh Srivastava 0001, Sumit Gulwani, Jeffrey S. Foster |
From program verification to program synthesis. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
proof-theoretic program synthesis, verification |
22 | Colas Le Guernic, Antoine Girard |
Reachability Analysis of Hybrid Systems Using Support Functions. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Khaled El-Fakih, Nina Yevtushenko 0001, Hacène Fouchal |
Testing Timed Finite State Machines with Guaranteed Fault Coverage. |
TestCom/FATES |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Axel Schild, Magnus Egerstedt, Jan Lunze |
Orbital Control for a Class of Planar Impulsive Hybrid Systems with Controllable Resets. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Evaggelos Lappas, Stavros D. Nikolopoulos, Leonidas Palios |
An O(n)-Time Algorithm for the Paired-Domination Problem on Permutation Graphs. |
IWOCA |
2009 |
DBLP DOI BibTeX RDF |
paired-domination, algorithms, complexity, domination, permutation graphs |
22 | Stephen Kloder, Seth Hutchinson 0001 |
Partial barrier coverage: Using game theory to optimize probability of undetected intrusion in polygonal environments. |
ICRA |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Andreas Witzel |
Symmetric and Synchronous Communication in Peer-to-Peer Networks. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Larissa Meinicke, Ian J. Hayes |
Probabilistic Choice in Refinement Algebra. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Michel Sintzoff |
Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Eli Packer |
Computing Multiple Watchman Routes. |
WEA |
2008 |
DBLP DOI BibTeX RDF |
Watchman routes, Polygons, Arrangements, Art gallery |
22 | Antoine Girard, Colas Le Guernic |
Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Mani Swaminathan, Martin Fränzle, Joost-Pieter Katoen |
The Surprising Robustness of (Closed) Timed Automata against Clock-Drift. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Ajay Deshpande, Taejung Kim, Erik D. Demaine, Sanjay E. Sarma |
A Pseudopolynomial Time O (log n )-Approximation Algorithm for Art Gallery Problems. |
WADS |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Timothy G. Abbott, Katherine J. Lai, Michael R. Lieberman, Eric C. Price |
Browser-Based Attacks on Tor. |
Privacy Enhancing Technologies |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Catalin Dima |
Dynamical Properties of Timed Automata Revisited. |
FORMATS |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Bassel Daou, Gregor von Bochmann |
Generalizing the Submodule Construction Techniques for Extended State Machine Models. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Mihai Budiu, Úlfar Erlingsson, Martín Abadi |
Architectural support for software-based protection. |
ASID |
2006 |
DBLP DOI BibTeX RDF |
control-flow integrity, software fault isolation, security, control-flow graph, hardware support, memory protection, binary rewriting |
22 | Andrew Butterfield, Jim Woodcock 0001 |
prialt in Handel-C: an operational semantics. |
Int. J. Softw. Tools Technol. Transf. |
2005 |
DBLP DOI BibTeX RDF |
Operational semantics, Priority, Handel-C |
22 | Naren Kodali, Csilla Farkas, Duminda Wijesekera |
Enforcing Semantics-Aware Security in Multimedia Surveillance. |
J. Data Semantics |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Markus Müller-Olm, Helmut Seidl |
A Generic Framework for Interprocedural Analysis of Numerical Properties. |
SAS |
2005 |
DBLP DOI BibTeX RDF |
|