Search results for "Safe"

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