Search results for "guards"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Lidia Tendera	Counting in the Two Variable Guarded Logic with Transitivity.	STACS	2005	DBLP DOI BibTeX RDF
22	Yuanfang Zhang, Bryan Thrall, Stephen Torri, Christopher D. Gill, Chenyang Lu 0001	A Real-Time Performance Comparison of Distributable Threads and Event Channels.	IEEE Real-Time and Embedded Technology and Applications Symposium	2005	DBLP DOI BibTeX RDF
22	Kyung-Yong Chwa, Byung-Cheol Jo, Christian Knauer, Esther Moet, René van Oostrum, Chan-Su Shin	Guarding Art Galleries by Guarding Witnesses.	ISAAC	2004	DBLP DOI BibTeX RDF
22	Michael Benedikt, Glenn Bruns	On Guard: Producing Run-Time Checks from Integrity Constraints.	AMAST	2004	DBLP DOI BibTeX RDF
22	Finula Biermann, Hugo Binder	Janus - Keeper of the Gate to the Otherworld.	TIDSE	2004	DBLP DOI BibTeX RDF
22	Euripides Markou, Stathis Zachos, Christodoulos Fragoudakis	Maximizing the Guarded Boundary of an Art Gallery Is APX-Complete.	CIAC	2003	DBLP DOI BibTeX RDF
22	A. Prasad Sistla	Symmetry Reductions in Model-Checking.	VMCAI	2003	DBLP DOI BibTeX RDF
22	Emanuel Kieronski	EXPSPACE-Complete Variant of Guarded Fragment with Transitivity.	STACS	2002	DBLP DOI BibTeX RDF
22	Laura Beckwith, Margaret M. Burnett, Curtis R. Cook	Reasoning about Many-to-Many Requirement Relationships in Spreadsheets.	HCC	2002	DBLP DOI BibTeX RDF
22	Stephan J. Eidenbenz	Optimum Inapproximability Results for Finding Minimum Hidden Guard Sets in Polygons and Terrains.	SWAT	2002	DBLP DOI BibTeX RDF
22	George Russell	Events in Haskell, and How to Implement Them.	ICFP	2001	DBLP DOI BibTeX RDF	Haskell
22	Daniel Tate, Gordon B. Steven, Fleur L. Steven	Static Scheduling for Out-of-order Instruction Issue Processors.	ACAC	2000	DBLP DOI BibTeX RDF
22	John Boyland	Conditional Attribute Grammars.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	demand evaluation, language processor generators, nonstrict evaluation, static analysis, functional dependencies, attribute grammars, conditionals
22	Yuh-Jzer Joung, Scott A. Smolka	Coordinating First-Order Multiparty Interactions.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	committee coordination, distributed languages, first-order interaction, interaction scheduling, distributed algorithms, IP, rendezvous, multiparty interaction
22	R. Govindarajan, Sheng Yu 0001	Data Flow Implementation of Generalized Guarded Commands.	PARLE (1)	1991	DBLP DOI BibTeX RDF
22	Niklaus Wirth	Hardware Architectures for Programming Languages and Programming Languages for Hardware Architectures.	ASPLOS	1987	DBLP DOI BibTeX RDF
20	Morteza Amirmohseni, Sadegh Dorri Nogoorani	Safety Guards for Ethereum Smart Contracts.	ISC Int. J. Inf. Secur.	2024	DBLP DOI BibTeX RDF
20	Nour Dyab, Mohammed Lalou, Hamamache Kheddouci	Eternal feedback vertex sets: A new graph protection model using guards.	Discret. Math. Algorithms Appl.	2024	DBLP DOI BibTeX RDF
20	Barbara Gigerl, Franz Klug, Stefan Mangard, Florian Mendel, Robert Primas	Smooth Passage with the Guards: Second-Order Hardware Masking of the AES with Low Randomness and Low Latency.	IACR Trans. Cryptogr. Hardw. Embed. Syst.	2024	DBLP DOI BibTeX RDF
20	Si Wei Feng, Teng Guo, Jingjin Yu	Optimal Allocation of Many Robot Guards for Sweep-Line Coverage.	CoRR	2023	DBLP DOI BibTeX RDF
20	Zhitong Ma, Jinghui Zhong, Wei-Li Liu, Wei-Jie Yu	An evolutionary framework for automatic security guards deployment in large public spaces.	Appl. Intell.	2023	DBLP DOI BibTeX RDF
20	Chan-Young Park, Yoon-Ah Lee, Jinwoo Jang, Min-Woo Han	Origami and Kirigami Structure for Impact Energy Absorption: Its Application to Drone Guards.	Sensors	2023	DBLP DOI BibTeX RDF
20	Si Wei Feng, Teng Guo, Jingjin Yu	Optimal Allocation of Many Robot Guards for Sweep-Line Coverage.	ICRA	2023	DBLP DOI BibTeX RDF
20	Christopher Nunn, Friederike van Oorschot	Revolution through Collaboration? An Attempt to familiarize "old guards" with DH.	DH	2023	DBLP DOI BibTeX RDF
20	Christopher Alexander Nunn, Frederike van Oorschot, Selina Fucker	Revolution through collaboration? An attempt to familarize "old guards" with DH.	DH	2023	DBLP DOI BibTeX RDF
20	Christopher Alexander Nunn, Frederike van Oorschot, Selina Fucker	Revolution through collaboration? An attempt to familiarize "old guards" with DH.	DH	2023	DBLP DOI BibTeX RDF
20	Javier Cano, Csaba D. Tóth, Jorge Urrutia, Giovanni Viglietta	Edge guards for polyhedra in three-space.	Comput. Geom.	2022	DBLP DOI BibTeX RDF
20	Erik Krohn, Bengt J. Nilsson, Christiane Schmidt 0001	Opposing Half Guards.	CoRR	2022	DBLP DOI BibTeX RDF
20	Lucas Meijer, Tillmann Miltzow	Sometimes Two Irrational Guards are Needed.	CoRR	2022	DBLP DOI BibTeX RDF
20	José Miguel Díaz-Báñez, Paul Horn, Mario Alberto López, Nestaly Marín, Adriana Ramírez-Vigueras, Oriol Andreu Solé-Pi, Alex Stevens, Jorge Urrutia	Ortho-unit polygons can be guarded with at most ⌊(n-4)/8⌋ guards.	CoRR	2022	DBLP DOI BibTeX RDF
20	J. Joe Payne, Nathan J. Kong, Aaron M. Johnson	The Uncertainty Aware Salted Kalman Filter: State Estimation for Hybrid Systems with Uncertain Guards.	CoRR	2022	DBLP BibTeX RDF
20	Carl Magnus Bruhner, Oscar Linnarsson, Matús Nemec, Martin F. Arlitt, Niklas Carlsson	Changing of the Guards: Certificate and Public Key Management on the Internet.	PAM	2022	DBLP DOI BibTeX RDF
20	J. Joe Payne, Nathan J. Kong, Aaron M. Johnson	The Uncertainty Aware Salted Kalman Filter: State Estimation for Hybrid Systems with Uncertain Guards.	IROS	2022	DBLP DOI BibTeX RDF
20	Erik Krohn, Bengt J. Nilsson, Christiane Schmidt 0001	Opposing Half Guards.	CCCG	2022	DBLP BibTeX RDF
20	Darin Verheijke, Henrique Rocha	An exploratory study on solidity guards and ether exchange constructs.	WETSEB@ICSE	2022	DBLP DOI BibTeX RDF
20	Debabrata Bej, Shubhranil Chakraborty, Sekh Arif Mahammad, Ashis Kumar Mal	A cost-effective alertness-rating tool to enable situational awareness among on-duty static security guards in Covid-19 pandemic.	J. Reliab. Intell. Environ.	2021	DBLP DOI BibTeX RDF
20	Ovidiu Daescu, Hemant Malik	New bounds on guarding problems for orthogonal polygons in the plane using vertex guards with halfplane vision.	Theor. Comput. Sci.	2021	DBLP DOI BibTeX RDF
20	Aleksandr S. Tvardovskii, Nina V. Evtushenko	Deriving Homing Sequences for Finite State Machines with Timed Guards.	Autom. Control. Comput. Sci.	2021	DBLP DOI BibTeX RDF
20	Yong Wang	Truly Concurrent Pi-Calculi with Reversibility, Probabilism and Guards.	CoRR	2021	DBLP BibTeX RDF
20	Yong Wang	Truly Concurrent Calculi with Reversibility, Probabilism and Guards.	CoRR	2021	DBLP BibTeX RDF
20	Simon Bauer, Sebastián Contreras, Jonas Dehning, Matthias Linden, Emil Iftekhar, Sebastian B. Mohr, Alvaro Olivera-Nappa, Viola Priesemann	Relaxing restrictions at the pace of vaccination increases freedom and guards against further COVID-19 waves.	PLoS Comput. Biol.	2021	DBLP DOI BibTeX RDF
20	Karin Mascher, Stefan Laller, Manfred Wieser	Development Of Smart Shin Guards For Soccer Performance Analysis Based On MEMS Accelerometers, Machine Learning, And GNSS.	ICL-GNSS (Work in Progress)	2021	DBLP BibTeX RDF
20	Olga Piñeros, Carlos Marín	Psychosocial Toxicology: Emotional Work and Mental Health in Security Guards.	AHFE (19)	2021	DBLP DOI BibTeX RDF
20	Sebastian Graf 0004, Simon Peyton Jones, Ryan G. Scott	Lower your guards: a compositional pattern-match coverage checker.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
20	Guillermo J. Laguna, Sourabh Bhattacharya	Adaptive target tracking with a mixed team of static and mobile guards: deployment and activation strategies.	Auton. Robots	2020	DBLP DOI BibTeX RDF
20	Ali Fatih Demir, Hüseyin Arslan	Inter-Numerology Interference Management With Adaptive Guards: A Cross-Layer Approach.	IEEE Access	2020	DBLP DOI BibTeX RDF
20	Fatima Ait Oumeziane, Redouane Kara, Saïd Amari	Formal analysis and control of timed automata with guards using (max, +) and (min, +) algebras.	Int. J. Syst. Sci.	2020	DBLP DOI BibTeX RDF
20	Giovanni Viglietta	Optimally guarding 2-reflex orthogonal polyhedra by reflex edge guards.	Comput. Geom.	2020	DBLP DOI BibTeX RDF
20	Luca Spalazzi, Francesco Spegni	Parameterized model checking of networks of timed automata with Boolean guards.	Theor. Comput. Sci.	2020	DBLP DOI BibTeX RDF
20	Wael Al Enezi, Clark Verbrugge	Offline Grid-Based Coverage path planning for guards in games.	CoRR	2020	DBLP BibTeX RDF
20	Nouraldin Jaber, Swen Jacobs, Christopher Wagner, Milind Kulkarni 0001, Roopsha Samanta	Parameterized Verification of Systems with Global Synchronization and Guards.	CoRR	2020	DBLP BibTeX RDF
20	Nouraldin Jaber, Swen Jacobs, Christopher Wagner, Milind Kulkarni 0001, Roopsha Samanta	Parameterized Verification of Systems with Global Synchronization and Guards.	CAV (1)	2020	DBLP DOI BibTeX RDF
20	S. Raschid Muller, Corey E. Thomas	Election Infrastructure Security: Grants and Reimbursement to the States for Usage of their National Guards in State Active Duty Status to Provide Cybersecurity for Federal Elections.	ICRMAT	2020	DBLP DOI BibTeX RDF
20	Toh Yen Pang, Peter Dabnichki	Design of Neck Protection Guards for Cricket Helmets.	icSPORTS	2020	DBLP DOI BibTeX RDF
20	Fatima Ait Oumeziane, Alain Ourghanlian, Saïd Amari	Analysis of distributed control systems using timed automata with guards and dioid algebra.	ETFA	2020	DBLP DOI BibTeX RDF
20	Arash Ahadi, Alireza Zarei	Connecting guards with minimum Steiner points inside simple polygons.	Theor. Comput. Sci.	2019	DBLP DOI BibTeX RDF
20	Victor Arribas, Svetla Nikova, Vincent Rijmen	Guards in action: First-order SCA secure implementations of KETJE without additional randomness.	Microprocess. Microsystems	2019	DBLP DOI BibTeX RDF
20	Hiroshi Yoritaka, Ken Matsui, Masahiro Yasugi, Tasuku Hiraishi, Seiji Umatani	Probabilistic guards: A mechanism for increasing the granularity of work-stealing programs.	Parallel Comput.	2019	DBLP DOI BibTeX RDF
20	Étienne André, Paolo Arcaini, Angelo Gargantini, Marco Radavelli	Repairing Timed Automata Clock Guards through Abstraction and Testing.	CoRR	2019	DBLP BibTeX RDF
20	Ervin Györi, Tamás Róbert Mezei	Mobile versus Point Guards.	Discret. Comput. Geom.	2019	DBLP DOI BibTeX RDF
20	Stein de Bever, Daniel Formolo, Shuai Wang 0014, Tibor Bosse	A Multimodal Chatbot System for Enhancing Social Skills Training for Security Guards.	HCI (1)	2019	DBLP DOI BibTeX RDF
20	Omer Nguena Timo, Dimitri Prestat, Antoine Rollet	Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts.	ICTSS	2019	DBLP DOI BibTeX RDF
20	Wasim Said, Jochen Quante, Rainer Koschke	Towards Understandable Guards of Extracted State Machines from Embedded Software.	SANER	2019	DBLP DOI BibTeX RDF
20	Martin Langer, Kristof Teichel, Kai Heine, Dieter Sibold, Rainer Bermbach	Guards and Watchdogs in One-Way Synchronization with Delay-Related Authentication Mechanisms.	ISPCS	2019	DBLP DOI BibTeX RDF
20	Étienne André, Paolo Arcaini, Angelo Gargantini, Marco Radavelli	Repairing Timed Automata Clock Guards through Abstraction and Testing.	TAP@FM	2019	DBLP DOI BibTeX RDF
20	Emanuel Kieronski, Lidia Tendera	Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants.	ACM Trans. Comput. Log.	2018	DBLP DOI BibTeX RDF
20	Ferhat Tamssaouet, Saïd Amari	Modelling and temporal evaluation of networked control systems using timed automata with guards and (max, +) algebra.	Int. J. Syst. Sci.	2018	DBLP DOI BibTeX RDF
20	Wei-Yu Lai, Tien-Ruey Hsiang	Continuous Terrain Guarding with Two-Sided Guards.	CoRR	2018	DBLP BibTeX RDF
20	Guillermo J. Laguna, Sourabh Bhattacharya	Adaptive Target Tracking with a Mixed Team of Static and Mobile Guards: Deployment and Activation Strategies.	CoRR	2018	DBLP BibTeX RDF
20	Victor Arribas, Svetla Nikova, Vincent Rijmen	Guards in Action: First-Order SCA Secure Implementations of Ketje without Additional Randomness.	IACR Cryptol. ePrint Arch.	2018	DBLP BibTeX RDF
20	Rohini Gulve, Virendra Singh	ATPG power guards: On limiting the test power below threshold.	DATE	2018	DBLP DOI BibTeX RDF
20	Victor Arribas, Svetla Nikova, Vincent Rijmen	Guards in Action: First-Order SCA Secure Implementations of Ketje Without Additional Randomness.	DSD	2018	DBLP DOI BibTeX RDF
20	Mohaned Qunaibit, Stefan Brunthaler 0001, Yeoul Na, Stijn Volckaert, Michael Franz	Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization.	ECOOP	2018	DBLP DOI BibTeX RDF
20	Wei-Yu Lai, Tien-Ruey Hsiang	Continuous Terrain Guarding with Two-Sided Guards.	CCCG	2018	DBLP BibTeX RDF
20	Joakim Brorsson, Paul Stankovski Wagner, Martin Hell	Guarding the Guards: Accountable Authorities in VANETs.	VNC	2018	DBLP DOI BibTeX RDF
20	Chuzo Iwamoto	Finding the Minimum Number of Open-Edge Guards in an Orthogonal Polygon is NP-Hard.	IEICE Trans. Inf. Syst.	2017	DBLP DOI BibTeX RDF
20	Ervin Györi, Tamás Róbert Mezei	Mobile vs. point guards.	CoRR	2017	DBLP BibTeX RDF
20	Hamid Hoorfar, Ali Mohades	Special Guards in Chromatic Art Gallery.	CoRR	2017	DBLP BibTeX RDF
20	Mikkel Abrahamsen, Anna Adamaszek, Tillmann Miltzow	Irrational Guards are Sometimes Needed.	CoRR	2017	DBLP BibTeX RDF
20	Pritam Bhattacharya, Subir Kumar Ghosh, Sudebkumar Prasant Pal	Constant Approximation Algorithms for Guarding Simple Polygons using Vertex Guards.	CoRR	2017	DBLP BibTeX RDF
20	Giovanni Viglietta	Optimally Guarding 2-Reflex Orthogonal Polyhedra by Reflex Edge Guards.	CoRR	2017	DBLP BibTeX RDF
20	Ali Fatih Demir, Hüseyin Arslan	The impact of adaptive guards for 5G and beyond.	PIMRC	2017	DBLP DOI BibTeX RDF
20	Ivo Gabe de Wolff, Jurriaan Hage	Refining types using type guards in TypeScript.	PEPM	2017	DBLP DOI BibTeX RDF
20	Susan Siebenaler, Andrea Szymkowiak, Paul Robertson 0002, Graham I. Johnson, Jan Law	Social Presence and Dishonesty: Perceptions from Security Guards.	HCI (24)	2017	DBLP DOI BibTeX RDF
20	Mikkel Abrahamsen, Anna Adamaszek, Tillmann Miltzow	Irrational Guards are Sometimes Needed.	SoCG	2017	DBLP DOI BibTeX RDF
20	Matt Gibson 0001, Erik Krohn, Matthew Rayford	Guarding Monotone Polygons with Half-Guards.	CCCG	2017	DBLP BibTeX RDF
20	Marijana Lazic, Igor Konnov 0001, Josef Widder, Roderick Bloem	Synthesis of Distributed Algorithms with Parameterized Threshold Guards.	OPODIS	2017	DBLP DOI BibTeX RDF
20	Nikola Serbedzija	Real-Life Guards for Human-Centered Systems.	PETRA	2017	DBLP DOI BibTeX RDF
20	Aniko Szabo, Zoltan Rajnai	The review of the external risk factors during the operation training plan of the security guards.	SISY	2017	DBLP DOI BibTeX RDF
20	Joan Daemen	Changing of the Guards: A Simple and Efficient Method for Achieving Uniformity in Threshold Sharing.	CHES	2017	DBLP DOI BibTeX RDF
20	Stanley Bak, Sergiy Bogomolov, Matthias Althoff	Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid Automata.	FORMATS	2017	DBLP DOI BibTeX RDF
20	T. S. Michael, Val Pinciu	The Orthogonal Art Gallery Theorem with Constrained Guards.	Electron. Notes Discret. Math.	2016	DBLP DOI BibTeX RDF
20	Amotz Bar-Noy, Ben Baumer, Dror Rawitz	Changing of the guards: Strip cover with duty cycling.	Theor. Comput. Sci.	2016	DBLP DOI BibTeX RDF
20	Emanuel Kieronski, Lidia Tendera	Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants.	CoRR	2016	DBLP BibTeX RDF
20	Hamid Emadi, Tianshuang Gao, Sourabh Bhattacharya	Partitioning Strategies and Task Allocation for Target-tracking with Multiple Guards in Polygonal Environments.	CoRR	2016	DBLP BibTeX RDF
20	Joan Daemen	Changing of the Guards: a simple and efficient method for achieving uniformity in threshold sharing.	IACR Cryptol. ePrint Arch.	2016	DBLP BibTeX RDF
20	David A. Schmidt	Guards, Failure, and Partiality: Dijkstra's Guarded-Command Language Formulated Topologically.	Semantics, Logics, and Calculi	2016	DBLP DOI BibTeX RDF
20	Julien Niguez, Saïd Amari, Jean-Marc Faure	Analysis of Timed Automata with Guards in dioids algebra.	WODES	2016	DBLP DOI BibTeX RDF
20	Hiroshi Yoritaka, Ken Matsui, Masahiro Yasugi, Tasuku Hiraishi, Seiji Umatani	Extending a Work-Stealing Framework with Probabilistic Guards.	ICPP Workshops	2016	DBLP DOI BibTeX RDF
20	Israel Aldana-Galván, Jose Luis Álvarez-Rebollar, Juan Carlos Catana-Salazar, Mazay Jimenez-Salinas, Erick Solis-Villarreal, Jorge Urrutia	Minimizing the Solid Angle Sum of Orthogonal Polyhedra and Guarding them with π/2-Edge Guards.	CCCG	2016	DBLP BibTeX RDF