|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 15986 occurrences of 6364 keywords
|
|
|
Results
Found 31083 publication records. Showing 31083 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
51 | Gilbert Cockton |
Revisiting usability's three key principles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2008 Conference on Human Factors in Computing Systems, CHI 2008, Florence, Italy, April 5-10, 2008, pp. 2473-2484, 2008, ACM, 978-1-60558-012-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
software development principles, evaluation, design, usability, user studies |
41 | Normand Séguin, Alain Abran, Robert Dupuis |
Software engineering principles: a survey and an analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
C3S2E ![In: Canadian Conference on Computer Science & Software Engineering, C3S2E 2010, Montreal, Quebec, Canada, May 19-20, 2010, Proceedings, pp. 59-65, 2010, ACM, 978-1-60558-901-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
fundamentals, software engineering principles, rules, concepts, laws |
37 | Christian Lebiere, Robert E. Wray |
Motivating the 2006 AAAI Spring Symposium: Cognitive Science Principles Meet AI-Hard Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Spring Symposium: Between a Rock and a Hard Place: Cognitive Science Principles Meet AI-Hard Problems ![In: Between a Rock and a Hard Place: Cognitive Science Principles Meet AI-Hard Problems, Papers from the 2006 AAAI Spring Symposium, Technical Report SS-06-02, Stanford, California, USA, March 27-29, 2006, 2006, AAAI. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
37 | Uta Schwertel |
05371 Executive Summary - Principles and Practice of Semantic Web Reasoning (PPSWR). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles and Practices of Semantic Web Reasoning ![In: Principles and Practices of Semantic Web Reasoning, 11.-16. September 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
37 | François Bry, François Fages, Massimo Marchiori, Hans Jürgen Ohlbach |
05371 Abstracts Collection - Principles and Practices of Semantic Web Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles and Practices of Semantic Web Reasoning ![In: Principles and Practices of Semantic Web Reasoning, 11.-16. September 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
37 | Masahiro Watanabe, Shunichi Yonemura, Yoko Asano |
Investigation of Web Usability Based on the Dialogue Principles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (10) ![In: Human Centered Design, First International Conference, HCD 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, pp. 825-832, 2009, Springer, 978-3-642-02805-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ISO 9241-110, dialogue principles, usability, Web, self-descriptiveness |
37 | Vincent Astier, Marcus Tressl |
Axiomatization of local-global principles for pp-formulas in spaces of orderings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 44(1), pp. 77-95, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Spaces of orderings, Special groups, Positive-primitive formulas, Local-global principles, Isotropy theorem, Model theory, Quadratic forms |
37 | Julie Heiser, Doantam Phan, Maneesh Agrawala, Barbara Tversky, Pat Hanrahan |
Identification and validation of cognitive design principles for automated generation of assembly instructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVI ![In: Proceedings of the working conference on Advanced visual interfaces, AVI 2004, Gallipoli, Italy, May 25-28, 2004, pp. 311-319, 2004, ACM Press, 1-58113-867-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
assembly instructions, visual instructions, diagrams, design principles, spatial ability |
37 | Thomas Grechenig, Wolfgang Zuser |
Creating Organic Software Maturity Attitudes (COSMA) Selected Principles and Activities for Software Maturity in Small and Medium Software Enterprises. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: 4th International Conference on Quality Software (QSIC 2004), 8-10 September 2004, Braunschweig, Germany, pp. 134-143, 2004, IEEE Computer Society, 0-7695-2207-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Small and medium software enterprises (SMSE), Software maturity (SM), Software quality assurance (SQA), development cultures, activities, attitudes, principles |
37 | Connie U. Smith |
Applying Synthesis Principles to Create Responsive Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(10), pp. 1394-1408, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
synthesis principles, responsive software systems, system performance parameters, user interfaces, user interfaces, systems analysis, systems analysis, system architecture, software requirements, information storage |
37 | Patrick van Bommel, Stijn Hoppenbrouwers, Henderik Alex Proper, Theo P. van der Weide |
Giving Meaning to Enterprise Architectures: Architecture Principles with ORM and ORC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops (2) ![In: On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET, OnToContent, ORM, PerSys, OTM Academy Doctoral Consortium, RDDS, SWWS, and SeBGIS 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part II, pp. 1138-1147, 2006, Springer, 3-540-48273-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Åsa Lindström |
On the Syntax and Semantics of Architectural Principles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 39th Hawaii International International Conference on Systems Science (HICSS-39 2006), CD-ROM / Abstracts Proceedings, 4-7 January 2006, Kauai, HI, USA, 2006, IEEE Computer Society, 0-7695-2507-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Marina C. Chen, James R. Cowie |
The hopping ruse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Heterogeneous Computing Workshop ![In: 6th Heterogeneous Computing Workshop, HCW 1997, Geneva, Switzerland, April 1, 1997, pp. 208-, 1997, IEEE Computer Society, 0-8186-7879-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
security violation detection, real-time service hopping, distributed client-server systems, spread-spectrum techniques, secure wireless communication, secure hopping, engineering principles, statistically noisy interconnection network, hopping client-server system, security of data, design principles, heterogeneous environments, frequency-hopping |
36 | Jean-Luc Gaudiot, Andrew Sohn |
Data-Driven Parallel Production Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(3), pp. 281-293, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
parallel production systems, data-flow principles, high programmability, data-driven principles, RETE match algorithm, actor set, program graph design, tagged data-flow computer, deterministic simulation, artificial intelligence production systems, parallel programming, parallel architectures, expert systems, symbolic computations, symbol manipulation, multiprocessor architecture, numerical computations, multiprocessor environment, data-driven architectures |
34 | Gilbert Cockton |
Getting there: six meta-principles and interaction design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Boston, MA, USA, April 4-9, 2009, pp. 2223-2232, 2009, ACM, 978-1-60558-246-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
axiology, meta-principles, worth-centred development frameworks, evaluation, design approaches |
34 | Philip R. Ross, David V. Keyson |
The case of sculpting atmospheres: towards design principles for expressive tangible interaction in control of ambient systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pers. Ubiquitous Comput. ![In: Pers. Ubiquitous Comput. 11(2), pp. 69-79, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Tangible expressive interaction, Design principles |
34 | Krystle Lemon, Edward B. Allen, Jeffrey C. Carver, Gary L. Bradshaw |
An Empirical Study of the Effects of Gestalt Principles on Diagram Understandability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEM ![In: Proceedings of the First International Symposium on Empirical Software Engineering and Measurement, ESEM 2007, September 20-21, 2007, Madrid, Spain, pp. 156-165, 2007, ACM / IEEE Computer Society, 0-7695-2886-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Gestalt principles, diagram comprehension, software architecture, empirical software engineering, cognitive science |
34 | Thomas Sugar, Michael McBeath, Anthony Suluh, Keshav Mundhra |
Mobile robot interception using human navigational principles: Comparison of active versus passive tracking algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Robots ![In: Auton. Robots 21(1), pp. 43-54, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Perceptual principles, Visual servoing, Mobile robot navigation |
34 | Sungwoo Tak |
Some Principles Incorporating Topology Dependencies for Designing Survivable WDM Optical Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICN (2) ![In: Networking - ICN 2005, 4th International Conference on Networking, ReunionIsland, France, April 17-21, 2005, Proceedings, Part II, pp. 1088-1096, 2005, Springer, 3-540-25338-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
topology dependencies, optical networks, restoration, WDM, principles |
34 | Hossein Saiedian, James J. Urban |
A case study to demonstrate the impact of quality design principles when restructuring existing software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 6(4), pp. 337-348, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
re-structuring, quality software, design principles, re-engineering |
34 | Alan M. Davis |
Fifteen Principles of Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 11(6), pp. 94-96, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
software engineering principles, early product delivery, intellectual distance, software techniques, hype, software engineering, software tools, management, requirements, quality, process model, languages, responsibility, people, code inspection, design alternatives, execution speed |
32 | Konstantinos Chorianopoulos |
Interactive TV Design That Blends Seamlessly with Everyday Life. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Universal Access in Ambient Intelligence Environments ![In: Universal Access in Ambient Intelligence Environments, 9th ERCIM Workshop on User Interfaces for All, Königswinter, Germany, September 27-28, 2006. Revised Papers, pp. 43-57, 2006, Springer, 978-3-540-71024-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
paradigm of use, Ambient ITV, media studies, metaphors, interactive TV, Design principles |
32 | Richard L. Baskerville, Balasubramaniam Ramesh, Linda Levine, Jan Pries-Heje, Sandra Slaughter |
Is Internet-Speed Software Development Different? ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 20(6), pp. 70-77, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
development principles, Internet-speed software development practices, agile software development |
32 | William G. Griswold |
Comments on "Language Design for Program Manipulation''. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(3), pp. 218-219, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
new programming languages, semantics, programming, object-oriented languages, object-oriented language, programming theory, language design, syntax, design principles, program manipulation, procedural language |
30 | Taj Campbell, Brian Ngo, James Fogarty |
Game design principles in everyday fitness applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCW ![In: Proceedings of the 2008 ACM Conference on Computer Supported Cooperative Work, CSCW 2008, San Diego, CA, USA, November 8-12, 2008, pp. 249-252, 2008, ACM, 978-1-60558-007-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
everyday fitness games, kukini, design principles |
30 | Roberto Santana Tapia, Maya Daneva, Pascal van Eck, Nicte-Há Castro Cárdenas, Leida van Oene |
Business-IT Alignment Domains and Principles for Networked Organizations: A Qualitative Multiple Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops ![In: On the Move to Meaningful Internet Systems: OTM 2008 Workshops, OTM Confederated International Workshops and Posters, ADI, AWeSoMe, COMBEK, EI2N, IWSSA, MONET, OnToContent + QSI, ORM, PerSys, RDDS, SEMELS, and SWWS 2008, Monterrey, Mexico, November 9-14, 2008. Proceedings, pp. 241-252, 2008, Springer, 978-3-540-88874-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Alignment principles, inter-organizational cooperation, business networks |
30 | Krisela Rivera, Elissa Darnell |
The Use of Cognitive and Social Psychological Principles in Field Research: How It Furthers Our Understanding of User Behaviors, Needs and Motivations, and Informs the Product Design Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (10) ![In: Usability and Internationalization. HCI and Culture, Second International Conference on Usability and Internationalization, UI-HCII 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I, pp. 181-185, 2007, Springer, 978-3-540-73286-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
psychological principles, field research, ethnography, design process, product development, user experience research, global market |
30 | Hiroko Akatsu, Hiroyuki Miki, Naotsune Hosono |
Design Principles Based on Cognitive Aging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (1) ![In: Human-Computer Interaction. Interaction Design and Usability, 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I, pp. 3-10, 2007, Springer, 978-3-540-73104-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
cognitive aging, ATM, design principles, elderly users |
30 | Karl Flieder, Felix Mödritscher |
Foundations of a pattern language based on Gestalt principles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2006 Conference on Human Factors in Computing Systems, CHI 2006, Montréal, Québec, Canada, April 22-27, 2006, pp. 773-778, 2006, ACM, 978-1-59593-298-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Gestalt principles, linguistic categories, HCI, patterns |
30 | Kalyanmoy Deb, Aravind Srinivasan |
Innovization: innovating design principles through optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2006, Proceedings, Seattle, Washington, USA, July 8-12, 2006, pp. 1629-1636, 2006, ACM, 1-59593-186-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
knowledge discovery, multi-objective optimization, design principles, innovative design |
30 | Andreas Schaad, Jonathan D. Moffett |
Separation, review and supervision controls in the context of a credit application process: a case study of organisational control principles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pp. 1380-1384, 2004, ACM, 1-58113-812-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
control principles, delegation of obligation, security, management, roles, review, supervision |
30 | Colleen Roe, Sergio Gonik |
Server-Side Design Principles for Scalable Internet Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 19(2), pp. 34-41, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
optimization, scalability, load balancing, architecture, concurrency, distribution, partitioning, encapsulation, design principles, asynchrony, parsimony |
29 | Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen 0001, Rupak Majumdar (eds.) |
Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Systems Design ![Springer, 978-3-031-22336-5 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Kim G. Larsen, Christian Schilling 0001, Jirí Srba |
Simulation Relations and Applications in Formal Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Systems Design ![In: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, pp. 272-291, 2022, Springer, 978-3-031-22336-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Bettina Könighofer, Roderick Bloem, Rüdiger Ehlers, Christian Pek |
Correct-by-Construction Runtime Enforcement in AI - A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Systems Design ![In: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, pp. 650-663, 2022, Springer, 978-3-031-22336-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Hermann Kopetz |
An Architecture for Safe Driving Automation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Systems Design ![In: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, pp. 61-84, 2022, Springer, 978-3-031-22336-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Christel Baier, Clemens Dubslaff, Holger Hermanns, Nikolai Käfer |
On the Foundations of Cycles in Bayesian Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Systems Design ![In: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, pp. 343-363, 2022, Springer, 978-3-031-22336-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell 0001 |
What's Decidable About Discrete Linear Dynamical Systems? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Systems Design ![In: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, pp. 21-38, 2022, Springer, 978-3-031-22336-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Bengt Jonsson 0001, K. Narayan Kumar, Prakash Saivasan |
Consistency and Persistency in Program Verification: Challenges and Opportunities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Systems Design ![In: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, pp. 494-510, 2022, Springer, 978-3-031-22336-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Ranjit Jhala |
Embedded Domain Specific Verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Systems Design ![In: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, pp. 535-553, 2022, Springer, 978-3-031-22336-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Javier Esparza, Rubén Rubio, Salomon Sickert |
A Simple Rewrite System for the Normalization of Linear Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Systems Design ![In: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, pp. 208-227, 2022, Springer, 978-3-031-22336-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Hadar Frenkel, Orna Grumberg, Bat-Chen Rothenberg, Sarai Sheinvald |
Automated Program Repair Using Formal Verification Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Systems Design ![In: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, pp. 511-534, 2022, Springer, 978-3-031-22336-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Moshe Y. Vardi, Seth Fogarty, Yong Li 0031, Yih-Kuen Tsay |
Towards a Grand Unification of Büchi Complementation Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Systems Design ![In: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, pp. 185-207, 2022, Springer, 978-3-031-22336-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Márton Hajdú, Petra Hozzová, Laura Kovács, Giles Reger, Andrei Voronkov |
Getting Saturated with Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Systems Design ![In: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, pp. 306-322, 2022, Springer, 978-3-031-22336-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Vivian Lin, Radoslav Ivanov, James Weimer, Oleg Sokolsky, Insup Lee 0001 |
T4V: Exploring Neural Network Architectures that Improve the Scalability of Neural Network Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Systems Design ![In: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, pp. 585-603, 2022, Springer, 978-3-031-22336-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Patrick Cousot |
Asynchronous Correspondences Between Hybrid Trajectory Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Systems Design ![In: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, pp. 131-159, 2022, Springer, 978-3-031-22336-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Marta Kwiatkowska, Gethin Norman, David Parker 0001, Gabriel Santos |
Symbolic Verification and Strategy Synthesis for Turn-Based Stochastic Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Systems Design ![In: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, pp. 388-406, 2022, Springer, 978-3-031-22336-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Albert Benveniste, Benoît Caillaud, Mathias Malandain |
From Hybrid Automata to DAE-Based Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Systems Design ![In: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, pp. 3-20, 2022, Springer, 978-3-031-22336-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Marcin Jurdzinski, Rémi Morvan, K. S. Thejaswini |
Universal Algorithms for Parity Games and Nested Fixpoints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Systems Design ![In: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, pp. 252-271, 2022, Springer, 978-3-031-22336-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
From Interface Automata to Hypercontracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Systems Design ![In: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, pp. 477-493, 2022, Springer, 978-3-031-22336-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Goran Frehse, Mirco Giacobbe, Enea Zaffanella |
Symbolic Analysis of Linear Hybrid Automata - 25 Years Later. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Systems Design ![In: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, pp. 39-60, 2022, Springer, 978-3-031-22336-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Rajeev Alur, Suguman Bansal, Osbert Bastani, Kishor Jothimurugan |
A Framework for Transforming Specifications in Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Systems Design ![In: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, pp. 604-624, 2022, Springer, 978-3-031-22336-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen |
Parameter Synthesis in Markov Models: A Gentle Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Systems Design ![In: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, pp. 407-437, 2022, Springer, 978-3-031-22336-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Monika Henzinger |
Fine-Grained Complexity Lower Bounds for Problems in Computer Aided Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Systems Design ![In: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, pp. 292-305, 2022, Springer, 978-3-031-22336-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Miroslav Chodil, Antonín Kucera 0001, Jan Kretínský |
Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Systems Design ![In: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, pp. 364-387, 2022, Springer, 978-3-031-22336-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Marius Bozga, Joseph Sifakis |
Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Systems Design ![In: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, pp. 85-106, 2022, Springer, 978-3-031-22336-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen, Mathias Ruggaard Pedersen |
On Probabilistic Monitorability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Systems Design ![In: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, pp. 325-342, 2022, Springer, 978-3-031-22336-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Michael Backenköhler, Luca Bortolussi, Verena Wolf |
Variance Reduction in Stochastic Reaction Networks Using Control Variates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Systems Design ![In: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, pp. 456-474, 2022, Springer, 978-3-031-22336-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Edward A. Lee, Marten Lohstroh |
Generalizing Logical Execution Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Systems Design ![In: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, pp. 160-181, 2022, Springer, 978-3-031-22336-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Dirk Beyer 0001, Andreas Podelski |
Software Model Checking: 20 Years and Beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Systems Design ![In: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, pp. 554-582, 2022, Springer, 978-3-031-22336-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Giorgio Bacci, Giovanni Bacci 0001, Mathias Claus Jensen, Kim G. Larsen |
Convex Lattice Equation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Systems Design ![In: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, pp. 438-455, 2022, Springer, 978-3-031-22336-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Daniel Hausmann 0001, Nir Piterman |
A Survey on Satisfiability Checking for the μ-Calculus Through Tree Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Systems Design ![In: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, pp. 228-251, 2022, Springer, 978-3-031-22336-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Matthias Függer, Christoph Lenzen 0001, Ulrich Schmid 0001 |
On Specifications and Proofs of Timed Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Systems Design ![In: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, pp. 107-130, 2022, Springer, 978-3-031-22336-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Sophie A. Neubauer, Radu Grosu |
Robustness Analysis of Continuous-Depth Models with Lagrangian Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Systems Design ![In: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, pp. 625-649, 2022, Springer, 978-3-031-22336-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Marten Lohstroh, Patricia Derler, Marjan Sirjani (eds.) |
Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Modeling ![Springer, 978-3-319-95245-1 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Masahiro Iida |
What Is an FPGA? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles and Structures of FPGAs ![In: Principles and Structures of FPGAs., pp. 23-45, 2018, Springer, 978-981-13-0823-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Masahiro Iida |
Design Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles and Structures of FPGAs ![In: Principles and Structures of FPGAs., pp. 117-135, 2018, Springer, 978-981-13-0823-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Tomonori Izumi, Yukio Mitsuyama |
Design Flow and Design Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles and Structures of FPGAs ![In: Principles and Structures of FPGAs., pp. 87-115, 2018, Springer, 978-981-13-0823-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Kentaro Sano, Hiroki Nakahara |
Hardware Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles and Structures of FPGAs ![In: Principles and Structures of FPGAs., pp. 137-177, 2018, Springer, 978-981-13-0823-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Tsutomu Maruyama, Yoshiki Yamaguchi, Yasunori Osana |
Programmable Logic Devices (PLDs) in Practical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles and Structures of FPGAs ![In: Principles and Structures of FPGAs., pp. 179-205, 2018, Springer, 978-981-13-0823-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Toshinori Sueyoshi |
Basic Knowledge to Understand FPGAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles and Structures of FPGAs ![In: Principles and Structures of FPGAs., pp. 1-22, 2018, Springer, 978-981-13-0823-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Motoki Amagasaki, Yuichiro Shibata |
FPGA Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles and Structures of FPGAs ![In: Principles and Structures of FPGAs., pp. 47-86, 2018, Springer, 978-981-13-0823-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Masato Motomura, Masanori Hariyama, Minoru Watanabe |
Advanced Devices and Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles and Structures of FPGAs ![In: Principles and Structures of FPGAs., pp. 207-231, 2018, Springer, 978-981-13-0823-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Sanjit A. Seshia |
Cyber-Physical Systems Education: Explorations and Dreams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Modeling ![In: Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, pp. 407-422, 2018, Springer, 978-3-319-95245-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Adam Duracz, Eugenio Moggi, Walid Taha, Zhenchao Lin |
A Semantic Account of Rigorous Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Modeling ![In: Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, pp. 223-239, 2018, Springer, 978-3-319-95245-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Stavros Tripakis, Roberto Lublinerman |
Modular Code Generation from Synchronous Block Diagrams: Interfaces, Abstraction, Compositionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Modeling ![In: Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, pp. 449-477, 2018, Springer, 978-3-319-95245-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Nis Wechselberg, Alexander Schulz-Rosengarten, Steven Smyth, Reinhard von Hanxleden |
Augmenting State Models with Data Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Modeling ![In: Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, pp. 504-523, 2018, Springer, 978-3-319-95245-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Werner Damm, Eike Möhlmann, Thomas Peikenkamp, Astrid Rakow |
A Formal Semantics for Traffic Sequence Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Modeling ![In: Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, pp. 182-205, 2018, Springer, 978-3-319-95245-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Stephen A. Edwards |
On Determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Modeling ![In: Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, pp. 240-253, 2018, Springer, 978-3-319-95245-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Shuvra S. Bhattacharyya, Johan Lilius |
Model-Based Representations for Dataflow Schedules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Modeling ![In: Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, pp. 88-105, 2018, Springer, 978-3-319-95245-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Martin Törngren, Ulf Sellgren |
Complexity Challenges in Development of Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Modeling ![In: Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, pp. 478-503, 2018, Springer, 978-3-319-95245-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Jie Liu 0001 |
Autonomous Retailing: A Frontier for Cyber-Physical-Human Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Modeling ![In: Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, pp. 336-350, 2018, Springer, 978-3-319-95245-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Reinhard Wilhelm |
On the Road to Conviction: An Email Exchange with Edward Lee. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Modeling ![In: Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, pp. 524-537, 2018, Springer, 978-3-319-95245-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Janette Cardoso, Pierre Siron |
Ptolemy-HLA: A Cyber-Physical System Distributed Simulation Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Modeling ![In: Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, pp. 122-142, 2018, Springer, 978-3-319-95245-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Pascal Fradet, Alain Girault, Leila Jamshidian, Xavier Nicollin, Arash Shafiei 0001 |
Lossy Channels in a Dataflow Model of Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Modeling ![In: Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, pp. 254-266, 2018, Springer, 978-3-319-95245-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Alireza S. Abyaneh, Christoph M. Kirsch |
You Can Program What You Want but You Cannot Compute What You Want. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Modeling ![In: Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, pp. 1-15, 2018, Springer, 978-3-319-95245-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Pierluigi Nuzzo 0002, Alberto L. Sangiovanni-Vincentelli |
Hierarchical System Design with Vertical Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Modeling ![In: Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, pp. 360-382, 2018, Springer, 978-3-319-95245-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop |
Computing Average Response Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Modeling ![In: Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, pp. 143-161, 2018, Springer, 978-3-319-95245-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Soonhoi Ha, Eunjin Jeong |
Embedded Software Design Methodology Based on Formal Models of Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Modeling ![In: Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, pp. 306-325, 2018, Springer, 978-3-319-95245-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Rajeev Alur, Konstantinos Mamouras, Caleb Stanford, Val Tannen |
Interfaces for Stream Processing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Modeling ![In: Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, pp. 38-60, 2018, Springer, 978-3-319-95245-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Bernhard Rumpe, Andreas Wortmann 0001 |
Abstraction and Refinement in Hierarchically Decomposable and Underspecified CPS-Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Modeling ![In: Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, pp. 383-406, 2018, Springer, 978-3-319-95245-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Marjan Sirjani |
Power is Overrated, Go for Friendliness! Expressiveness, Faithfulness, and Usability in Modeling: The Actor Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Modeling ![In: Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, pp. 423-448, 2018, Springer, 978-3-319-95245-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Murat Arcak, John N. Maidens |
Simulation-Based Reachability Analysis for Nonlinear Systems Using Componentwise Contraction Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Modeling ![In: Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, pp. 61-76, 2018, Springer, 978-3-319-95245-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Caroline Brandberg, Marco Di Natale |
Enabling Flow Preservation and Portability in Multicore Implementations of Simulink Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Modeling ![In: Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, pp. 206-222, 2018, Springer, 978-3-319-95245-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | David G. Messerschmitt |
The Relativity Example: Is Terminological Innovation a Good Idea? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Modeling ![In: Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, pp. 351-359, 2018, Springer, 978-3-319-95245-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Bruno Sinopoli, John A. W. B. Costanzo |
Modeling Dynamical Phenomena in the Era of Big Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Modeling ![In: Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, pp. 162-181, 2018, Springer, 978-3-319-95245-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Marc Geilen |
If We Could Go Back in Time... On the Use of 'Unnatural' Time and Ordering in Dataflow Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Modeling ![In: Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, pp. 267-286, 2018, Springer, 978-3-319-95245-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Gul Agha, Karl Palmskog |
Transforming Threads into Actors: Learning Concurrency Structure from Execution Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Modeling ![In: Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, pp. 16-37, 2018, Springer, 978-3-319-95245-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Hermann Kopetz |
Anytime Algorithms in Time-Triggered Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Modeling ![In: Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, pp. 326-335, 2018, Springer, 978-3-319-95245-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Radu Grosu, Elahe Ghalebi K., Ali Movaghar 0001, Hamidreza Mahyar |
Compressed Sensing in Cyber Physical Social Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Modeling ![In: Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, pp. 287-305, 2018, Springer, 978-3-319-95245-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 31083 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|