The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Safe with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1967-1975 (17) 1976-1979 (18) 1980-1983 (18) 1984-1985 (17) 1986-1987 (16) 1988 (28) 1989 (29) 1990 (23) 1991 (34) 1992 (34) 1993 (34) 1994 (57) 1995 (60) 1996 (103) 1997 (110) 1998 (112) 1999 (129) 2000 (149) 2001 (167) 2002 (214) 2003 (253) 2004 (314) 2005 (360) 2006 (418) 2007 (460) 2008 (473) 2009 (414) 2010 (246) 2011 (205) 2012 (205) 2013 (263) 2014 (299) 2015 (364) 2016 (289) 2017 (412) 2018 (500) 2019 (635) 2020 (709) 2021 (949) 2022 (1038) 2023 (1252) 2024 (300)
Publication types (Num. hits)
article(4232) book(11) data(1) incollection(38) inproceedings(7233) phdthesis(189) proceedings(23)
Venues (Conferences, Journals, ...)
CoRR(1539) IROS(262) ICRA(236) CDC(134) SAFECOMP(123) IEEE Robotics Autom. Lett.(107) ACC(82) IEEE Access(79) ITSC(75) Sensors(68) AAAI(67) IEEE Trans. Intell. Transp. Sy...(62) PLDI(52) ECOOP(51) EC-TEL(50) ETFA(46) More (+10 of total 2831)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3832 occurrences of 2150 keywords

