yusuke1997/dblp-id-title huggingface dataset:
Die Behandlung zeitbezogener Daten in der Wirtschaftsinformatik
Dokumentenmanagement und Workflowlösungen
Model-based Service Engineering
IMPACT: Instrument for Supporting Improvement Process Activities
Die Informationsbedarfsanalyse im Data Warehousing - ein methodischer Ansatz am Beispiel der Balanced Scorecard
ECommerce und Logistik Web-basierte Logistikservices
Auswahlverfahren für SW-Produktionsumgebungen am Beispiel einer groβ en J2EE-Anwendung
Vernetzte Informationen in einem Wissensmedium
Die zunehmende Fragmentierung der Bank-Wertschöpfungskette und die daraus entstehenden Märkte
Was die Stammesgeschichte lehrt..
Customer Relationship Management (CRM) im E-Business: Herausforderungen für ein ganzheitliches Informationsmanagement
Wissensmanagement (Knowledge Asset Management - KAM) in Beratungsbetrieben
Cluster saving - Eine konstruktive Methode des Operations Research
Erfolgreiches Anforderungsmanagement
Informationsverarbeitung mit XML und XSLT
Vergleichende Untersuchung von Tools zur privaten Finanzplanung
myContract. de - Document Design online oder individuelle Verträge aus dem Internet
Anreizsysteme im Wissensmanagement zur Unterstützung kooperativ verteilter Formen der Produktion und der Aneignung von Wissen
Geschäftsprozessdekomposition und Gestalttheorie
Ubiquitous Computing: Empfehlung zum ganzheitlichen Management von Anwendungssystemen für den Cyberspace
Reelle und virtuelle Stiere
Balanced Scorecard am Beispiel der LGT
Wie schwierig es ist, einen Betrieb erfolgreich zu führen - über unterschiedliches Denken in der Wirtschaft einerseits und in sonstigen Bereichen andererseits
Präsentation von Daten aus betriebswirtschaftlicher Standard-Software im WWW
Neuronale Netze zur Detektion charakteristischer Strukturmerkmale in nichttrivialen Zeitreihen
Data Warehousing: Concepts and Mechanisms
Modeling and Maintaining Histories in Data Warehouses
Eine kritische Hinterfragung des Software-Marktes oder Industrieprojekte durch Studenten?
Business-to-Business-Community - Ein Projekt der Berliner Landesinitiative "Projekt Zukunft"
Wirtschaftsinformatiker - ein Berufsbild
Ein neuer Ansatz zur modellbasierten Portfolio-optimierung in Kapitalanlagegesellschaften
Informationelle Grobstrukturierung - Hilfsmittel für sichere Data Warehouse-Projektierung in einem Energieversorgungsunternehmen
Information als Erfolgsfaktor: 2. Liechtensteinisches Wirtschaftsinformatik-Symposium an der Fachhochschule Liechtenstein, Vaduz, Liechtenstein, 2000
Wirtschaftsinformatik als Mittler zwischen Technik, Ökonomie und Gesellschaft: 1. Liechtensteinisches Wirtschaftsinformatik-Symposium an der Fachhochschule Liechtenstein, Vaduz, Liechtenstein, 1999
Finance Applications with the Web Mining Software Agent PISA
Umsetzung der EU-Richtlinie 97/7/EG (über den Verbraucherschutz bei Vertragsabschlüssen im Fernabsatz) anhand eines Praxisbeispiels
Bankenspezifische Software Entwicklung: Erfolgreiche Projektkontrolle bei N.C.H. Spa mit Miro.BAS
Konzeption einer leistungsfähigen Kommunikationsinfrastruktur für die Vorarlberger Landesverwaltung - ein Projektbericht
Aktuelle Sichten auf das prozessorientierte Unternehmen
Die Verrechnung von IV-Leistungen im Client-Server-Umfeld - Eine Konzeption für die LGT Bank in Liechtenstein
Ein Szenario für die Anwendungssystementwicklung mit fachlichen Komponenten
Neue Informations- und Kommunikationstechnologien im Beschaffungsmanagement: Informationsökonomische Bewertung von "E-Commerce" in der Beschaffung
Projektbudgetierung mit einer Prozesskostenrechnung für Unified Process-basierte Softwareentwicklungen
Modellierung analytischer Datenbanken anhand eines Controlling-Beispiels
Wissensmanagementsysteme - Komponenten und Erfolgsfaktoren für den Einsatz
Qualifikation und Berufsfelder im Bereich Software-Qualitätsmanagement
Informationssysteme für "schlecht strukturierbare Anwendungsgebiete"
Das CommunityItemsTool - Interoperable Unterstützung von Interessens-Communities in der Praxis
Notwendigkeit und Realisierung internetgestützter Gruppenarbeit durch webSCW
Gesamtheitliches Performance Measurement - Vorgehensmodell und informationstechnische Ausgestaltung
Sisyphos und Tantalos - Lob der menschlichen Mühsal
Der Info Highway des Freistaates Sachsen Oder Von der sächsischen Amtsstelle zur electronic Administration
Informationsmanagement - Modell, Herausforderungen und Perspektiven
Prozesskostenrechung - Auf dem Weg zur High - End - Kalkulation?
Informationsmanagement und E-Government - Ein Praxisbericht
Optimizing Business Processes with Generalised Process Networks
Adding Value to the Corporation through IT Konsequente Ausrichtung der Informatik entlang der Wertschöpfungskette
Informationsmanagement - Herausforderungen und Perspektiven: 3. Liechtensteinisches Wirtschaftsinformatik-Symposium an der FH Liechtenstein, Vaduz, Liechtenstein, 2001
Die Berücksichtigung von intellektuellem Kapital in der Rechnungslegung zur Ermöglichung einer umfassenden Unternehmensbewertung
Corporate Performance Management: Strategische Planung durch ganzheitliche Unternehmenskennzahlen
Am Anfang war das Bit
Wissens- und Erfahrungssicherung in DV-Projekten
Mit "Model-Driven-Architecture (MDA)" und der System Meter Methode zu verbessertem Management von IT-Projekten
Ein Vorgehensmodell für die komponentenbasierte Anwendungsentwicklung
Was Bananenkurven, perfekte Bestellung und E-Business verbindet
Berücksichtigung von Änderungen in analytischen Datenbanken
Hilti Telemarketing (HTM) - ein Beispiel für eine erfolgreiche teamorientierte Kundenbetreuung
Ereignisgesteuerte Prozessketten für das Business Process Reengineering - Möglichkeiten und Grenzen
Sauber gemacht: SOAP, die neue Lösung für Remote Procedure Calls
GERAM: Ein Standard für Enterprise Integration
Unterstützung der Unternehmensgründung durch I-u.K-Technologie in Luxemburg
Die neuen liechtensteinischen Rechnungslegungs-, Eigenmittel- und Risikoverteilungsvorschriften für Banken
Content im Internet: Eine Klassifikation nach objektiven Inhalten und subjektiver Aufbereitungsqualität
Digital Licensing - Einführung in Industrieunternehmen
Visualisierung von Geschäftsmodellen
Verbesserung des Bildungscontrolling durch Online-Beurteilung von Lehrveranstaltungen
Die Folgen einer rational-ökonomischen Wissensbewirtschaftung für Unternehmens führung und Forschungsmanagement
Fehlt der UML wirklich nur ein Vorgehensmodell?
Gewinnauswirkungen des Financial Supply Chain Management
The Next Wave: Mobile & Wireless Financial Services
Ist die Besteuerung der Eigenmiete gerechtfertigt? Was sagt der Computer dazu?
Business Knowledge Management für kundenzentrierte Finanzdienstleistungen
Telelearning in der Wirtschaftsinformatik
Verteilte Projektabwicklung im Kontext der neuen Medien - Module eines Project Enterprise Knowledge Mediums
Konzeptionelle und organisatorische Aspekte der erfolgreichen Internet-Nutzung im Tourismus
Dezentrales Web Content Management
Auf dem Weg in die Informationsgesellschaft: Arbeit der Zukunft - Zukunft der Arbeit? - Zehn Thesen mit Erläuterungen
Software- und Service-Markt - IT-Beratung
Fachsprachlich normierte Anwendungssysteme - Eine neue Generation von Applikationssoftware für Unternehmen mit globalen Geschäftsbeziehungen
Thalamic features extraction and analysis in magnetic resonance imaging of preterm infants
Particle image velocimetry image processing to assess cell distribution within bioreactors
Proceedings of the International Workshop in Neurodevelopmental Impairments in Preterm Children - Computational Advancements (DETERMINED 2022), Ljubljana, Slovenia, August 26, 2022
Automatic neonatal cranial ultrasound segmentation using deep learning: A review
Neural correlates of visuomotor functions in preterm children: a literature review focused on unilateral Cerebral Palsy
Medical imaging and artificial intelligence to investigate neuro-cardiac pathologies and discover hidden relationships - a state of the art review
Intelligent system development to monitor the neonatal behaviour: A review
The neurodevelopmental and mental health outcomes in children with single ventricle physiology and Fontan circulation: a state-ofthe-art review and future directions
A new median filter application to deal with large windows of missing data in eye-gaze measurements
Automatic measurements of the corpus callosum in the follow-up of preterm children: Methodology and validation
Eye-tracking test battery for newborns: A pilot feasibility study
Eye-tracking test battery for detecting cognitive impairments in premature children
Towards an AI driven early detection of brain injuries in neonates through non-contact audio and video recording
A review on computational tools for analytical visualisation and molecular interactions of sncRNAs: prospects in NDDs
Rule Formats for Determinism and Idempotence
A Timed Calculus for Wireless Systems
Formal Testing of Systems Presenting Soft and Hard Deadlines
Program Logics for Sequential Higher-Order Control
A Process-Theoretic Look at Automata
Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations
Checking Compatibility of Web Services Behaviorally
Gray-Box Conformance Testing for Symbolic Reactive State Machines
A Persistent Entropy Automaton for the Dow Jones Stock Market
Adding Proof Calculi to Epistemic Logics with Structured Knowledge
A Behavioural Congruence for Web Services
Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?
On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
Flexible Transactional Coordination in the Peer Model
Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models
A Coordination Model for Interactive Components
Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Automata
Adapting the UPPAAL Model of a Distributed Lift System
An Alternative Algorithm for Constraint Automata Product
Compiling Cooperative Task Management to Continuations
TCE+: An Extension of the TCE Method for Detecting Equivalent Mutants in Java Programs
Automated Test Generation - Taxonomy and Tool Applications
Type Abstractions of Name-Passing Processes
Fundamentals of Software Engineering - 9th International Conference, FSEN 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers
Deadlock Checking by Data Race Detection
Action Abstraction in Timed Process Algebra
Logic-Based Detection of Conflicts in AppelPolicies
Formally Verified Verifiable Group Generators
Implementing Open Call-by-Value
Model Checking Temporal Metric Specifications with Trio2Promela
A Formal Model for Multi SPLs
Hoare Logic for ARM Machine Code
TPGen: A Self-stabilizing GPU-Based Method for Test and Prime Paths Generation
Greenify: A Game with the Purpose of Test Data Generation for Unit Testing
Composing Families of Timed Automata
Verifying System-Wide Properties of Industrial Component-Based Software
Incremental Refinement of Goal Models with Contracts
Taming Hierarchical Connectors
A Review on Specifying Software Architectures Using Extended Automata-Based Models
Slicing Abstractions
Safe Locking for Multi-threaded Java
An Interval-Based Approach to Modelling Time in Event-B
Runtime Monitoring Processes Across Blockchains
Improving Time Bounded Reachability Computations in Interactive Markov Chains
Finding Universally Quantified Heap Invariants by Horn Clause Transformations
Towards a Basic Theory for Partial Differentiation in the Prototype Verification System
Specification and Validation of Behavioural Protocols in the rCOS Modeler
Proposition Algebra and Short-Circuit Logic
Nested Dynamic Condition Response Graphs
Case Study on Certifying Distributed Algorithms: Reducing Intrusiveness
Verification of Smart Contract Business Logic - Exploiting a Java Source Code Verifier
On Efficiency Preorders
Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic
Fundamentals of Software Engineering - 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers
Test Selection Criteria for Quantifier-Free First-Order Specifications
Streamlining Parameter Tuning in Full-Body Racing Simulators with an Automated Pipeline
Automated Replication of Tuple Spaces via Static Analysis
Template-Based Conjecturing for Automated Induction in Isabelle/HOL
Painless Support for Static and Runtime Verification of Component-Based Applications
Automatic Transition System Model Identification for Network Applications from Packet Traces
Fundamentals of Software Engineering - 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings
Automated Integration of Service-Oriented Software Systems
kProp: Multi-neuron Relaxation Method for Neural Network Robustness Verification
Benchmarks for Parity Games
Equational Reasoning on Ad Hoc Networks
Strong Safe Realizability of Message Sequence Chart Specifications
Delta Modeling and Model Checking of Product Families
Compositional Reasoning for Markov Decision Processes - (Extended Abstract)
Compositional Strategy Mapping
Fundamentals of Software Engineering - 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers
Model Checking Linear Duration Invariants of Networks of Automata
Translating Active Objects into Colored Petri Nets for Communication Analysis
Using Swarm Intelligence to Generate Test Data for Covering Prime Paths
Towards a Notion of Unsatisfiable Cores for LTL
Towards Automatic Test Case Generation for Industrial Software Systems Based on Functional Specifications
Modeling and Efficient Verification of Broadcasting Actors
Evolution Control in MDE Projects: Controlling Model and Code Co-evolution
Compositional Semantics of System-Level Designs Written in SystemC
Type Checking Cryptography Implementations
Automated Translation and Analysis of a ToolBus Script for Auctions
Automatic Generation of Loop Invariants in Dafny with Large Language Models
Service Orchestration with Priority Constraints
Term Rewriting on GPUs
Incremental Realization of Safety Requirements: Non-determinism vs. Modularity
A Program Logic for Fresh Name Generation
High Performance Computing Applications Using Parallel Data Processing Units
The Interplay between Relationships, Roles and Objects
An xADL Extension for Managing Dynamic Deployment in Distributed Service Oriented Architectures
A Safe Stopping Protocol to Enable Reliable Reconfiguration for Component-Based Distributed Systems
Genetic Algorithm for Program Synthesis
A Model-Based Development Approach for Model Transformations
Specification Guidelines to Avoid the State Space Explosion Problem
Systematic Extraction of Tests from Object-Oriented Programs
Proof Guidance in PVS with Sequential Pattern Mining
Executable Interface Specifications for Testing Asynchronous Creol Components
Improved Iterative Methods for Verifying Markov Decision Processes
Refinement Patterns for Hierarchical UML State Machines
An Approach to Generate Effective Fault Localization Methods for Programs
Verification of the Busy-Forbidden Protocol - (using an Extension of the Cones and Foci Proof Framework)
An Experimental Study on Flakiness and Fragility of Randoop Regression Test Suites
Model Checking of Concurrent Software Systems via Heuristic-Guided SAT Solving
The Complexity of Reachability in Randomized Sabotage Games
Model Checking: One Can Do Much More Than You Think!
ArchC#: A New Architecture Description Language for Distributed Systems
Debugging of Concurrent Systems Using Counterexample Analysis
Efficient Operational Semantics for for Verification of Temporal Properties
A Pre-congruence Format for XY-simulation
Purpose-Based Policy Enforcement in Actor-Based Systems
Towards Model-Based Testing of Electronic Funds Transfer Systems
Protocol Scheduling
A Specification Language for Reo Connectors
Event-Driven Temporal Logic Pattern for Control Software Requirements Specification
Formal Specification of Multi-agent Systems by Using EUSMs
Fundamentals of Software Engineering - 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers
Compressing Automatically Generated Unit Test Suites Through Test Parameterization
Proceedings of the First IPM International Workshop on Foundations of Software Engineering, FSEN 2005, Tehran, Iran, October 1-3, 2005
Towards Smart Systems of Systems
Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme
Extending Interface Automata with Z Notation
Applying Step Coverability Trees to Communicating Component-Based Systems
Design and Implementation of a Dynamic-Reconfigurable Architecture for Protocol Stack
Model Checking MANETs with Arbitrary Mobility
Push-Down Automata with Gap-Order Constraints
A Model of Component-Based Programming
Strong Normalisation in λ-Calculi with References
Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider
Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
A New Representation of Two-Dimensional Patterns and Applications to Interactive Programming
Termination in Higher-Order Concurrent Calculi
Typing Asymmetric Client-Server Interaction
Lending Petri Nets and Contracts
A Sound Analysis for Secure Information Flow Using Abstract Memory Graphs
On the Complexity of Adding Convergence
Interaction-Based Offline Runtime Verification of Distributed Systems
Bisimilarity of Open Terms in Stream GSOS
International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings
Fundamental Concepts for the Structuring of Functionality into Modular Parts
Structured Specification of Paraconsistent Transition Systems
Quality-Aware Reactive Programming for the Internet of Things
Automatic Composition of Stateless Components: A Logical Reasoning Approach
On the Expressiveness of Refinement Settings
Formalizing and Analyzing Security Ceremonies with Heterogeneous Devices in ANP and PDL
Regulating Data Exchange in Service Oriented Applications
Improved Gas Optimization of Smart Contracts
Logical Bisimulations and Functional Languages
Decompositional Reasoning about the History of Parallel Processes
A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems
Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair
A Safe Implementation of Dynamic Overloading in Java-Like Languages
Distributing Quantum Circuits Using Formal Methods
On Time-Sensitive Control Closure for Secure Information Flow
Solving Systems of Bilinear Equations for Transition Rate Reconstruction
Automata Based Model Checking for Reo Connectors
Modular Schedulability Analysis of Concurrent Objects in Creol
A Distributed Logic for Networked Cyber-Physical Systems
Introducing Interval Differential Dynamic Logic
Fundamentals of Software Engineering, Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers
Efficient Architecture-Level Configuration of Large-Scale Embedded Software Systems
Active Learning of Industrial Software with Data
Data-Driven Shielding of Online Reinforcement Learning: A Stormwater Pond Case Study
From Event-B Models to Dafny Code Contracts
Composing Real-Time Concurrent Objects Refinement, Compatibility and Schedulability
Implication-Based Approximating Bounded Model Checking
Is Your Security Protocol on Time ?
rCOS: Theory and Tool for Component-Based Model Driven Development
Reusing Requirements: The Need for Extended Variability Models
Refinement-Based Modeling of 3D NoCs
Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers
Efficient Verification of Evolving Software Product Lines
Logics for Petri Nets with Propagating Failures
Tooled Process for Early Validation of SysML Models Using Modelica Simulation
Unbounded Allocation in Bounded Heaps
Zone-Based Universality Analysis for Single-Clock Timed Automata
An Optimised Complete Strategy for Testing Symbolic Finite State Machines
Intentional Automata: A Context-Dependent Model for Component Connectors - (Extended Abstract)
A First Step towards Security Policy Compliance of Connectors
Linear Evolution of Domain Architecture in Service-Oriented Software Product Lines
A Two-Dimensional Self-coordination Mechanism of Agents in a Minority Game
Case Studies of Development of Verified Programs with Dafny for Accessibility Assessment
Constructive Development of Probabilistic Programs
Verification, Performance Analysis and Controller Synthesis for Real-Time Systems
Analyzing Mutable Checkpointing via Invariants
Contract Based Multi-party Service Composition
A Framework for Model-Based Specification and Verification in Feature-Oriented Software Product Lines
Fundamentals of Software Engineering - 6th International Conference, FSEN 2015 Tehran, Iran, April 22-24, 2015, Revised Selected Papers
Vulnerability Analysis in VGBPS Using Prolog
Relationships Meet Their Roles in Object Oriented Programming
A Behavioural Theory for a π-calculus with Preorders
Analyzing Component-Based Systems on the Basis of Architectural Constraints
Rewriting Approximations for Properties Verification over CCS Specifications
Deadlock in Packet Switching Networks
Promise Plus: Flexible Synchronization for Parallel Computations on Arrays
Decidability of Behavioral Equivalences in Process Calculi with Name Scoping
Extending OCL with Map and Function Types
Modeling Non-deterministic C Code with Active Objects
Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems
Bounded Rational Search for On-the-Fly Model Checking of LTL Properties
Synthesizing Parameterized Self-stabilizing Rings with Constant-Space Processes
Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks
Validating SCTP Simultaneous Open Procedure
Attacking the Dimensionality Problem of Parameterized Systems via Bounded Reachability Graphs
Extracting Formal Models for User's Behaviors in Social Networks Using Automata and Machine Learning
Applicative Bisimulation and Quantum λ-Calculi
A Theory of Integrating Tamper Evidence with Stabilization
LittleDarwin: A Feature-Rich and Extensible Mutation Testing Framework for Large and Complex Java Systems
Software Architecture Modeling and Evaluation Based on Stochastic Activity Networks
Efficient State Space Reduction for Automata by Fair Simulation
Using PVS for Modeling and Verification of Probabilistic Connectors
Reachability Analysis of Non-linear Planar Autonomous Systems
Computational Systems-Biology and Bioinformatics - First International Conference, CSBio 2010, Bangkok, Thailand, November 3-5, 2010. Proceedings
Parallel Affinity Propagation Clustering in Identifying Sub-Network Biomarker Genes of Lung Cancer
Mining LINE-1 Characteristics That Mediate Gene Expression
A Vaccine Strategy for Plant Allergy by RNA Interference - An in Silico Approach
Mining Regulatory Elements in Non-coding Regions of Arabidopsis thaliana
Identifying microRNA targets in epithelial-mesenchymal transition using joint-intervention causal inference
Modelling and Formal Verification of Neuronal Archetypes Coupling
AI and Big Data Analytics for Health and Bioinformatics
Modelling fim Expression in Escherichia Coli K12
Position-Residue Specific Dynamic Gap Penalty Scoring Strategy for Multiple Sequence Alignment
Catalog of Genetic Variations (SNPs and CNVs) and Analysis Tools for Thai Genetic Studies
GMFR-CNN: An Integration of Gapped Motif Feature Representation and Deep Learning Approach for Enhancer Prediction
Function Prediction of Disease-Related Long Intergenic Non-Coding RNA Using Random Forest
In Silico Analysis of Mucor Circinelloides Genome-Scale Model for Enhancing Lipid Production
Estimating respiration rate using an accelerometer sensor
Finding Unknown Disease-Related Genes by Comparing Random Forest Results to Secondary Data in Medical Science Study
In Silico Structure Based Designing of Dihydrofolate Reductase Enzyme Antagonists and Potential Small Molecules That Target DHFR Protein to Inhibit the Folic Acid Biosynthetic Pathways
Revealing deep proteome diversity with community-scale proteomics big data