|
|
Venues (Conferences, Journals, ...)
|
|
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 |
85 | Michael Nicolaidis |
Fail-Safe Interfaces for VLSI: Theoretical Foundations and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 47(1), pp. 62-77, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP Workshops ![In: Object-Oriented Technology, ECOOP'98 Workshop Reader, ECOOP'98 Workshops, Demos, and Posters, Brussels, Belgium, July 20-24, 1998, Proceedings, pp. 321-322, 1998, Springer, 3-540-65460-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
70 | Eleftherios Kolonis, Michael Nicolaidis |
Fail-Safe Synchronization Circuit for Duplicated Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DFT ![In: 16th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2001), 24-26 October 2001, San Francisco, CA, USA, Proceedings, pp. 412-417, 2001, IEEE Computer Society, 0-7695-1203-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings, pp. 334-349, 2007, Springer, 978-3-540-75697-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 18(5), pp. 1091-1116, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings, pp. 428-442, 2005, Springer, 3-540-29189-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 12th Conference on Asia South Pacific Design Automation, ASP-DAC 2007, Yokohama, Japan, January 23-26, 2007, pp. 628-633, 2007, IEEE Computer Society, 1-4244-0629-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Advances in Knowledge Discovery and Data Mining, 13th Pacific-Asia Conference, PAKDD 2009, Bangkok, Thailand, April 27-30, 2009, Proceedings, pp. 475-482, 2009, Springer, 978-3-642-01306-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: Sixth International Symposium on Code Generation and Optimization (CGO 2008), April 5-9, 2008, Boston, MA, USA, pp. 144-154, 2008, ACM, 978-1-59593-978-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 10(10), pp. 964-975, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 12(9), pp. 942-951, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCOPES ![In: Software and Compilers for Embedded Systems, 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings, pp. 182-197, 2003, Springer, 3-540-20145-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWDC ![In: Distributed Computing - IWDC 2004, 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings, pp. 231-239, 2004, Springer, 3-540-24076-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 2000, 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding, pp. 83-102, 2000, Springer, 3-540-67693-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: 11th International Parallel Processing Symposium (IPPS '97), 1-5 April 1997, Geneva, Switzerland, Proceedings, pp. 267-273, 1997, IEEE Computer Society, 0-8186-7792-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 5th Asian Test Symposium (ATS '96), November 20-22, 1996, Hsinchu, Taiwan, pp. 107-112, 1996, IEEE Computer Society, 0-8186-7478-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Distributed Computing, PODC 2005, Las Vegas, NV, USA, July 17-20, 2005, pp. 334-341, 2005, ACM, 1-58113-994-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (1) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 261-265, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
42 | Shun-Pin Hsu, Aristotle Arapostathis |
Strict-sense constrained Markov decision processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (1) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 194-199, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Heinz Kredel |
On the design of a Java computer algebra system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 4th International Symposium on Principles and Practice of Programming in Java, PPPJ 2006, Mannheim, Germany, August 30 - September 1, 2006, pp. 143-152, 2006, ACM, 3-939352-05-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MDM ![In: 9th International Conference on Mobile Data Management (MDM 2008), Beijing, China, April 27-30, 2008, pp. 124-131, 2008, IEEE, 978-0-7695-3154-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IOLTW ![In: 6th IEEE International On-Line Testing Workshop (IOLTW 2000), 3-5 July 2000, Palma de Mallorca, Spain, pp. 191-, 2000, IEEE Computer Society, 0-7695-0646-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
40 | John K. Ousterhout, Jacob Y. Levy, Brent B. Welch |
The Safe-Tcl Security Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile Agents and Security ![In: Mobile Agents and Security, pp. 217-234, 1998, Springer, 3-540-64792-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
39 | Gregor von Bochmann, Guy-Vincent Jourdan |
Testing k-Safe Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom/FATES ![In: Testing of Software and Communication Systems, 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings, pp. 33-48, 2009, Springer, 978-3-642-05030-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML ![In: Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006, pp. 20-31, 2006, ACM, 1-59593-483-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO 2002, 22nd Annual International Cryptology Conference, Santa Barbara, California, USA, August 18-22, 2002, Proceedings, pp. 417-432, 2002, Springer, 3-540-44050-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
safe primes, distributed primality test, RSA, threshold cryptography |
39 | D. Essame, Jean Arlat, David Powell |
Available fail-safe systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTDCS ![In: 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 29-31 October 1997, Tunis, Tunisia, Proceedings, pp. 176-182, 1997, IEEE Computer Society, 0-8186-8153-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 8th International Conference on VLSI Design (VLSI Design 1995), 4-7 January 1995, New Delhi, India, pp. 355-358, 1995, IEEE Computer Society, 0-8186-6905-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 99(2), pp. 283-296, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 28(2), pp. 167-172, 1979. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![Springer, 978-3-031-40131-2 The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
37 | Yassine Hadjadj Aoul |
The Quest for Safe Deep Reinforcement Learning-driven Network Slicing: Progress, Pitfalls and Potential. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFE@CoNEXT ![In: SAFE@CoNEXT, pp. 1, 2023. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFE@CoNEXT ![ACM The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
37 | Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez 0001 |
Implementation Relations for Distributed Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 34-48, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
37 | Wen-ling Huang, Robert Sachtleben |
Conformance Relations Between Input/Output Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 49-67, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
37 | Christopher Bischopink, Ernst-Rüdiger Olderog |
Time for Traffic Manoeuvres. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 163-179, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
37 | Jim Woodcock 0001 |
Towards a Unifying Framework for Uncertainty in Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 237-253, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 222-236, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
37 | Thomas Santen |
Debugging Frame Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 320-332, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 180-201, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
37 | Phillip James, Faron Moller, Markus Roggenbach |
Software Model Checking of Interlocking Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 130-146, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
37 | Maritta Heisel, Marvin Wagner |
Pattern-Based Risk Identification for Model-Based Risk Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 114-129, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
37 | Jörg Brauer |
Source-Code-to-Object-Code Traceability Analysis for Airborne Software: A Case for Tool Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 257-271, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
37 | Anne E. Haxthausen, Alessandro Fantechi, Gloria Gori |
Decomposing the Verification of Interlocking Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 96-113, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
37 | Mario Gleirscher |
Supervision of Intelligent Systems: An Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 202-221, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
37 | Alexander Pretschner, Florian Hauer 0002, Tabea Schmidt |
On Scenario-Based Testing of Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 68-82, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
37 | Alexander Knapp |
An Intermediate Language-Based Approach to Implementing and Verifying Communicating UML State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 289-307, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
37 | Alireza Mahzoon, Rolf Drechsler |
Polynomial Formal Verification of Complex Circuits Using a Hybrid Proof Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 308-319, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
37 | Jens Braband |
Safety vs. Security - Why Separation of Concerns is a Good Strategy for Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 85-95, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
37 | Bevin Duckett, Klaus Havelund, Luke Stewart |
Space Telemetry Analysis with PyContract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 272-288, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
37 | Thierry Lecomte |
Formal Modelling to Improve Safety and Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 147-159, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
37 | Ana Cavalcanti 0001, Alvaro Miyazawa, Uwe Schulze, Jon Timmis |
Bringing RoboStar and RT-Tester Together. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 16-33, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 3-15, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (6) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 5301-5306, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Roland Meyer 0001, Victor Khomenko, Tim Strazny |
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings, pp. 327-347, 2008, Springer, 978-3-540-68745-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability and Security, 17th International Conference, SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings, pp. 196-208, 1998, Springer, 3-540-65110-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 58(5), pp. 634-647, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Joohyung Lee 0002, Vladimir Lifschitz, Ravi Palla |
Safe Formulas in the General Theory of Stable Models (Preliminary Report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings, pp. 672-676, 2008, Springer, 978-3-540-89981-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | William Blum, C.-H. Luke Ong |
The Safe Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings, pp. 39-53, 2007, Springer, 978-3-540-73227-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Yang-Sae Moon |
An MBR-Safe Transform for High-Dimensional MBRs in Similar Sequence Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASFAA ![In: Advances in Databases: Concepts, Systems and Applications, 12th International Conference on Database Systems for Advanced Applications, DASFAA 2007, Bangkok, Thailand, April 9-12, 2007, Proceedings, pp. 79-90, 2007, Springer, 978-3-540-71702-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Nikolaj Tatti |
Safe projections of binary data sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 42(8-9), pp. 617-638, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 4th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2006, Seoul, Korea, October 22-25, 2006, pp. 106-111, 2006, ACM, 1-59593-370-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
type safety, memory safety, extensible processors |
34 | Neal Glew, Jens Palsberg, Christian Grothoff |
Type-Safe Optimisation of Plugin Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings, pp. 135-154, 2005, Springer, 3-540-28584-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 30th International Symposium on Computer Architecture (ISCA 2003), 9-11 June 2003, San Diego, California, USA, pp. 350-361, 2003, IEEE Computer Society, 0-7695-1945-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Vigyan Singhal, Carl Pixley, Adnan Aziz, Robert K. Brayton |
Theory of safe replacements for sequential circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 20(2), pp. 249-265, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
34 | Luis Mateu, José M. Piquer |
Safe-Threads: A New Model for Object-Oriented Multi-Threaded Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: 19th International Conference of the Chilean Computer Science Society (SCCC '99), 11-13 November 1999, Talca, Chile, pp. 136-143, 1999, IEEE Computer Society, 0-7695-0296-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Concurrency, object oriented programming, monitors, threads, safeness |
34 | Vigyan Singhal, Carl Pixley |
The Verifiacation Problem for Safe Replaceability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994, Proceedings, pp. 311-323, 1994, Springer, 3-540-58179-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
34 | Michal Wegiel, Chandra Krintz |
XMem: type-safe, transparent, shared memory for cross-runtime communication and coordination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008, pp. 327-338, 2008, ACM, 978-1-59593-860-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Public Key Cryptography ![In: Public Key Cryptography - PKC 2005, 8th International Workshop on Theory and Practice in Public Key Cryptography, Les Diablerets, Switzerland, January 23-26, 2005, Proceedings, pp. 120-137, 2005, Springer, 3-540-24454-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adaptive and Reflective Middleware ![In: Proceedings of the 3rd Workshop on Adaptive and Reflective Middleware, ARM 2003, Toronto, Ontario, Canada, October 19, 2004, pp. 256-261, 2004, ACM, 1-58113-949-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 21(1), pp. 1-35, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
distributed sharing, safe programming languages, Communications, memory consistency |
34 | Henrik Theiling |
Extracting safe and precise control flow from binaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 23-30, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 16th Annual Computer Security Applications Conference (ACSAC 2000), 11-15 December 2000, New Orleans, Louisiana, USA, pp. 90-99, 2000, IEEE Computer Society, 0-7695-0859-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 330, pp. 56-77, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Lucía Busolini, Guillermo Durán, Martín D. Safe |
Characterization of balanced graphs within claw-free graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LAGOS ![In: Proceedings of the XII Latin-American Algorithms, Graphs and Optimization Symposium, LAGOS 2023, Huatulco, Mexico, September 18-22, 2023., pp. 258-266, 2023, Elsevier. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Pablo Romero, Martín D. Safe |
Least corank for the nonexistence of uniformly most reliable graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LAGOS ![In: Proceedings of the XII Latin-American Algorithms, Graphs and Optimization Symposium, LAGOS 2023, Huatulco, Mexico, September 18-22, 2023., pp. 88-95, 2023, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphs Comb. ![In: Graphs Comb. 38(4), pp. 111, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2201.12610, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
31 | Martín D. Safe |
Essential obstacles to Helly circular-arc graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 320, pp. 245-258, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 323, pp. 43-75, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Martín D. Safe |
Circularly Compatible Ones, D-Circularity, and Proper Circular-Arc Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Discret. Math. ![In: SIAM J. Discret. Math. 35(2), pp. 707-751, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.03795, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 289(3), pp. 841-854, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australas. J Comb. ![In: Australas. J Comb. 79, pp. 401-423, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 286(1), pp. 55-86, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Erica G. Hinrichsen, Valeria A. Leoni, Martín D. Safe |
Labelled packing functions in graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 154, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 158, pp. 105944, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2007.00570, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 281, pp. 42-60, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Graph Theory ![In: J. Graph Theory 93(2), pp. 268-298, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AofA ![In: 31st International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms, AofA 2020, June 15-19, 2020, Klagenfurt, Austria (Virtual Conference)., pp. 4:1-4:19, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-147-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LAGOS ![In: Proceedings of the tenth Latin and American Algorithms, Graphs and Optimization Symposium, LAGOS 2019, Belo Horizonte, Brazil, June 2-7, 2019, pp. 413-423, 2019, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1907.01581, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
31 | Martín D. Safe |
Circularly compatible ones, D-circularity, and proper circular-arc bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1906.00321, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1906.11970, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Notes Discret. Math. ![In: Electron. Notes Discret. Math. 69, pp. 21-28, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Comb. ![In: Electron. J. Comb. 25(4), pp. 4, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 235, pp. 23-50, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Notes Discret. Math. ![In: Electron. Notes Discret. Math. 62, pp. 297-302, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1710.01639, 2017. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|