Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
22 | Lidia Tendera |
Counting in the Two Variable Guarded Logic with Transitivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2005, 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005, Proceedings, pp. 83-96, 2005, Springer, 3-540-24998-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real-Time and Embedded Technology and Applications Symposium ![In: 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), 7-10 March 2005, San Francisco, CA, USA, pp. 497-506, 2005, IEEE Computer Society, 0-7695-2302-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 15th International Symposium, ISAAC 2004, Hong Kong, China, December 20-22, 2004, Proceedings, pp. 352-363, 2004, Springer, 3-540-24131-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Michael Benedikt, Glenn Bruns |
On Guard: Producing Run-Time Checks from Integrity Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings, pp. 27-41, 2004, Springer, 3-540-22381-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Finula Biermann, Hugo Binder |
Janus - Keeper of the Gate to the Otherworld. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIDSE ![In: Technologies for Interactive Digital Storytelling and Entertainment, Second International Conference, TIDSE 2004, Darmstadt, Germany, June 24-26, 2004, Proceedings, pp. 290-292, 2004, Springer, 3-540-22283-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Euripides Markou, Stathis Zachos, Christodoulos Fragoudakis |
Maximizing the Guarded Boundary of an Art Gallery Is APX-Complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAC ![In: Algorithms and Complexity, 5th Italian Conference, CIAC 2003, Rome, Italy, May 28-30, 2003, Proceedings, pp. 24-35, 2003, Springer, 3-540-40176-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | A. Prasad Sistla |
Symmetry Reductions in Model-Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings, pp. 25, 2003, Springer, 3-540-00348-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Emanuel Kieronski |
EXPSPACE-Complete Variant of Guarded Fragment with Transitivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2002, 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes - Juan les Pins, France, March 14-16, 2002, Proceedings, pp. 608-619, 2002, Springer, 3-540-43283-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Laura Beckwith, Margaret M. Burnett, Curtis R. Cook |
Reasoning about Many-to-Many Requirement Relationships in Spreadsheets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCC ![In: 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2002), 3-6 September 2002, Arlington, VA, USA, pp. 149-157, 2002, IEEE Computer Society, 0-7695-1644-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Stephan J. Eidenbenz |
Optimum Inapproximability Results for Finding Minimum Hidden Guard Sets in Polygons and Terrains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: Algorithm Theory - SWAT 2002, 8th Scandinavian Workshop on Algorithm Theory, Turku, Finland, July 3-5, 2002 Proceedings, pp. 60-68, 2002, Springer, 3-540-43866-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | George Russell |
Events in Haskell, and How to Implement Them. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), Firenze (Florence), Italy, September 3-5, 2001., pp. 157-168, 2001, ACM, 1-58113-415-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Haskell |
22 | Daniel Tate, Gordon B. Steven, Fleur L. Steven |
Static Scheduling for Out-of-order Instruction Issue Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACAC ![In: 5th Australasian Computer Architecture Conference (ACAC 2000), 31 January - 3 February 2000, Canberra, Australia, pp. 90-96, 2000, IEEE Computer Society, 0-7695-0512-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | John Boyland |
Conditional Attribute Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 18(1), pp. 73-108, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(3), pp. 954-985, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (1) ![In: PARLE '91: Parallel Architectures and Languages Europe, Volume I: Parallel Architectures and Algorithms, Eindhoven, The Netherlands, June 10-13, 1991, Proceedings, pp. 372-389, 1991, Springer, 3-540-54151-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Niklaus Wirth |
Hardware Architectures for Programming Languages and Programming Languages for Hardware Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the Second International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS II), Palo Alto, California, USA, October 5-8, 1987., pp. 2-8, 1987, ACM Press, 0-8186-0805-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
20 | Morteza Amirmohseni, Sadegh Dorri Nogoorani |
Safety Guards for Ethereum Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISC Int. J. Inf. Secur. ![In: ISC Int. J. Inf. Secur. 16(1), pp. 37-53, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Nour Dyab, Mohammed Lalou, Hamamache Kheddouci |
Eternal feedback vertex sets: A new graph protection model using guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. Algorithms Appl. ![In: Discret. Math. Algorithms Appl. 16(3), pp. 2350030:1-2350030:19, April 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Trans. Cryptogr. Hardw. Embed. Syst. ![In: IACR Trans. Cryptogr. Hardw. Embed. Syst. 2024(1), pp. 309-335, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Si Wei Feng, Teng Guo, Jingjin Yu |
Optimal Allocation of Many Robot Guards for Sweep-Line Coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.04319, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 53(10), pp. 11586-11598, May 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 23(4), pp. 2150, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Si Wei Feng, Teng Guo, Jingjin Yu |
Optimal Allocation of Many Robot Guards for Sweep-Line Coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: IEEE International Conference on Robotics and Automation, ICRA 2023, London, UK, May 29 - June 2, 2023, pp. 3614-3620, 2023, IEEE, 979-8-3503-2365-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Christopher Nunn, Friederike van Oorschot |
Revolution through Collaboration? An Attempt to familiarize "old guards" with DH. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DH ![In: Annual International Conference of the Alliance of Digital Humanities Organizations, DH 2022, Graz, Austria, July 10-14, 2023, Conference Abstracts, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DH ![In: Annual International Conference of the Alliance of Digital Humanities Organizations, DH 2022, Graz, Austria, July 10-14, 2023, Conference Abstracts, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DH ![In: Annual International Conference of the Alliance of Digital Humanities Organizations, DH 2022, Graz, Austria, July 10-14, 2023, Conference Abstracts, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Javier Cano, Csaba D. Tóth, Jorge Urrutia, Giovanni Viglietta |
Edge guards for polyhedra in three-space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Geom. ![In: Comput. Geom. 104, pp. 101859, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Erik Krohn, Bengt J. Nilsson, Christiane Schmidt 0001 |
Opposing Half Guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.04474, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Lucas Meijer, Tillmann Miltzow |
Sometimes Two Irrational Guards are Needed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.01211, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.12864, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.12729, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAM ![In: Passive and Active Measurement - 23rd International Conference, PAM 2022, Virtual Event, March 28-30, 2022, Proceedings, pp. 50-80, 2022, Springer, 978-3-030-98784-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2022, Kyoto, Japan, October 23-27, 2022, pp. 8821-8828, 2022, IEEE, 978-1-6654-7927-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Erik Krohn, Bengt J. Nilsson, Christiane Schmidt 0001 |
Opposing Half Guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCCG ![In: Proceedings of the 34th Canadian Conference on Computational Geometry, CCCG 2022, Toronto Metropolitan University, Toronto, Ontario, Canada, August 25-27, 2022, pp. 219-226, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
20 | Darin Verheijke, Henrique Rocha |
An exploratory study on solidity guards and ether exchange constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETSEB@ICSE ![In: Proceedings of the 5th International Workshop on Emerging Trends in Software Engineering for Blockchain, WETSEB@ICSE 2022, Pittsburgh, Pennsylvania, 19 May 2022, pp. 1-8, 2022, ACM, 978-1-4503-9331-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Reliab. Intell. Environ. ![In: J. Reliab. Intell. Environ. 7(4), pp. 341-353, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 882, pp. 63-76, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Aleksandr S. Tvardovskii, Nina V. Evtushenko |
Deriving Homing Sequences for Finite State Machines with Timed Guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Control. Comput. Sci. ![In: Autom. Control. Comput. Sci. 55(7), pp. 738-750, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Yong Wang |
Truly Concurrent Pi-Calculi with Reversibility, Probabilism and Guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2109.03278, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Yong Wang |
Truly Concurrent Calculi with Reversibility, Probabilism and Guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2108.10156, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 17(9), 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICL-GNSS (Work in Progress) ![In: WiP Proceedings of the International Conference on Localization and GNSS (ICL-GNSS 2021), Tampere, Finland, June 1-3, 2021., 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Olga Piñeros, Carlos Marín |
Psychosocial Toxicology: Emotional Work and Mental Health in Security Guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AHFE (19) ![In: Advances in Human Dynamics for the Development of Contemporary Societies - Proceedings of the AHFE 2021 Virtual Conference on Human Dynamics for the Development of Contemporary Societies, July 25-29, 2021, USA, pp. 135-142, 2021, Springer, 978-3-030-80414-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Sebastian Graf 0004, Simon Peyton Jones, Ryan G. Scott |
Lower your guards: a compositional pattern-match coverage checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 4(ICFP), pp. 107:1-107:30, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Robots ![In: Auton. Robots 44(3-4), pp. 691-703, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Ali Fatih Demir, Hüseyin Arslan |
Inter-Numerology Interference Management With Adaptive Guards: A Cross-Layer Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 30378-30386, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Syst. Sci. ![In: Int. J. Syst. Sci. 51(11), pp. 2041-2056, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Giovanni Viglietta |
Optimally guarding 2-reflex orthogonal polyhedra by reflex edge guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Geom. ![In: Comput. Geom. 86, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Luca Spalazzi, Francesco Spegni |
Parameterized model checking of networks of timed automata with Boolean guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 813, pp. 248-269, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Wael Al Enezi, Clark Verbrugge |
Offline Grid-Based Coverage path planning for guards in games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2001.05462, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.04896, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (1) ![In: Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I, pp. 299-323, 2020, Springer, 978-3-030-53287-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRMAT ![In: Proceedings of the International Conference on Research in Management & Technovation, ICRMAT 2020, Nagpur, India, December 5-6, 2020., pp. 73-78, 2020, 978-83-959183-5-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Toh Yen Pang, Peter Dabnichki |
Design of Neck Protection Guards for Cricket Helmets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
icSPORTS ![In: Proceedings of the 8th International Conference on Sport Sciences Research and Technology Support, icSPORTS 2020, Budapest, Hungary, November 5-6, 2020., pp. 178-186, 2020, SCITEPRESS, 978-989-758-481-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: 25th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2020, Vienna, Austria, September 8-11, 2020, pp. 1373-1376, 2020, IEEE, 978-1-7281-8956-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Arash Ahadi, Alireza Zarei |
Connecting guards with minimum Steiner points inside simple polygons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 775, pp. 26-31, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 71, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Comput. ![In: Parallel Comput. 82, pp. 19-36, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Étienne André, Paolo Arcaini, Angelo Gargantini, Marco Radavelli |
Repairing Timed Automata Clock Guards through Abstraction and Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1907.02133, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Ervin Györi, Tamás Róbert Mezei |
Mobile versus Point Guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 61(2), pp. 421-451, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (1) ![In: Human-Computer Interaction. Perspectives on Design - Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part I, pp. 499-513, 2019, Springer, 978-3-030-22645-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings, pp. 104-120, 2019, Springer, 978-3-030-31279-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Wasim Said, Jochen Quante, Rainer Koschke |
Towards Understandable Guards of Extracted State Machines from Embedded Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SANER ![In: 26th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2019, Hangzhou, China, February 24-27, 2019, pp. 264-274, 2019, IEEE, 978-1-7281-0591-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPCS ![In: 2019 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control, and Communication, ISPCS 2019, Portland, OR, USA, September 22-27, 2019, pp. 1-6, 2019, IEEE, 978-1-5386-7607-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Étienne André, Paolo Arcaini, Angelo Gargantini, Marco Radavelli |
Repairing Timed Automata Clock Guards through Abstraction and Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@FM ![In: Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto, Portugal, October 9-11, 2019, Proceedings, pp. 129-146, 2019, Springer, 978-3-030-31156-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Emanuel Kieronski, Lidia Tendera |
Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 19(2), pp. 8:1-8:34, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Syst. Sci. ![In: Int. J. Syst. Sci. 49(10), pp. 2073-2088, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Wei-Yu Lai, Tien-Ruey Hsiang |
Continuous Terrain Guarding with Two-Sided Guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1805.02447, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1807.08354, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Victor Arribas, Svetla Nikova, Vincent Rijmen |
Guards in Action: First-Order SCA Secure Implementations of Ketje without Additional Randomness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2018, pp. 806, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Rohini Gulve, Virendra Singh |
ATPG power guards: On limiting the test power below threshold. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2018 Design, Automation & Test in Europe Conference & Exhibition, DATE 2018, Dresden, Germany, March 19-23, 2018, pp. 301-304, 2018, IEEE, 978-3-9819263-0-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 21st Euromicro Conference on Digital System Design, DSD 2018, Prague, Czech Republic, August 29-31, 2018, pp. 492-499, 2018, IEEE Computer Society, 978-1-5386-7377-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 32nd European Conference on Object-Oriented Programming, ECOOP 2018, July 16-21, 2018, Amsterdam, The Netherlands, pp. 16:1-16:29, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-079-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Wei-Yu Lai, Tien-Ruey Hsiang |
Continuous Terrain Guarding with Two-Sided Guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCCG ![In: Proceedings of the 30th Canadian Conference on Computational Geometry, CCCG 2018, August 8-10, 2018, University of Manitoba, Winnipeg, Manitoba, Canada, pp. 247-252, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Joakim Brorsson, Paul Stankovski Wagner, Martin Hell |
Guarding the Guards: Accountable Authorities in VANETs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VNC ![In: 2018 IEEE Vehicular Networking Conference, VNC 2018, Taipei, Taiwan, December 5-7, 2018, pp. 1-4, 2018, IEEE, 978-1-5386-9428-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Chuzo Iwamoto |
Finding the Minimum Number of Open-Edge Guards in an Orthogonal Polygon is NP-Hard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 100-D(7), pp. 1521-1525, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Ervin Györi, Tamás Róbert Mezei |
Mobile vs. point guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1706.02619, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Hamid Hoorfar, Ali Mohades |
Special Guards in Chromatic Art Gallery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1709.02996, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Mikkel Abrahamsen, Anna Adamaszek, Tillmann Miltzow |
Irrational Guards are Sometimes Needed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1701.05475, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Pritam Bhattacharya, Subir Kumar Ghosh, Sudebkumar Prasant Pal |
Constant Approximation Algorithms for Guarding Simple Polygons using Vertex Guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1712.05492, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Giovanni Viglietta |
Optimally Guarding 2-Reflex Orthogonal Polyhedra by Reflex Edge Guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1708.05469, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Ali Fatih Demir, Hüseyin Arslan |
The impact of adaptive guards for 5G and beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PIMRC ![In: 28th IEEE Annual International Symposium on Personal, Indoor, and Mobile Radio Communications, PIMRC 2017, Montreal, QC, Canada, October 8-13, 2017, pp. 1-5, 2017, IEEE, 978-1-5386-3529-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Ivo Gabe de Wolff, Jurriaan Hage |
Refining types using type guards in TypeScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2017, Paris, France, January 18-20, 2017, pp. 111-122, 2017, ACM, 978-1-4503-4721-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (24) ![In: HCI in Business, Government and Organizations. Supporting Business - 4th International Conference, HCIBGO 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II, pp. 264-281, 2017, Springer, 978-3-319-58483-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Mikkel Abrahamsen, Anna Adamaszek, Tillmann Miltzow |
Irrational Guards are Sometimes Needed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoCG ![In: 33rd International Symposium on Computational Geometry, SoCG 2017, July 4-7, 2017, Brisbane, Australia, pp. 3:1-3:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-038-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Matt Gibson 0001, Erik Krohn, Matthew Rayford |
Guarding Monotone Polygons with Half-Guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCCG ![In: Proceedings of the 29th Canadian Conference on Computational Geometry, CCCG 2017, July 26-28, 2017, Carleton University, Ottawa, Ontario, Canada, pp. 168-173, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Marijana Lazic, Igor Konnov 0001, Josef Widder, Roderick Bloem |
Synthesis of Distributed Algorithms with Parameterized Threshold Guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: 21st International Conference on Principles of Distributed Systems, OPODIS 2017, Lisbon, Portugal, December 18-20, 2017, pp. 32:1-32:20, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-061-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Nikola Serbedzija |
Real-Life Guards for Human-Centered Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PETRA ![In: Proceedings of the 10th International Conference on PErvasive Technologies Related to Assistive Environments, PETRA 2017, Island of Rhodes, Greece, June 21-23, 2017, pp. 234-235, 2017, ACM, 978-1-4503-5227-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SISY ![In: 15th IEEE International Symposium on Intelligent Systems and Informatics, SISY 2017, Subotica, Serbia, September 14-16, 2017, pp. 359-364, 2017, IEEE, 978-1-5386-3855-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Joan Daemen |
Changing of the Guards: A Simple and Efficient Method for Achieving Uniformity in Threshold Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHES ![In: Cryptographic Hardware and Embedded Systems - CHES 2017 - 19th International Conference, Taipei, Taiwan, September 25-28, 2017, Proceedings, pp. 137-153, 2017, Springer, 978-3-319-66786-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Stanley Bak, Sergiy Bogomolov, Matthias Althoff |
Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp. 133-150, 2017, Springer, 978-3-319-65764-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | T. S. Michael, Val Pinciu |
The Orthogonal Art Gallery Theorem with Constrained Guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Notes Discret. Math. ![In: Electron. Notes Discret. Math. 54, pp. 27-32, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI 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) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 610, pp. 135-148, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Emanuel Kieronski, Lidia Tendera |
Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1611.03267, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1611.05092, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Joan Daemen |
Changing of the Guards: a simple and efficient method for achieving uniformity in threshold sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2016, pp. 1061, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | David A. Schmidt |
Guards, Failure, and Partiality: Dijkstra's Guarded-Command Language Formulated Topologically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics, Logics, and Calculi ![In: Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays, pp. 252-271, 2016, Springer, 978-3-319-27809-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Julien Niguez, Saïd Amari, Jean-Marc Faure |
Analysis of Timed Automata with Guards in dioids algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODES ![In: 13th International Workshop on Discrete Event Systems, WODES 2016, Xi'an, China, May 30 - June 1, 2016, pp. 391-397, 2016, IEEE, 978-1-5090-4190-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Hiroshi Yoritaka, Ken Matsui, Masahiro Yasugi, Tasuku Hiraishi, Seiji Umatani |
Extending a Work-Stealing Framework with Probabilistic Guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP Workshops ![In: 45th International Conference on Parallel Processing Workshops, ICPP Workshops 2016, Philadelphia, PA, USA, August 16-19, 2016, pp. 171-180, 2016, IEEE Computer Society, 978-1-5090-2825-2. The full citation details ...](Pics/full.jpeg) |
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. ![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. 175-181, 2016, Simon Fraser University, Vancouver, British Columbia, Canada. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|