|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13487 occurrences of 5419 keywords
|
|
|
Results
Found 29674 publication records. Showing 29674 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
30 | Cheng-Lin Liu, Hongwei Hao, Hiroshi Sako |
Confidence Transformation for Combining Classifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Anal. Appl. ![In: Pattern Anal. Appl. 7(1), pp. 2-17, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Confidence transformation, Pattern classification, Logistic regression, Classifier combination, Gaussian modeling, Evidence combination |
30 | Juan de Lara, Gabriele Taentzer |
Automated Model Transformation and Its Validation Using AToM 3 and AGG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings, pp. 182-198, 2004, Springer, 3-540-21268-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Multi-Formalism Modelling, Meta-Modelling, Graph Transformation |
30 | Ki-Wook Kim, Taewhan Kim, TingTing Hwang, Sung-Mo Kang, C. L. Liu 0001 |
Logic transformation for low-power synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 7(2), pp. 265-283, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
logic transformation, power estimation model, low power, Logic synthesis |
30 | Ireneusz Sierocki |
A Feedback Transformation of the Planning Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 9(3), pp. 193-209, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Planning problem, Reachability structure, Transformation, Feedback, Representation, Decomposition, Problem complexity |
30 | Jinghuan Lu, Kikuo Fujimura |
Shape transformation in space-time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 12(9), pp. 455-473, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Animation, Deformation, Shape transformation |
30 | Sabine Kuske, Martin Gogolla, Hans-Jörg Kreowski, Paul Ziemann |
Towards an integrated graph-based semantics for UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 8(3), pp. 403-422, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Keyword UML diagram, Formal semantics, Graph transformation |
29 | David Coeurjolly, Annick Montanvert |
Optimal Separable Algorithms to Compute the Reverse Euclidean Distance Transformation and Discrete Medial Axis in Arbitrary Dimension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 29(3), pp. 437-448, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
reverse Euclidean distance transformation, medial axis extraction, d-dimensional shapes, Shape representation, distance transformation |
29 | Hajime Sawamura, Wataru Kawakami |
Knowledge and Argument Transformation for Arguing Mobile Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI 2004: Trends in Artificial Intelligence, 8th Pacific Rim International Conference on Artificial Intelligence, Auckland, New Zealand, August 9-13, 2004, Proceedings, pp. 950-952, 2004, Springer, 3-540-22817-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
argument transformation, mobility, argumentation, knowledge transformation |
29 | Michael E. Wolf, Monica S. Lam |
A Loop Transformation Theory and an Algorithm to Maximize Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 2(4), pp. 452-471, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
loop transformation theory, general loops, dependence vectors, lexicographically positive, compound transformations, coarsest fully permutable loop nests, fully permutable nests, parallel algorithm, parallel algorithms, parallel programming, heuristics, program compilers, precedence constraints, legality, code transformation, fine-grain parallelism, canonical form, wavefront, coarse grain parallelism, loop iterations, maximum degree |
29 | Juhnyoung Lee, Rama Akkiraju, Chunhua Tian, Shun Jiang, Sivaprashanth Danturthy, Ponn Sundhararajan |
Business Transformation Workbench: A Practitioner's Tool for Business Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BPM ![In: Business Process Management, 6th International Conference, BPM 2008, Milan, Italy, September 2-4, 2008. Proceedings, pp. 378-381, 2008, Springer, 978-3-540-85757-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Andreas Ingmar Schmied, Franz J. Hauck |
Practical Conflict Resolution for the Composition of Program Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC@ETAPS ![In: Software Composition - 7th International Symposium, SC@ETAPS 2008, Budapest, Hungary, March 29-30, 2008. Proceedings, pp. 248-262, 2008, Springer, 978-3-540-78788-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Conflict Resolution, Software Composition, Software Transformation, Transformation Language |
28 | Vittorio Cortellessa, Sara Di Gregorio, Antinisca Di Marco |
Using ATL for transformations in software performance engineering: a step ahead of java-based transformations? ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSP ![In: Proceedings of the 7th International Workshop on Software and Performance, WOSP 2008, Princeton, NJ, USA, June 23-26, 2008, pp. 127-132, 2008, ACM, 978-1-59593-873-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
atlas transformation language (ATL), unified modeling language (UML), model transformation, software performance modeling |
28 | Claudia Ermel, Karsten Ehrig |
Visualization, Simulation and Analysis of Reconfigurable Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGTIVE ![In: Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, pp. 265-280, 2007, Springer, 978-3-540-89019-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
simulation, visualization, analysis, model transformation, Graph transformation, reconfigurable system |
28 | Dániel Varró, Szilvia Varró-Gyapay, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer |
Termination Analysis of Model Transformations by Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings, pp. 260-274, 2006, Springer, 3-540-38870-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Petri nets, model transformation, termination, graph transformation |
28 | Dániel Varró |
Automated formal verification of visual modeling languages by model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 3(2), pp. 85-113, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Model checking, Formal verification, Model transformation, Metamodeling, Graph transformation |
28 | Christian H. Bischof, Paul D. Hovland, Boyana Norris |
Implementation of automatic differentiation tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), Portland, Oregon, USA, January 14-15, 2002, pp. 98-107, 2002, ACM, 1-58113-455-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Semantic Transformation, Automatic Differentiation, Component Software, intermediate representation, source transformation |
28 | Wenlu Yang, Liqing Zhang 0001, Libo Ma |
Perception of Transformation-Invariance in the Visual Pathway. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA ![In: Independent Component Analysis and Signal Separation, 7th International Conference, ICA 2007, London, UK, September 9-12, 2007., pp. 657-664, 2007, Springer, 978-3-540-74493-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Sajjad Baloch, Ragini Verma, Christos Davatzikos |
An Anatomical Equivalence Class Based Joint Transformation-Residual Descriptor for Morphological Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPMI ![In: Information Processing in Medical Imaging, 20th International Conference, IPMI 2007, Kerkrade, The Netherlands, July 2-6, 2007, Proceedings, pp. 594-606, 2007, Springer, 978-3-540-73272-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Ji-Zhi Wang, Yinglong Wang 0001, Mei-Qin Wang |
Periodicity and Application for a kind of n-dimensional Arnold-type Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISI ![In: IEEE International Conference on Intelligence and Security Informatics, ISI 2007, New Brunswick, New Jersey, USA, May 23-24, 2007, Proceedings, pp. 375, 2007, IEEE, 1-4244-1329-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | David Hearnden, Michael Lawley, Kerry Raymond |
Incremental Model Transformation for the Evolution of Model-Driven Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings, pp. 321-335, 2006, Springer, 3-540-45772-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Claudia Ermel, Gabriele Taentzer, Roswitha Bardohl |
Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods in Software and Systems Modeling ![In: Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday, pp. 64-83, 2005, Springer, 3-540-24936-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Gergely Varró, Andy Schürr, Dániel Varró |
Benchmarking for Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL/HCC ![In: 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 21-24 September 2005, Dallas, TX, USA, pp. 79-88, 2005, IEEE Computer Society, 0-7695-2443-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Carolyn R. Watters, Bonnie MacKay |
Transformation Volatility and the Gateway Model for Web Page Migration to Small Screen Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 37th Hawaii International Conference on System Sciences (HICSS-37 2004), CD-ROM / Abstracts Proceedings, 5-8 January 2004, Big Island, HI, USA, 2004, IEEE Computer Society, 0-7695-2056-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Gordon Ping Gu, Dorina C. Petriu |
XSLT transformation from UML models to LQN performance models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Software and Performance ![In: Third International Workshop on Software and Performance, WOSP@ISSTA 2002, July 24-26, 2002, Rome, Italy., pp. 227-234, 2002, ACM, 1-58113-563-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
UML, XSLT, software performance engineering, XMI, LQN |
28 | Frank Drewes, Peter Knirsch 0001, Hans-Jörg Kreowski, Sabine Kuske |
Graph Transformation Modules and Their Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGTIVE ![In: Applications of Graph Transformations with Industrial Relevance, International Workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999, Proceedings, pp. 15-30, 1999, Springer, 3-540-67658-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
28 | David Sands 0001 |
Total Correctness by Local Improvement in Program Transformation. (long version: ACM Trans. Program. Lang. Syst. 18(2): 175-234(1996)) ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, USA, January 23-25, 1995, pp. 221-232, 1995, ACM Press, 0-89791-692-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
28 | Ashish Gupta 0001, Inderpal Singh Mumick |
Magic-sets Transformation in Nonrecursive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 2-4, 1992, San Diego, California, USA, pp. 354-367, 1992, ACM Press, 0-89791-519-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
SQL, Datalog |
28 | Ivan Damgård, Oded Goldreich 0001, Tatsuaki Okamoto, Avi Wigderson |
Honest Verifier vs Dishonest Verifier in Public Coin Zero-Knowledge Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO '95, 15th Annual International Cryptology Conference, Santa Barbara, California, USA, August 27-31, 1995, Proceedings, pp. 325-338, 1995, Springer, 3-540-60221-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
27 | Pedro López-García 0001, John P. Gallagher, Roberto Giacobazzi (eds.) |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems ![Springer, 978-3-031-31475-9 The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Jan C. Dageförde, Herbert Kuchen |
Applications of Muli: Solving Practical Problems with Constraint-Logic Object-Oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems ![In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, pp. 97-112, 2023, Springer, 978-3-031-31475-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Ricardo Peña, Jaime Sánchez-Hernández, Miguel Garrido, Javier Sagredo |
SMT-Based Test-Case Generation and Validation for Programs with Complex Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems ![In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, pp. 188-205, 2023, Springer, 978-3-031-31475-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | María Alpuente, Alicia Villanueva |
Automated Synthesis of Software Contracts with KindSpec. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems ![In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, pp. 51-71, 2023, Springer, 978-3-031-31475-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Enric Trillas |
A Discourse on Guessing and Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems ![In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, pp. 253-265, 2023, Springer, 978-3-031-31475-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | María-del-Mar Gallardo, Pedro Merino 0001, Laura Panizo |
The Role of Abstraction in Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems ![In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, pp. 151-169, 2023, Springer, 978-3-031-31475-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | María Alpuente, Demis Ballis, Santiago Escobar 0001, José Meseguer 0001, Julia Sapiña |
Optimizing Maude Programs via Program Specialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems ![In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, pp. 21-50, 2023, Springer, 978-3-031-31475-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Germán Vidal |
Reversible Debugging in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems ![In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, pp. 266-280, 2023, Springer, 978-3-031-31475-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Alexandre Miguel Pinto, Luís Moniz Pereira |
Modularization of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems ![In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, pp. 222-232, 2023, Springer, 978-3-031-31475-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Elmer Salazar, Gopal Gupta 0001 |
Proof-Theoretic Foundations of Normal Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems ![In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, pp. 233-252, 2023, Springer, 978-3-031-31475-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Martin Wirsing, Lenz Belzner |
Towards Systematically Engineering Autonomous Systems Using Reinforcement Learning and Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems ![In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, pp. 281-306, 2023, Springer, 978-3-031-31475-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Jorge Fandinno, Seemran Mishra, Javier Romero 0003, Torsten Schaub |
Answer Set Programming Made Easy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems ![In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, pp. 133-150, 2023, Springer, 978-3-031-31475-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Verónica Dahl, Gemma Bel-Enguix, Velina Tirado, J. Emilio Miralles |
Grammar Induction for Under-Resourced Languages: The Case of Ch'ol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems ![In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, pp. 113-132, 2023, Springer, 978-3-031-31475-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Luis Aguirre 0001, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita |
Strategies in Conditional Narrowing Modulo SMT Plus Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems ![In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, pp. 1-20, 2023, Springer, 978-3-031-31475-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Ruben Lapauw, Maurice Bruynooghe, Marc Denecker |
Justifications and a Reconstruction of Parity Game Solving Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems ![In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, pp. 170-187, 2023, Springer, 978-3-031-31475-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Alexandre Miguel Pinto, Luís Moniz Pereira |
Layerings of Logic Programs - Layer Decomposable Semantics and Incremental Model Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems ![In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, pp. 206-221, 2023, Springer, 978-3-031-31475-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Fan Yang, Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001, Sonia Santiago |
Strand Spaces with Choice via a Process Algebra Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems ![In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, pp. 307-350, 2023, Springer, 978-3-031-31475-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Patrick Cousot |
Abstract Interpretation of Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems ![In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, pp. 72-96, 2023, Springer, 978-3-031-31475-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Panagiotis G. Kalozoumis, Michele Marino, Emanuele L. Carniel, Dimitris K. Iakovidis |
Towards the Development of a Digital Twin for Endoscopic Medical Device Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Twins for Digital Transformation ![In: Digital Twins for Digital Transformation: Innovation in Industry, pp. 113-145, 2022, Springer, 978-3-030-96801-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Xuemin Sun, Shimin Liu, Xinghai Gu, Jinsong Bao, Jie Li, Fuqin Hu |
Multi-scale Online Monitoring Method of Aerospace Products Assembly Workshop Based on Digital Twin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Twins for Digital Transformation ![In: Digital Twins for Digital Transformation: Innovation in Industry, pp. 23-40, 2022, Springer, 978-3-030-96801-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Dimitrios E. Diamantis, Panagiotis G. Kalozoumis, Dimitris K. Iakovidis |
Digital Twin for Simulation and Evaluation of Assistive Navigation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Twins for Digital Transformation ![In: Digital Twins for Digital Transformation: Innovation in Industry, pp. 147-170, 2022, Springer, 978-3-030-96801-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Yaseen A. M. M. Elshaier, Aboul Ella Hassanien, Ashraf Darwsih, Hameed Al-Qaheri |
A Proposed Framework for Digital Twins Driven Precision Medicine Platform: Values and Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Twins for Digital Transformation ![In: Digital Twins for Digital Transformation: Innovation in Industry, pp. 67-86, 2022, Springer, 978-3-030-96801-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Eman H. Alkhammash, Wahiba Ben Abdessalem Karaa, Nesrine Bhouri, Saber Ben Abdessalem, Aboul Ella Hassanien |
Digital Twin Solutions for Textile Industry: Architecture, Services, and Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Twins for Digital Transformation ![In: Digital Twins for Digital Transformation: Innovation in Industry, pp. 171-186, 2022, Springer, 978-3-030-96801-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Esam Goda Mahmoud, Ashraf Darwish, Aboul Ella Hassanien |
The Future of Digital Twins for Autonomous Systems: Analysis and Opportunities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Twins for Digital Transformation ![In: Digital Twins for Digital Transformation: Innovation in Industry, pp. 187-200, 2022, Springer, 978-3-030-96801-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Bin He 0006, Tengyu Li, Jing-Long Xiao |
Digital Twin-Driven Design for Product Control System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Twins for Digital Transformation ![In: Digital Twins for Digital Transformation: Innovation in Industry, pp. 41-65, 2022, Springer, 978-3-030-96801-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Fathi M. Sharadah, Shawki A. Al-Dubaee, George Weir |
MTConnect and Digital Twin Applications and Future Perspectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Twins for Digital Transformation ![In: Digital Twins for Digital Transformation: Innovation in Industry, pp. 87-98, 2022, Springer, 978-3-030-96801-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Mohamed Torky, Ashraf Darwish, Aboul Ella Hassanien |
Integrated Digital Twins and Blockchain Framework for Privacy and Security of Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Twins for Digital Transformation ![In: Digital Twins for Digital Transformation: Innovation in Industry, pp. 99-112, 2022, Springer, 978-3-030-96801-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Peter Filzmoser, Alexandra Mazak-Huemer |
Massive Data Sets - Is Data Quality Still an Issue? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Transformation ![In: Digital Transformation - Core Technologies and Emerging Topics from a Computer Science Perspective, pp. 269-279, 2022, Springer, 978-3-662-65003-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Enes Yigitbas, Stefan Sauer 0001, Gregor Engels |
Self-Adaptive Digital Assistance Systems for Work 4.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Transformation ![In: Digital Transformation - Core Technologies and Emerging Topics from a Computer Science Perspective, pp. 475-496, 2022, Springer, 978-3-662-65003-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Tobias Schreck, Belgin Mutlu, Marc Streit |
Visual Data Science for Industrial Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Transformation ![In: Digital Transformation - Core Technologies and Emerging Topics from a Computer Science Perspective, pp. 447-471, 2022, Springer, 978-3-662-65003-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Cosmin Avasalcai, Schahram Dustdar |
Edge Computing: Use Cases and Research Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Transformation ![In: Digital Transformation - Core Technologies and Emerging Topics from a Computer Science Perspective, pp. 125-142, 2022, Springer, 978-3-662-65003-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Stefanie Rinderle-Ma, Florian Stertz, Juergen Mangler, Florian Pauker |
Process Mining - Discovery, Conformance, and Enhancement of Manufacturing Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Transformation ![In: Digital Transformation - Core Technologies and Emerging Topics from a Computer Science Perspective, pp. 363-383, 2022, Springer, 978-3-662-65003-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Christoph G. Schuetz, Michael Schrefl |
Conceptualizing Analytics: An Overview of Business Intelligence and Analytics from a Conceptual-Modeling Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Transformation ![In: Digital Transformation - Core Technologies and Emerging Topics from a Computer Science Perspective, pp. 311-336, 2022, Springer, 978-3-662-65003-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Abel Gómez 0001, Christophe Joubert, Jordi Cabot |
Blockchain Technologies in the Design and Operation of Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Transformation ![In: Digital Transformation - Core Technologies and Emerging Topics from a Computer Science Perspective, pp. 223-243, 2022, Springer, 978-3-662-65003-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Siegfried Hollerer, Bernhard Brenner, Pushparaj Rajaram Bhosale, Clara Fischer, Ali Mohammad Hosseini, Sofia Maragkou, Maximilian Papa, Sebastian Schlund, Thilo Sauter, Wolfgang Kastner |
Challenges in OT Security and Their Impacts on Safety-Related Cyber-Physical Production Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Transformation ![In: Digital Transformation - Core Technologies and Emerging Topics from a Computer Science Perspective, pp. 171-202, 2022, Springer, 978-3-662-65003-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Alexander Egyed, Paul Grünbacher, Lukas Linsbauer, Herbert Prähofer, Ina Schaefer |
Variability in Products and Production. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Transformation ![In: Digital Transformation - Core Technologies and Emerging Topics from a Computer Science Perspective, pp. 65-91, 2022, Springer, 978-3-662-65003-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Oliver Niggemann, Bernd Zimmering, Henrik S. Steude, Jan Lukas Augustin, Alexander Windmann, Samim Ahmad Multaheb |
Machine Learning for Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Transformation ![In: Digital Transformation - Core Technologies and Emerging Topics from a Computer Science Perspective, pp. 415-446, 2022, Springer, 978-3-662-65003-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Patrick Denzler, Wolfgang Kastner |
Reference Architectures for Closing the IT/OT Gap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Transformation ![In: Digital Transformation - Core Technologies and Emerging Topics from a Computer Science Perspective, pp. 95-123, 2022, Springer, 978-3-662-65003-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Christoph Mayr-Dorn, Alois Zoitl, Georg Weichhart, Michael Mayrhofer, Alexander Egyed |
Designing Strongly-decoupled Industry 4.0 Applications Across the Stack: A Use Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Transformation ![In: Digital Transformation - Core Technologies and Emerging Topics from a Computer Science Perspective, pp. 33-64, 2022, Springer, 978-3-662-65003-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Daniel Obraczka, Alieh Saeedi, Victor Christen, Erhard Rahm |
Big Data Integration for Industry 4.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Transformation ![In: Digital Transformation - Core Technologies and Emerging Topics from a Computer Science Perspective, pp. 247-268, 2022, Springer, 978-3-662-65003-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Stefan Braun 0007, Manuela Dalibor, Nico Jansen, Matthias Jarke, István Koren, Christoph Quix, Bernhard Rumpe, Manuel Wimmer, Andreas Wortmann 0001 |
Engineering Digital Twins and Digital Shadows as Key Enablers for Industry 4.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Transformation ![In: Digital Transformation - Core Technologies and Emerging Topics from a Computer Science Perspective, pp. 3-31, 2022, Springer, 978-3-662-65003-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Michael Vierhauser, Alexander Egyed |
Runtime Monitoring for Systems of System - A Closer Look on Opportunities for Manufacturers in the Context of Industry 4.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Transformation ![In: Digital Transformation - Core Technologies and Emerging Topics from a Computer Science Perspective, pp. 203-222, 2022, Springer, 978-3-662-65003-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Christoph G. Schuetz, Matt Selway, Stefan Thalmann, Michael Schrefl |
Discovering Actionable Knowledge for Industry 4.0: From Data Mining to Predictive and Prescriptive Analytics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Transformation ![In: Digital Transformation - Core Technologies and Emerging Topics from a Computer Science Perspective, pp. 337-362, 2022, Springer, 978-3-662-65003-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Bernhard Wally, Christian Huemer, Birgit Vogel-Heuser |
Modelling the Top Floor: Internal and External Data Integration and Exchange. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Transformation ![In: Digital Transformation - Core Technologies and Emerging Topics from a Computer Science Perspective, pp. 281-307, 2022, Springer, 978-3-662-65003-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Robert Heinrich, Stephan Seifermann, Maximilian Walter, Sebastian Hahner, Ralf H. Reussner, Tomás Bures, Petr Hnetynka, Jan Pacovský |
Dynamic Access Control in Industry 4.0 Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Transformation ![In: Digital Transformation - Core Technologies and Emerging Topics from a Computer Science Perspective, pp. 143-170, 2022, Springer, 978-3-662-65003-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Gerhard Friedrich, Martin Gebser, Erich Christian Teppan |
Symbolic Artificial Intelligence Methods for Prescriptive Analytics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Transformation ![In: Digital Transformation - Core Technologies and Emerging Topics from a Computer Science Perspective, pp. 385-414, 2022, Springer, 978-3-662-65003-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Christian Berger 0001, Ulrik Eklund |
Chapter 5 Expectations and Challenges from Scaling Agile in Mechatronics-Driven Companies - A Comparative Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Accelerating Digital Transformation ![In: Accelerating Digital Transformation - 10 Years of Software Center, pp. 119-130, 2022, Springer, 978-3-031-10872-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Helena Holmström Olsson |
Introduction to the Customer Data and Ecosystem-Driven Development Theme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Accelerating Digital Transformation ![In: Accelerating Digital Transformation - 10 Years of Software Center, pp. 287-291, 2022, Springer, 978-3-031-10872-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Jan Bosch, Helena Holmström Olsson, Ivica Crnkovic |
Chapter 13 Engineering AI Systems - A Research Agenda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Accelerating Digital Transformation ![In: Accelerating Digital Transformation - 10 Years of Software Center, pp. 407-425, 2022, Springer, 978-3-031-10872-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Miroslaw Staron |
Introduction to the Metrics Theme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Accelerating Digital Transformation ![In: Accelerating Digital Transformation - 10 Years of Software Center, pp. 155-161, 2022, Springer, 978-3-031-10872-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Helena Holmström Olsson, Hiva Allahyari, Jan Bosch |
Chapter 1 Climbing the Stairway to Heaven. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Accelerating Digital Transformation ![In: Accelerating Digital Transformation - 10 Years of Software Center, pp. 7-22, 2022, Springer, 978-3-031-10872-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Antonio Martini, Terese Besker, Jan Bosch |
Chapter 4 Technical Debt Tracking: Current State of Practice: A Survey and Multiple Case Study in 15 Large Organizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Accelerating Digital Transformation ![In: Accelerating Digital Transformation - 10 Years of Software Center, pp. 87-118, 2022, Springer, 978-3-031-10872-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Christian Berger 0001, Jan Carlson |
Introduction to the Continuous Architecture Theme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Accelerating Digital Transformation ![In: Accelerating Digital Transformation - 10 Years of Software Center, pp. 85-86, 2022, Springer, 978-3-031-10872-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Kristian Sandahl |
Introduction to the Continuous Delivery Theme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Accelerating Digital Transformation ![In: Accelerating Digital Transformation - 10 Years of Software Center, pp. 3-5, 2022, Springer, 978-3-031-10872-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Jan Bosch |
Introduction to the AI Engineering Theme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Accelerating Digital Transformation ![In: Accelerating Digital Transformation - 10 Years of Software Center, pp. 399-405, 2022, Springer, 978-3-031-10872-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Daniel Ståhl, Jan Bosch |
Chapter 2 Modeling Continuous Integration Practice Differences in Industry Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Accelerating Digital Transformation ![In: Accelerating Digital Transformation - 10 Years of Software Center, pp. 23-49, 2022, Springer, 978-3-031-10872-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Rashidah Kasauli, Eric Knauss, Jennifer Horkoff, Grischa Liebel, Francisco Gomes de Oliveira Neto |
Chapter 10 Requirements Engineering Challenges and Practices in Large-Scale Agile System Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Accelerating Digital Transformation ![In: Accelerating Digital Transformation - 10 Years of Software Center, pp. 293-350, 2022, Springer, 978-3-031-10872-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Miroslaw Staron, Wilhelm Meding |
Chapter 7 MESRAM - A Method for Assessing Robustness of Measurement Programs in Large Software Development Organizations and Its Industrial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Accelerating Digital Transformation ![In: Accelerating Digital Transformation - 10 Years of Software Center, pp. 163-209, 2022, Springer, 978-3-031-10872-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Miroslaw Ochodek, Miroslaw Staron, Wilhelm Meding |
Chapter 9 SimSAX: A Measure of Project Similarity Based on Symbolic Approximation Method and Software Defect Inflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Accelerating Digital Transformation ![In: Accelerating Digital Transformation - 10 Years of Software Center, pp. 253-283, 2022, Springer, 978-3-031-10872-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Aleksander Fabijan, Pavel A. Dmitriev, Jan Bosch, Helena Holmström Olsson |
Chapter 12 The Evolution of Continuous Experimentation in Software Product Development: From Data to a Data-Driven Organization at Scale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Accelerating Digital Transformation ![In: Accelerating Digital Transformation - 10 Years of Software Center, pp. 373-395, 2022, Springer, 978-3-031-10872-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Torvald Mårtensson, Daniel Ståhl, Antonio Martini, Jan Bosch |
Chapter 3 Efficient and Effective Exploratory Testing of Large-Scale Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Accelerating Digital Transformation ![In: Accelerating Digital Transformation - 10 Years of Software Center, pp. 51-81, 2022, Springer, 978-3-031-10872-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | David Issa Mattos, Anas Dakkak, Jan Bosch, Helena Holmström Olsson |
Chapter 11 Experimentation for Business-to-Business Mission-Critical Systems: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Accelerating Digital Transformation ![In: Accelerating Digital Transformation - 10 Years of Software Center, pp. 351-371, 2022, Springer, 978-3-031-10872-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Robbert Jongeling, Federico Ciccozzi, Antonio Cicchetti, Jan Carlson |
Chapter 6 Lightweight Consistency Checking for Agile Model-Based Development in Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Accelerating Digital Transformation ![In: Accelerating Digital Transformation - 10 Years of Software Center, pp. 131-151, 2022, Springer, 978-3-031-10872-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Miroslaw Ochodek, Regina Hebig, Wilhelm Meding, Gert Frost, Miroslaw Staron |
Chapter 8 Recognizing Lines of Code Violating Company-Specific Coding Guidelines Using Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Accelerating Digital Transformation ![In: Accelerating Digital Transformation - 10 Years of Software Center, pp. 211-251, 2022, Springer, 978-3-031-10872-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Dineo Adolphina Matlebjane, Patrick Ndayizigamiye, Macire Kante |
Determinants of the Adoption of Mobile Applications that Help Induce Healthy Eating Habits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innovation Practices for Digital Transformation in the Global South ![In: Innovation Practices for Digital Transformation in the Global South - IFIP WG 13.8, 9.4, Invited Selection, pp. 97-112, 2022, Springer, 978-3-031-12824-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Chris Muashekele, Heike Winschiers-Theophilus, Kasper Rodil, Colin Stanley, Hina Muashekele |
The Chronicles of Kunene: The Lion, the Omuhimba and the Drone. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innovation Practices for Digital Transformation in the Global South ![In: Innovation Practices for Digital Transformation in the Global South - IFIP WG 13.8, 9.4, Invited Selection, pp. 149-164, 2022, Springer, 978-3-031-12824-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Lay-Wah Carolina Ching-Chiang, Juan Manuel Fernández-Cárdenas, Nicole Lotz, Noé Abraham González-Nieto, Mark Gaved, Derek Jones, Alejandra Díaz de León, Rafael Machado |
From Digital Divide to Digital Discovery: Re-thinking Online Learning and Interactions in Marginalized Communities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innovation Practices for Digital Transformation in the Global South ![In: Innovation Practices for Digital Transformation in the Global South - IFIP WG 13.8, 9.4, Invited Selection, pp. 34-58, 2022, Springer, 978-3-031-12824-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Hareem Nassar, Fareesa Malik |
Role of Digital Platforms in Entrepreneurial Processes: The Resource Enabling Perspective of Startups in Pakistan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innovation Practices for Digital Transformation in the Global South ![In: Innovation Practices for Digital Transformation in the Global South - IFIP WG 13.8, 9.4, Invited Selection, pp. 130-148, 2022, Springer, 978-3-031-12824-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Vivek Kant, Arun Babu, Varun Vikash Karthikeyan, Nishant Sharma |
Sociotechnical Dimension of Trucking in India: Possibilities for Digitalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innovation Practices for Digital Transformation in the Global South ![In: Innovation Practices for Digital Transformation in the Global South - IFIP WG 13.8, 9.4, Invited Selection, pp. 113-129, 2022, Springer, 978-3-031-12824-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Macire Kante, Patrick Ndayizigamiye |
Adoption of Mobile Applications for Self-healthcare Monitoring by the Youth in South Africa. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innovation Practices for Digital Transformation in the Global South ![In: Innovation Practices for Digital Transformation in the Global South - IFIP WG 13.8, 9.4, Invited Selection, pp. 79-96, 2022, Springer, 978-3-031-12824-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Remigijus Gustas, Prima Gustiené |
A Semantically Integrated Conceptual Modelling Method for Business Process Reengineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Architecting the Digital Transformation ![In: Architecting the Digital Transformation - Digital Business, Technology, Decision Support, Management, pp. 163-177, 2021, Springer, 978-3-030-49639-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Oliver Bossert, Stefan Feldmann |
Perpetual Evolution - Rethinking the Way Digital Transformations Are Managed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Architecting the Digital Transformation ![In: Architecting the Digital Transformation - Digital Business, Technology, Decision Support, Management, pp. 37-53, 2021, Springer, 978-3-030-49639-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 29674 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|