|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 150 occurrences of 121 keywords
|
|
|
Results
Found 306 publication records. Showing 290 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
73 | Daqing Hou, H. James Hoover |
Source-Level Linkage: Adding Semantic Information to C++ Fact-bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 22nd IEEE International Conference on Software Maintenance (ICSM 2006), 24-27 September 2006, Philadelphia, Pennsylvania, USA, pp. 448-457, 2006, IEEE Computer Society, 0-7695-2354-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
source-level linkage, Datrix, C++, fact extraction, type analysis, name resolution |
67 | Paul Reed |
An Oberon Linker for an Imperfect World - More Notes on Building Your Own Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JMLC ![In: Modular Programming Languages, Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings, pp. 224-228, 2003, Springer, 3-540-40796-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
63 | Nazar Zaki |
Protein-Protein Interaction Prediction Using Homology and Inter-domain Linker Region Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Engineering (Selected Papers) ![In: Advances in Electrical Engineering and Computational Science, [revised and extended papers from the World Congress on Engineering, WCE 2008, London, UK, July 2-4, 2008], pp. 635-645, 2008, Springer, 978-90-481-2310-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Inter-domain Linker Region, yeast protein, Prediction, Protein-Protein Interaction, Homology |
55 | Abdulmalik Al-Gahmi, Jonathan E. Cook |
Towards a service-based middleware layer for runtime environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 507-511, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
dynamic linker, service-based architecture, middleware, runtime environments |
52 | Manuel E. Benitez, Jack W. Davidson |
A Portable Global Optimizer and Linker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI), Atlanta, Georgia, USA, June 22-24, 1988, pp. 329-338, 1988, ACM, 0-89791-269-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
C, VAX |
46 | Shahi Dost, Luciano Serafini, Marco Rospocher, Lamberto Ballan, Alessandro Sperduti |
VT-LINKER: Visual-Textual-Knowledge Entity Linker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020), pp. 2897-2898, 2020, IOS Press, 978-1-64368-100-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
44 | Carl von Platen, Johan Eker |
Feedback linking: optimizing object code layout for updates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'06), Ottawa, Ontario, Canada, June 14-16, 2006, pp. 2-11, 2006, ACM, 1-59593-362-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
incremental software update, flash memory |
44 | Changwoo Pyo, Gyungho Lee |
Encoding Function Pointers and Memory Arrangement Checking against Buffer Overflow Attack. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICS ![In: Information and Communications Security, 4th International Conference, ICICS 2002, Singapore, December 9-12, 2002, Proceedings, pp. 25-36, 2002, Springer, 3-540-00164-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
program counter, function pointer encoding, memory arrangement checking, buffer overflow attack |
44 | Russell W. Quong, Mark A. Linton |
Linking Programs Incrementally. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 13(1), pp. 1-20, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
performance |
40 | C. Murray Woodside, Gerald G. Monforton |
Fast Allocation of Processes in Distributed and Parallel Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 4(2), pp. 164-174, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
MULTIFIT-COM, static task allocator, automatedcompiler/linker/loader, bin-packing algorithm, high system throughput, asymptotic bound, digital signal processing system, clustering, distributed systems, load balancing, parallel processing, resource allocation, distributed processing, program compilers, parallel systems, interprocessor communication, operations research, distributed processing systems |
40 | Mark A. Linton, Russell W. Quong |
A Macroscopic Profile of Program Compilation and Linking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(4), pp. 427-436, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
macroscopic profile, incremental programming environment, incremental linker, program compilation, program compilers |
40 | Michael L. Scott, Raphael A. Finkel |
A Simple Mechanism for Type Security Across Compilation Units. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(8), pp. 1238-1239, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
type security, compilation units, structural-type clashes, symbol-table name, ordinary linker, message types, data structures, data structures, compilers, hash function, program compilers, distributed programs, run-time checking |
38 | Jih-Ching Chiu, Ta-Li Yeh, Mun-Kit Leong |
The Software and Hardware Integration Linker for Reconfigurable Embedded System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSE (2) ![In: Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, CSE 2009, Vancouver, BC, Canada, August 29-31, 2009, pp. 520-525, 2009, IEEE Computer Society, 978-1-4244-5334-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Vito Di Gesù, Giosuè Lo Bosco, Luca Pinello |
A One Class Classifier for Signal Identification: A Biological Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (3) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part III, pp. 747-754, 2008, Springer, 978-3-540-85566-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Ge Zhu, Akhilesh Tyagi |
Protection against Indirect Overflow Attacks on Pointers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIA ![In: Proceedings of the Second IEEE International Workshop on Information Assurance (IWIA'04), April 8-9, 2004, Charlotte, North Carolina, USA, pp. 97-106, 2004, IEEE Computer Society, 0-7695-2117-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Rinus Plasmeijer, Arjen van Weelden |
A Functional Shell That Operates on Typed and Compiled Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Functional Programming ![In: Advanced Functional Programming, 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures, pp. 245-272, 2004, Springer, 3-540-28540-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Philip W. L. Fong, Robert D. Cameron |
Proof linking: modular verification of mobile programs in the presence of lazy, dynamic linking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 9(4), pp. 379-409, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
correctness conditions, proof linking, verification protocol, virtual machine architecture, Java, modularity, safety, mobile code, dynamic linking |
29 | Philip W. L. Fong, Robert D. Cameron |
Proof Linking: An Architecture for Modular Verification of Dynamically-Linked Mobile Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, SIGSOFT 1998, Lake Buena Vista, Florida, USA, November 3-5, 1998, pp. 222-230, 1998, ACM, 978-1-58113-108-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Java |
29 | Norman Ramsey, Mary F. Fernandez |
Specifying Representations of Machine Instructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 19(3), pp. 492-524, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
encoding, decoding, compiler generation, relocation, object code, machine description, machine code |
29 | Diomidis Spinellis |
Type-safe linkage for variables and functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 26(8), pp. 74-79, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
29 | Ronald M. Caplan, Craig D. Johnston, Lars K. S. Daldoff, Jon A. Linker |
Advancing parabolic operators in thermodynamic MHD models II: Evaluating a Practical Time Step Limit for Unconditionally Stable Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.01004, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
29 | Felix Linker, David A. Basin |
SOAP: A Social Authentication Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.03199, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
29 | Yevgeniya Orlova, Raphael Linker |
Data assimilation with sensitivity-based particle filter: A simulation study with AquaCrop. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Electron. Agric. ![In: Comput. Electron. Agric. 204, pp. 107538, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Yevgeniya Orlova, Raphael Linker |
Enhancing state and parameter estimations of a dynamic crop model by a recombination particle filter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Electron. Agric. ![In: Comput. Electron. Agric. 214, pp. 108355, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Hikaru Ibayashi, Taufeq Mohammed Razakh, Liqiu Yang, Thomas Linker, Marco Olguin, Shinnosuke Hattori, Ye Luo, Rajiv K. Kalia, Aiichiro Nakano, Ken-ichi Nomura, Priya Vashishta |
Allegro-Legato: Scalable, Fast, and Robust Neural-Network Quantum Molecular Dynamics via Sharpness-Aware Minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.08169, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Martin Feder, Michal Horovitz, Assaf Chen, Raphael Linker, Ofer M. Shir |
Lessons Learned Report: Super-Resolution for Detection Tasks in Engineering Problem-Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.00364, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Ronald M. Caplan, Miko M. Stulajter, Jon A. Linker |
Acceleration of a production Solar MHD code with Fortran standard parallelism: From OpenACC to 'do concurrent'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.03398, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Felix Linker, David A. Basin |
ADEM: An Authentic Digital EMblem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, Copenhagen, Denmark, November 26-30, 2023, pp. 2815-2829, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Gregorio Toscano, Hoda Razavi, A. Pouyan Nejadhashemi, Kalyanmoy Deb, Lewis C. Linker |
Utilizing Innovization to Solve Large-Scale Multi-Objective Chesapeake Bay Watershed Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEC ![In: IEEE Congress on Evolutionary Computation, CEC 2023, Chicago, IL, USA, July 1-5, 2023, pp. 1-8, 2023, IEEE, 979-8-3503-1458-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Hikaru Ibayashi, Taufeq Mohammed Razakh, Liqiu Yang, Thomas Linker, Marco Olguin, Shinnosuke Hattori, Ye Luo, Rajiv K. Kalia, Aiichiro Nakano, Ken-ichi Nomura, Priya Vashishta |
Allegro-Legato: Scalable, Fast, and Robust Neural-Network Quantum Molecular Dynamics via Sharpness-Aware Minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISC ![In: High Performance Computing - 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedings, pp. 223-239, 2023, Springer, 978-3-031-32040-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Ronald M. Caplan, Miko M. Stulajter, Jon A. Linker |
Acceleration of a production Solar MHD code with Fortran standard parallelism: From OpenACC to 'do concurrent'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS Workshops ![In: IEEE International Parallel and Distributed Processing Symposium, IPDPS 2023 - Workshops, St. Petersburg, FL, USA, May 15-19, 2023, pp. 582-590, 2023, IEEE, 979-8-3503-1199-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Valeria Giardino, Sven Linker, Richard Burns, Francesco Bellucci, Jean-Michel Boucheix, Petrucio Viana (eds.) |
Diagrammatic Representation and Inference - 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![Springer, 978-3-031-15145-3 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Gregorio Toscano, Juan Sebastian Hernandez-Suarez, Julian Blank, A. Pouyan Nejadhashemi, Kalyanmoy Deb, Lewis C. Linker |
Large-scale Multi-objective Optimization for Water Quality in Chesapeake Bay Watershed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEC ![In: IEEE Congress on Evolutionary Computation, CEC 2022, Padua, Italy, July 18-23, 2022, pp. 1-9, 2022, IEEE, 978-1-6654-6708-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Connor Powers, Lindsay Bassman, Thomas Linker, Ken-ichi Nomura, Sahil Gulania, Rajiv K. Kalia, Aiichiro Nakano, Priya Vashishta |
MISTIQS: An open-source software for performing quantum dynamics simulations on quantum computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftwareX ![In: SoftwareX 14, pp. 100696, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Benjamin Ries, Stephanie M. Linker, David F. Hahn, Gerhard König, Sereina Riniker |
Ensembler: A Simple Package for Fast Prototyping and Teaching Molecular Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 61(2), pp. 560-564, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Miko M. Stulajter, Ronald M. Caplan, Jon A. Linker |
Can Fortran's 'do concurrent' replace directives for accelerated computing? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2110.10151, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
29 | Rafael C. Cardoso 0001, Angelo Ferrando 0001, Fabio Papacchini, Matt Luckcuck, Sven Linker, Terry R. Payne |
MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2110.08172, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
29 | Simon van Mourik, Rik van der Tol, Raphael Linker, Daniel Reyes-Lastiri, Gert Kootstra, Peter W. G. Groot Koerkamp, Eldert J. van Henten |
Introductory overview: Systems and control methods for operational management support in agricultural production systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Environ. Model. Softw. ![In: Environ. Model. Softw. 139, pp. 105031, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Daniel E. Kaufman, Gary Shenk, Gopal Bhatt, Kevin W. Asplen, Olivia H. Devereux, Jessica R. Rigelman, J. Hugh Ellis, Benjamin F. Hobbs, Darrell Bosch, George L. Van Houtven, Arthur E. McGarity, Lewis C. Linker, William P. Ball |
Supporting cost-effective watershed management strategies for Chesapeake Bay using a modeling and optimization framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Environ. Model. Softw. ![In: Environ. Model. Softw. 144, pp. 105141, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Sven Linker |
Natural Deduction for Intuitionistic Euler-Venn Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings, pp. 529-533, 2021, Springer, 978-3-030-86061-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Amrita Basu, Gem Stapleton, Sven Linker, Catherine Legg, Emmanuel Manalo, Petrucio Viana (eds.) |
Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![Springer, 978-3-030-86061-5 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Sven Linker, Fabio Papacchini, Michele Sevegnani |
Finite Models for a Spatial Logic with Discrete and Topological Path Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia., pp. 72:1-72:16, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-201-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Pankaj Rajak, Anikeya Aditya, Shogo Fukushima, Rajiv K. Kalia, Thomas Linker, Kuang Liu, Ye Luo, Aiichiro Nakano, Ken-ichi Nomura, Kohei Shimamura, Fuyuki Shimojo, Priya Vashishta |
Ex-NNQMD: Extreme-Scale Neural Network Quantum Molecular Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS Workshops ![In: IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPS Workshops 2021, Portland, OR, USA, June 17-21, 2021, pp. 943-946, 2021, IEEE, 978-1-6654-3577-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Miko M. Stulajter, Ronald M. Caplan, Jon A. Linker |
Can Fortran's 'do concurrent' Replace Directives for Accelerated Computing? ![Search on Bibsonomy](Pics/bibsonomy.png) |
WACCPD@SC ![In: Accelerator Programming Using Directives - 8th International Workshop, WACCPD@SC 2021, Virtual Event, November 14, 2021, Proceedings, pp. 3-21, 2021, Springer, 978-3-030-97758-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Yevgeniya Orlova, Raphael Linker, Boris Spektor |
Forecasting the potential of apple fruitlet drop by in-situ Vis-NIR spectroscopy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Electron. Agric. ![In: Comput. Electron. Agric. 169, pp. 105225, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher 0001 |
Multi-scale verification of distributed synchronisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 55(3), pp. 171-221, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Sven Linker |
Intuitionistic Euler-Venn Diagrams (extended). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.02929, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
29 | Sven Linker, Fabio Papacchini, Michele Sevegnani |
Analysing Spatial Properties on Neighbourhood Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2007.01266, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
29 | Sven Linker |
Intuitionistic Euler-Venn Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 264-280, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Ahti-Veikko Pietarinen, Peter Chapman, Leonie Bosveld-de Smet, Valeria Giardino, James E. Corter, Sven Linker (eds.) |
Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![Springer, 978-3-030-54248-1 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Sven Linker, Fabio Papacchini, Michele Sevegnani |
Analysing Spatial Properties on Neighbourhood Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 66:1-66:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Mario Gleirscher, Anne E. Haxthausen, Martin Leucker, Sven Linker |
Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Reports ![In: Dagstuhl Reports 9(10), pp. 95-116, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Sara B. Linker, Jonathan Y. Hsu, Adela Pfaff, Debha Amatya, Shu-Meng Ko, Sarah Voter, Quinn Wong, Fred H. Gage |
BrainImageR: spatiotemporal gene set analysis referencing the human brain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 35(2), pp. 343-345, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Kim Janine Blankenhagel, Miriam Linker, Rüdiger Zarnekow |
Evaluating the Requirements of Digital Stress Management Systems: A Modified Delphi Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiHealth ![In: Wireless Mobile Communication and Healthcare - 8th EAI International Conference, MobiHealth 2019, Dublin, Ireland, November 14-15, 2019, Proceedings, pp. 229-248, 2019, Springer, 978-3-030-49288-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Eviatar Edlerman, Raphael Linker |
Autonomous Multi-Robot System for use in Vineyards and Orchards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MED ![In: 27th Mediterranean Conference on Control and Automation, MED 2019, Akko, Israel, July 1-4, 2019, pp. 274-279, 2019, IEEE, 978-1-7281-2803-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Ringo Baumann, Felix Linker |
AGM Meets Abstract Argumentation: Contraction for Dung Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings, pp. 41-57, 2019, Springer, 978-3-030-19569-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Mario Gleirscher, Stefan Kugele, Sven Linker |
SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 43(4), pp. 45-47, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Mario Gleirscher, Stefan Kugele, Sven Linker |
SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 43(4), pp. 54, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Mario Gleirscher, Stefan Kugele, Sven Linker (eds.) |
Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles, SCAV@CPSWeek 2018, Porto, Portugal, 10th April 2018. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAV@CPSWeek ![The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
29 | Ronald M. Caplan, Jon A. Linker, Zoran Mikic, C. Downs, T. Török, V. S. Titov |
GPU Acceleration of an Established Solar MHD Code using OpenACC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1811.02605, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
29 | Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher 0001 |
Multi-Scale Verification of Distributed Synchronisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1809.10655, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
29 | Mario Gleirscher, Sven Linker, Stefan Kugele |
SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1811.01774, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
29 | Maryam Kamali, Sven Linker, Michael Fisher 0001 |
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1804.06647, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
29 | Sven Linker |
Sequent Calculus for Euler Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 399-407, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher 0001 |
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings, pp. 160-176, 2018, Springer, 978-3-030-02449-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Maryam Kamali, Sven Linker, Michael Fisher 0001 |
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTSCS ![In: Formal Techniques for Safety-Critical Systems - 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers, pp. 18-36, 2018, Springer, 978-3-030-12987-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Oz Kira, Anthony L. Nguy-Robertson, Timothy J. Arkebauer, Raphael Linker, Anatoly A. Gitelson |
Toward Generic Models for Green LAI Estimation in Maize and Soybean: Satellite Observations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 9(4), pp. 318, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Ronald M. Caplan, Zoran Mikic, Jon A. Linker |
From MPI to MPI+OpenACC: Conversion of a legacy FORTRAN PCG solver for the spherical Laplace equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1709.01126, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
29 | Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher 0001 |
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1709.04385, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
29 | Sven Linker, Michele Sevegnani |
Formalising Sensor Topologies for Target Counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP4IoT@iFM ![In: Proceedings First Workshop on Architectures, Languages and Paradigms for IoT, ALP4IoT@iFM 2017, Turin, Italy, September 18, 2017., pp. 43-57, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Lukas Bulwahn, Maryam Kamali, Sven Linker (eds.) |
Proceedings First Workshop on Formal Verification of Autonomous Vehicles, FVAV@iFM 2017, Turin, Italy, 19th September 2017. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FVAV@iFM ![The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
29 | Sven Linker |
Hybrid Multi-Lane Spatial Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2017, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
29 | Gregor von Bochmann, Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog |
Synthesizing and verifying controllers for multi-lane traffic maneuvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 29(4), pp. 583-600, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher 0001 |
Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp. 224-239, 2017, Springer, 978-3-319-66334-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Sven Linker |
Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, pp. 34-49, 2017, Springer, 978-3-319-66844-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Raphael Linker, G. Sylaios |
Efficient model-based sub-optimal irrigation scheduling using imperfect weather forecasts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Electron. Agric. ![In: Comput. Electron. Agric. 130, pp. 118-127, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Moshe P. Mann, Boaz Zion, Itzhak Shmulevich, Dror Rubinstein, Raphael Linker |
Combinatorial Optimization and Performance Analysis of a Multi-arm Cartesian Robotic Fruit Harvester - Extensions of Graph Coloring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 82(3-4), pp. 399-411, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Sven Linker, Jim Burton 0001, Mateja Jamnik |
Tactical Diagrammatic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UITP ![In: Proceedings of the 12th Workshop on User Interfaces for Theorem Provers, UITP 2016, Coimbra, Portugal, 2nd July 2016., pp. 29-42, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Ronald M. Caplan, Zoran Mikic, Jon A. Linker, Roberto Lionello |
Advancing parabolic operators in thermodynamic MHD models: Explicit super time-stepping versus implicit schemes with Krylov solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1610.01265, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
29 | Moshe P. Mann, Boaz Zion, Dror Rubinstein, Rafi Linker, Itzhak Shmulevich |
The Orienteering Problem with Time Windows Applied to Robotic Melon Harvesting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Optim. Theory Appl. ![In: J. Optim. Theory Appl. 168(1), pp. 246-267, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Sven Linker, Peter Rodgers 0001 (eds.) |
Proceedings of the International Workshop on Set Visualization and Reasoning co-located with 9th International Conference on the Theory and Application of Diagrams (Diagrams 2016), Philadelphia, USA, August 7, 2016. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SetVR@Diagrams ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
29 | Sven Linker, Jim Burton 0001, Andrew Blake 0002 |
Measuring User Comprehension of Inference Rules in Euler Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings, pp. 32-39, 2016, Springer, 978-3-319-42332-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Raphael Linker, Eliyahu Kelman |
Apple detection in nighttime tree images using the geometry of light patches around highlights. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Electron. Agric. ![In: Comput. Electron. Agric. 114, pp. 154-162, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Sven Linker, Martin Hilscher |
Proof Theory of a Multi-Lane Spatial Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 11(3), 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Oz Kira, Raphael Linker, Anatoly A. Gitelson |
Non-destructive estimation of foliar chlorophyll and carotenoid contents: Focus on informative spectral bands. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Appl. Earth Obs. Geoinformation ![In: Int. J. Appl. Earth Obs. Geoinformation 38, pp. 251-260, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Pete Riley, Michal Ben-Nun, Jon A. Linker, Angelia A. Cost, Jose L. Sanchez, Dylan B. George, David P. Bacon, Steven Riley |
Early Characterization of the Severity and Transmissibility of Pandemic Influenza Using Clinical Episode Data from Multiple Populations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 11(9), 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Sven Linker |
Proofs for traffic safety - combining diagrams and logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
29 | Jim Burton 0001, Sven Linker |
Generating readable diagrammatic proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL/HCC ![In: 2015 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2015, Atlanta, GA, USA, October 18-22, 2015, pp. 307-308, 2015, IEEE Computer Society, 978-1-4673-7457-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Gregor von Bochmann, Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog |
Synthesizing Controllers for Multi-lane Traffic Maneuvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings, pp. 71-86, 2015, Springer, 978-3-319-25941-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Ilya Ioslovich, Raphael Linker |
Optimal Irrigation Scheduling and Crop Production Functions Development using AquaCrop and TOMLAB. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICINCO (1) ![In: ICINCO 2015 - Proceedings of the 12th International Conference on Informatics in Control, Automation and Robotics, Volume 1, Colmar, Alsace, France, 21-23 July, 2015., pp. 49-52, 2015, SciTePress, 978-989-758-122-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Roberto Araya, Ragnar Behncke, Amitai Linker, Johan Van der Molen |
Mining Social Behavior in the Classroom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCI (2) ![In: Computational Collective Intelligence - 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part II, pp. 451-460, 2015, Springer, 978-3-319-24305-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Michael S. P. Miller, Sheldon O. Linker, Ghassan Azar |
The Equilibration of Neural Propositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BICA ![In: 5th Annual International Conference on Biologically Inspired Cognitive Architectures, BICA 2014, Cambridge, MA, USA, November 7-9, 2014, pp. 146-151, 2014, Elsevier. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Pete Riley, Michal Ben-Nun, Richard Armenta, Jon A. Linker, Angela A. Eick, Jose L. Sanchez, Dylan B. George, David P. Bacon, Steven Riley |
Multiple Estimates of Transmissibility for the 2009 Influenza Pandemic Based on Influenza-like-Illness Data from Small US Military Populations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 9(5), 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
29 | Sven Linker, Martin Hilscher |
Proof Theory of a Multi-Lane Spatial Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, pp. 231-248, 2013, Springer, 978-3-642-39717-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
29 | Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog |
Proving Safety of Traffic Manoeuvres on Country Roads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theories of Programming and Formal Methods ![In: Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday, pp. 196-212, 2013, Springer, 978-3-642-39697-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
29 | Sven Linker |
Translating Structural Process Properties to Petri Net Markings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 12th International Conference on Application of Concurrency to System Design, ACSD 2012, Hamburg, Germany, June 27-29, 2012, pp. 82-91, 2012, IEEE Computer Society, 978-0-7695-4709-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Johannes Faber, Sven Linker, Ernst-Rüdiger Olderog, Jan-David Quesel |
Syspect - Modelling, Specifying, and Verifying Real-Time Systems with Rich Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Informatics ![In: Int. J. Softw. Informatics 5(1-2), pp. 117-137, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
29 | Eung-Hun Kim, David T. Linker, Anil Coumar, Larry S. Dean, Frederick A. Matsen III, Yongmin Kim 0001 |
Factors Affecting Acceptance of a Web-Based Self-Referral System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Technol. Biomed. ![In: IEEE Trans. Inf. Technol. Biomed. 15(2), pp. 344-347, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
29 | Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog, Anders P. Ravn |
An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings, pp. 404-419, 2011, Springer, 978-3-642-24558-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
29 | Sven Linker |
Diagrammatic Specification of Mobile Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings, pp. 316-318, 2010, Springer, 978-3-642-14599-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 290 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ >>] |
|