Results
Found 11732 publication records. Showing 11727 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
85Michael Nicolaidis Fail-Safe Interfaces for VLSI: Theoretical Foundations and Implementation. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Fail-safe circuits, totally fail-safe circuits, strongly fail-safe circuits, fail-safe comparators, fail-safe voters, self-checking circuits
84Lars Frank Evaluation Overview of the Replication Methods for High Availability Databases. Search on Bibsonomy ECOOP Workshops The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
70Eleftherios Kolonis, Michael Nicolaidis Fail-Safe Synchronization Circuit for Duplicated Systems. Search on Bibsonomy DFT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF fail-safe systems, fail-safe synchronization, duplicated systems, actuator control
65Abdolmajid Mousavi, Behrouz Homayoun Far, Armin Eberlein, Behrouz Heidari Strong Safe Realizability of Message Sequence Chart Specifications. Search on Bibsonomy FSEN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Strong safe realizability, stuck states, emergent scenarios
62Christopher Ré, Dan Suciu The trichotomy of HAVING queries on a probabilistic database. Search on Bibsonomy VLDB J. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Safe plans, Probabilistic databases, Query evaluation, Semirings, Sampling algorithms
60Arshad Jhumka, Neeraj Suri Designing Efficient Fail-Safe Multitolerant Systems. Search on Bibsonomy FORTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF multitolerance, safety specification, program transformation, automation, program synthesis, Detectors, fail-safe
54Kai-Hui Chang, Igor L. Markov, Valeria Bertacco Safe Delay Optimization for Physical Synthesis. Search on Bibsonomy ASP-DAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF safe delay optimization, SafeResynth, safe resynthesis technique, immediately-measurable delay improvement, circuit timing, route length, physical synthesis, electronic design automation, route congestion, circuit delay
53Chumphol Bunkhumpornpat, Krung Sinapiromsaran, Chidchanok Lursinsap Safe-Level-SMOTE: Safe-Level-Synthetic Minority Over-Sampling TEchnique for Handling the Class Imbalanced Problem. Search on Bibsonomy PAKDD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Class Imbalanced Problem, Safe Level, Over-sampling, SMOTE
53Brian R. Murphy, Vijay Menon 0002, Florian T. Schneider, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai Fault-safe code motion for type-safe languages. Search on Bibsonomy CGO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF safe code motion, safety dependences, speculative code motion, scheduling, code motion, partial redundancy elimination, intermediate representations
52Qian-Ping Gu, Shietung Peng Unicast in Hypercubes with Large Number of Faulty Nodes. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF off-line routing algorithm, Fault tolerance, interconnection network, hypercubes, unicast
51Dong Xiang Fault-Tolerant Routing in Hypercube Multicomputers Using Local Safety Information. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF local safety, maximal safe subcube, safe node, spanning subcube, unsafe node, Fault-tolerant routing, hypercube multicomputer
50Arshad Jhumka, Neeraj Suri, Martin Hiller A Framework for the Design and Validation of Efficient Fail-Safe Fault-Tolerant Programs. Search on Bibsonomy SCOPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF fault tolerance, test cases, software synthesis, Detectors, fail-safe
44S. Rahul, R. C. Hansdah A Multisignature Scheme for Implementing Safe Delivery Rule in Group Communication Systems. Search on Bibsonomy IWDC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Ack implosion, Safe delivery rule, Distributed systems, Secure group communication, Multisignature
44Roberto Bruni, Ugo Montanari Executing Transactions in Zero-Safe Nets. Search on Bibsonomy ICATPN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF PT nets, zero-safe nets, net unfolding, reachability, distributed transactions
44Maged M. Michael, Michael L. Scott Relative Performance of Preemption-Safe Locking and Non-Blocking Synchronization on Multiprogrammed Shared Memory Multiprocessors. Search on Bibsonomy IPPS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF relative performance, preemption safe locking, non blocking synchronization, multiprogrammed shared memory multiprocessors, inopportune preemption, synchronized parallel applications, concurrent atomic update, non blocking lock free algorithms, kernel support, universal atomic primitive, 12 processor SGI Challenge multiprocessor, multiprogrammed machines, priority queues, multiprogramming, stacks, concurrent data structures, counters, FIFO queues, shared data structures
44Naotake Kamiura, Yutaka Hata, Kazuharu Yamato On Design of Fail-Safe Cellular Arrays. Search on Bibsonomy Asian Test Symposium The full citation details ... 1996 DBLP  DOI  BibTeX  RDF fail-safe logic system, Binary Decision Diagram and switch cell, cellular array
42Andrzej Pelc, David Peleg Feasibility and complexity of broadcasting with random transmission failures. Search on Bibsonomy PODC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF omission faults, random failures, broadcasting, radio networks, Byzantine faults
42Shun-Pin Hsu, Aristotle Arapostathis Safety control of partially observed MDPs with applications to machine maintenance problems. Search on Bibsonomy SMC (1) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
42Shun-Pin Hsu, Aristotle Arapostathis Strict-sense constrained Markov decision processes. Search on Bibsonomy SMC (1) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
41Heinz Kredel On the design of a Java computer algebra system. Search on Bibsonomy PPPJ The full citation details ... 2006 DBLP  DOI  BibTeX  RDF computer algebra library, thread-safe, type-safe, multivariate polynomials
40Kihwan Kim, Ying Cai, Wallapak Tavanapong Safe-Time: Distributed Real-Time Monitoring of cKNN in Mobile Peer-to-Peer Networks. Search on Bibsonomy MDM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
40Michael Nicolaidis, N. Zaidan, Th. Calin, D. Bied-Charreton ISIS: A Fail-Safe Interface Realized in Smart Power Technology. Search on Bibsonomy IOLTW The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
40John K. Ousterhout, Jacob Y. Levy, Brent B. Welch The Safe-Tcl Security Model. Search on Bibsonomy Mobile Agents and Security The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
39Gregor von Bochmann, Guy-Vincent Jourdan Testing k-Safe Petri Nets. Search on Bibsonomy TestCom/FATES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF k -safe Petri nets, free-choice Petri nets, fault model, Conformance testing, automatic test generation
39John Billings, Peter Sewell, Mark R. Shinwell, Rok Strnisa Type-safe distributed programming for OCaml. Search on Bibsonomy ML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF HashCaml, type-safe marshalling, objective Caml
39Joy Algesheimer, Jan Camenisch, Victor Shoup Efficient Computation Modulo a Shared Secret with Application to the Generation of Shared Safe-Prime Products. Search on Bibsonomy CRYPTO The full citation details ... 2002 DBLP  DOI  BibTeX  RDF safe primes, distributed primality test, RSA, threshold cryptography
39D. Essame, Jean Arlat, David Powell Available fail-safe systems. Search on Bibsonomy FTDCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF available fail-safe systems, life critical systems, railway applications, duplex computers, safety constraints, safety degradation, redundancy management mechanisms, fault tolerant computing, redundancy, distributed real-time system, system availability
39B. Ravi Kishore, Rubin A. Parekhji, Sandeep Pagey, Sunil D. Sherlekar, G. Venkatesh 0001 A new methodology for the design of low-cost fail safe circuits and networks. Search on Bibsonomy VLSI Design The full citation details ... 1995 DBLP  DOI  BibTeX  RDF low-cost fail safe circuits, safety critical electronic systems, input-output encoding problems, output encoding technique, low-cost design, systematic framework, graph theory, design methodology, encoding, combinational circuits, combinational circuits, graph embedding, graceful degradation, logic partitioning
39Arnold Neumaier, Oleg Shcherbina Safe bounds in linear and mixed-integer linear programming. Search on Bibsonomy Math. Program. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF directed rounding, mixed-integer rounding, generalized Gomory cut, safe cuts, safe presolve, certificate of infeasibility, lower bounds, linear programming, mixed-integer programming, interval arithmetic, branch-and-cut, rounding errors
39Constantinos Halatsis, Nikolaos Gaitanis Positive Fail-Safe Realization of Synchronous Sequential Machines. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1979 DBLP  DOI  BibTeX  RDF Covering set, destination set, k-out-of-n code, positive fail-safe assignment, positive realization, realization free, sequential machines, fail-safe
37Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach (eds.) Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday Search on Bibsonomy Applicable Formal Methods for Safe Industrial Products The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
37Yassine Hadjadj Aoul The Quest for Safe Deep Reinforcement Learning-driven Network Slicing: Progress, Pitfalls and Potential. Search on Bibsonomy SAFE@CoNEXT The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
37Kamal Singh, Abbas Bradai, Pham Tran Anh Quang, Antonio Pescapè, Claudio Fiandrino (eds.) Proceedings of the 2023 on Explainable and Safety Bounded, Fidelitous, Machine Learning for Networking, SAFE 2023, Paris, France, 8 December 2023 Search on Bibsonomy SAFE@CoNEXT The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
37Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez 0001 Implementation Relations for Distributed Testing. Search on Bibsonomy Applicable Formal Methods for Safe Industrial Products The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
37Wen-ling Huang, Robert Sachtleben Conformance Relations Between Input/Output Languages. Search on Bibsonomy Applicable Formal Methods for Safe Industrial Products The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
37Christopher Bischopink, Ernst-Rüdiger Olderog Time for Traffic Manoeuvres. Search on Bibsonomy Applicable Formal Methods for Safe Industrial Products The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
37Jim Woodcock 0001 Towards a Unifying Framework for Uncertainty in Cyber-Physical Systems. Search on Bibsonomy Applicable Formal Methods for Safe Industrial Products The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
37Peter Gorm Larsen, Lukas Esterle, John S. Fitzgerald, Mirgita Frasheri Fault Injection in Co-simulation and Digital Twins for Cyber-Physical Robotic Systems. Search on Bibsonomy Applicable Formal Methods for Safe Industrial Products The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
37Thomas Santen Debugging Frame Conditions. Search on Bibsonomy Applicable Formal Methods for Safe Industrial Products The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
37Martin Fränzle, Willem Hagemann, Werner Damm, Astrid Rakow, Mani Swaminathan Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles. Search on Bibsonomy Applicable Formal Methods for Safe Industrial Products The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
37Phillip James, Faron Moller, Markus Roggenbach Software Model Checking of Interlocking Programs. Search on Bibsonomy Applicable Formal Methods for Safe Industrial Products The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
37Maritta Heisel, Marvin Wagner Pattern-Based Risk Identification for Model-Based Risk Management. Search on Bibsonomy Applicable Formal Methods for Safe Industrial Products The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
37Jörg Brauer Source-Code-to-Object-Code Traceability Analysis for Airborne Software: A Case for Tool Support. Search on Bibsonomy Applicable Formal Methods for Safe Industrial Products The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
37Anne E. Haxthausen, Alessandro Fantechi, Gloria Gori Decomposing the Verification of Interlocking Systems. Search on Bibsonomy Applicable Formal Methods for Safe Industrial Products The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
37Mario Gleirscher Supervision of Intelligent Systems: An Overview. Search on Bibsonomy Applicable Formal Methods for Safe Industrial Products The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
37Alexander Pretschner, Florian Hauer 0002, Tabea Schmidt On Scenario-Based Testing of Cyber-Physical Systems. Search on Bibsonomy Applicable Formal Methods for Safe Industrial Products The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
37Alexander Knapp An Intermediate Language-Based Approach to Implementing and Verifying Communicating UML State Machines. Search on Bibsonomy Applicable Formal Methods for Safe Industrial Products The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
37Alireza Mahzoon, Rolf Drechsler Polynomial Formal Verification of Complex Circuits Using a Hybrid Proof Engine. Search on Bibsonomy Applicable Formal Methods for Safe Industrial Products The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
37Jens Braband Safety vs. Security - Why Separation of Concerns is a Good Strategy for Safety-Critical Systems. Search on Bibsonomy Applicable Formal Methods for Safe Industrial Products The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
37Bevin Duckett, Klaus Havelund, Luke Stewart Space Telemetry Analysis with PyContract. Search on Bibsonomy Applicable Formal Methods for Safe Industrial Products The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
37Thierry Lecomte Formal Modelling to Improve Safety and Security. Search on Bibsonomy Applicable Formal Methods for Safe Industrial Products The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
37Ana Cavalcanti 0001, Alvaro Miyazawa, Uwe Schulze, Jon Timmis Bringing RoboStar and RT-Tester Together. Search on Bibsonomy Applicable Formal Methods for Safe Industrial Products The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
37Michael E. Akintunde, Martim Brandão, Gunel Jahangirova, Hector Menendez, Mohammad Reza Mousavi, Jie Zhang On Testing Ethical Autonomous Decision-Making. Search on Bibsonomy Applicable Formal Methods for Safe Industrial Products The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
37Rajibul Huq, George K. I. Mann, Ray G. Gosine An integrated approach for multilane robot motion planning using motor schema and fuzzy logic. Search on Bibsonomy SMC (6) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
36Roland Meyer 0001, Victor Khomenko, Tim Strazny A Practical Approach to Verification of Mobile Systems Using Net Unfoldings. Search on Bibsonomy Petri Nets The full citation details ... 2008 DBLP  DOI  BibTeX  RDF finite control processes, safe processes, Petri net unfoldings, model checking, mobile systems, ?-Calculus
36Wolfgang A. Halang, Alceu Heinke Frigeri Methods and Languages for Safety-Related Real-Time Programming. Search on Bibsonomy SAFECOMP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Safety controllers, Safe language subsets, Cause/effect tables, Function block diagrams, Safety integrity levels, Real time systems, Programming languages
34Kanghee Kim, Chang-Gun Lee A Safe Stochastic Analysis with Relaxed Limitations on the Periodic Task Model. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
34Joohyung Lee 0002, Vladimir Lifschitz, Ravi Palla Safe Formulas in the General Theory of Stable Models (Preliminary Report). Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34William Blum, C.-H. Luke Ong The Safe Lambda Calculus. Search on Bibsonomy TLCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
34Yang-Sae Moon An MBR-Safe Transform for High-Dimensional MBRs in Similar Sequence Matching. Search on Bibsonomy DASFAA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
34Nikolaj Tatti Safe projections of binary data sets. Search on Bibsonomy Acta Informatica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Divya Arora, Anand Raghunathan, Srivaths Ravi 0001, Niraj K. Jha Architectural support for safe software execution on embedded processors. Search on Bibsonomy CODES+ISSS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF type safety, memory safety, extensible processors
34Neal Glew, Jens Palsberg, Christian Grothoff Type-Safe Optimisation of Plugin Architectures. Search on Bibsonomy SAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
34Aravindh Anantaraman, Kiran Seth, Kaustubh Patil, Eric Rotenberg, Frank Mueller 0001 Virtual Simple Architecture (VISA): Exceeding the Complexity Limit in Safe Real-Time Systems. Search on Bibsonomy ISCA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
34Vigyan Singhal, Carl Pixley, Adnan Aziz, Robert K. Brayton Theory of safe replacements for sequential circuits. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
34Luis Mateu, José M. Piquer Safe-Threads: A New Model for Object-Oriented Multi-Threaded Languages. Search on Bibsonomy SCCC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Concurrency, object oriented programming, monitors, threads, safeness
34Vigyan Singhal, Carl Pixley The Verifiacation Problem for Safe Replaceability. Search on Bibsonomy CAV The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
34Michal Wegiel, Chandra Krintz XMem: type-safe, transparent, shared memory for cross-runtime communication and coordination. Search on Bibsonomy PLDI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF class loading, managed runtimes, type-safe, parallel, synchronization, garbage collection, shared memory, transparent, interprocess communication
34Emil Ong, John Kubiatowicz Optimizing Robustness While Generating Shared Secret Safe Primes. Search on Bibsonomy Public Key Cryptography The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Distributed key generation, safe primes, threshold RSA signatures
34Nico Janssens, Lieven Desmet, Sam Michiels, Pierre Verbaeten NeCoMan: middleware for safe distributed service deployment in programmable networks. Search on Bibsonomy Adaptive and Reflective Middleware The full citation details ... 2004 DBLP  DOI  BibTeX  RDF network consistency, safe runtime deployment of distributed services, programmable networks
34Y. Charlie Hu, Weimin Yu, Alan L. Cox, Dan S. Wallach, Willy Zwaenepoel Run-time support for distributed sharing in safe languages. Search on Bibsonomy ACM Trans. Comput. Syst. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF distributed sharing, safe programming languages, Communications, memory consistency
34Henrik Theiling Extracting safe and precise control flow from binaries. Search on Bibsonomy RTCSA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF safe precise control flow extraction, binary executables, instruction sequence clustering, branch targets, block boundaries, safety-critical real-time systems, graph approximation, entry points, instruction blocks, instruction routines, real-time systems, uncertainties, sequences, safety-critical software, program diagnostics, control flow graph, program control structures, static program analysis, flow graphs, bottom-up approach
34André L. M. dos Santos, Richard A. Kemmerer Implementing Security Policies using the Safe Areas of Computation Approach. Search on Bibsonomy ACSAC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Safe Areas of Computation approach, business costs, SAC approach, Internet, Internet, World Wide Web, digital libraries, digital libraries, security policies, authorisation, information resources, telecommunication security, bank data processing, access control lists, online banks
31Mitre Costa Dourado, Luciano N. Grippo, Martín D. Safe On the generalized Helly property of hypergraphs, cliques, and bicliques. Search on Bibsonomy Discret. Appl. Math. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Lucía Busolini, Guillermo Durán, Martín D. Safe Characterization of balanced graphs within claw-free graphs. Search on Bibsonomy LAGOS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Pablo Romero, Martín D. Safe Least corank for the nonexistence of uniformly most reliable graphs. Search on Bibsonomy LAGOS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Guillermo Durán, Nina Pardal, Martín D. Safe 2-Nested Matrices: Towards Understanding the Structure of Circle Graphs. Search on Bibsonomy Graphs Comb. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
31Mitre Costa Dourado, Luciano N. Grippo, Martín D. Safe On the generalized Helly property of hypergraphs, cliques, and bicliques. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  BibTeX  RDF
31Martín D. Safe Essential obstacles to Helly circular-arc graphs. Search on Bibsonomy Discret. Appl. Math. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
31Flavia Bonomo-Braberman, Guillermo Durán, Nina Pardal, Martín D. Safe Forbidden induced subgraph characterization of circle graphs within split graphs. Search on Bibsonomy Discret. Appl. Math. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
31Martín D. Safe Circularly Compatible Ones, D-Circularity, and Proper Circular-Arc Bigraphs. Search on Bibsonomy SIAM J. Discret. Math. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
31Guillermo Durán, Nina Pardal, Martín D. Safe 2-nested matrices: towards understanding the structure of circle graphs. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
31Daniel Alejandro Rossit, Óscar C. Vásquez, Fernando Tohmé, Mariano Frutos, Martín D. Safe A combinatorial analysis of the permutation and non-permutation flow shop scheduling problems. Search on Bibsonomy Eur. J. Oper. Res. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
31Lucía M. González, Luciano N. Grippo, Martín D. Safe Formulas in connection with parameters related to convexity of paths on three vertices: caterpillars and unit interval graphs. Search on Bibsonomy Australas. J Comb. The full citation details ... 2021 DBLP  BibTeX  RDF
31Guillermo Durán, Martín D. Safe, Xavier S. Warnes Neighborhood covering and independence on P4-tidy graphs and tree-cographs. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
31Erica G. Hinrichsen, Valeria A. Leoni, Martín D. Safe Labelled packing functions in graphs. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
31Lucía M. González, Luciano N. Grippo, Martín D. Safe, Vinícius Fernandes dos Santos Covering graphs with convex sets and partitioning graphs into convex sets. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
31Flavia Bonomo-Braberman, Guillermo Alfredo Durán, Nina Pardal, Martín D. Safe Forbidden induced subgraph characterization of circle graphs within split graphs. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
31Flavia Bonomo-Braberman, Guillermo Durán, Martín D. Safe, Annegret Katrin Wagler On some graph classes related to perfect graphs: A survey. Search on Bibsonomy Discret. Appl. Math. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
31Martín D. Safe Characterization and linear-time detection of minimal obstructions to concave-round graphs and the circular-ones property. Search on Bibsonomy J. Graph Theory The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
31Valérie Berthé, Eda Cesaratto, Frédéric Paccaut, Pablo Rotondo, Martín D. Safe, Brigitte Vallée Two Arithmetical Sources and Their Associated Tries. Search on Bibsonomy AofA The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
31Ezequiel Dratman, Luciano N. Grippo, Martín D. Safe, Celso M. da Silva Jr., Renata R. Del-Vecchio Computing the Determinant of the Distance Matrix of a Bicyclic Graph. Search on Bibsonomy LAGOS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
31Lucía M. González, Luciano N. Grippo, Martín D. Safe, Vinícius Fernandes dos Santos Covering graphs with convex sets and partitioning graphs into convex sets. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
31Martín D. Safe Circularly compatible ones, D-circularity, and proper circular-arc bigraphs. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
31Nina Pardal, Guillermo Alfredo Durán, Luciano N. Grippo, Martín D. Safe On nested and 2-nested graphs: two subclasses of graphs between threshold and split graphs. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
31Daniel Alejandro Rossit, Óscar C. Vásquez, Fernando Tohmé, Mariano Frutos, Martín D. Safe The Dominance Flow Shop Scheduling Problem. Search on Bibsonomy Electron. Notes Discret. Math. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
31Luiz Emilio Allem, Antonio Cafure, Ezequiel Dratman, Luciano N. Grippo, Martín D. Safe, Vilmar Trevisan Partial Characterization of Graphs Having a Single Large Laplacian Eigenvalue. Search on Bibsonomy Electron. J. Comb. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
31Flavia Bonomo, Bostjan Bresar, Luciano N. Grippo, Martin Milanic, Martín Darío Safe Domination parameters with number : Interrelations and algorithmic consequences. Search on Bibsonomy Discret. Appl. Math. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
31Luiz Emilio Allem, Antonio Cafure, Ezequiel Dratman, Luciano N. Grippo, Martín Darío Safe, Vilmar Trevisan On graphs with a single large Laplacian eigenvalue. Search on Bibsonomy Electron. Notes Discret. Math. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
31Daniel A. Jaume, Gonzalo Molina, Adrián Pastine, Martín Darío Safe A {-1, 0, 1}- and sparsest basis for the null space of a forest in optimal time. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 11727 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license