|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4581 occurrences of 2340 keywords
|
|
|
Results
Found 6129 publication records. Showing 6129 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
11 | Filippo Bonchi, Ana Sokolova, Valeria Vignudelli |
The Theory of Traces for Systems with Nondeterminism, Probability, and Termination. |
Log. Methods Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Giuseppe De Giacomo, Riccardo De Masellis, Fabrizio Maria Maggi, Marco Montali |
Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces. |
ACM Trans. Softw. Eng. Methodol. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Shu Yang, Lei Luo 0005, Qian Li, Yiyang Chen, Lin Wu, Xinyuan Wang 0001 |
Auto-identification of linear archaeological traces of the Great Wall in northwest China using improved DeepLabv3+ from very high-resolution aerial imagery. |
Int. J. Appl. Earth Obs. Geoinformation |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Mohib Ullah, Rafiullah Khan, Irfan Ullah Khan 0002, Nida Aslam, Sumayh S. Aljameel, Muhammad Inam Ul Haq, Muhammad Arshad Islam |
Profile Aware ObScure Logging (PaOSLo): A Web Search Privacy-Preserving Protocol to Mitigate Digital Traces. |
Secur. Commun. Networks |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Chun-Tung Li, Jiannong Cao 0001, Chao Ma 0008, Jiaxing Shen, Ka Ho Wong |
An agnostic and efficient approach to identifying features from execution traces. |
Knowl. Based Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Jens Trautmann 0001, Arthur Beckers, Lennert Wouters, Stefan Wildermann, Ingrid Verbauwhede, Jürgen Teich |
Semi-Automatic Locating of Cryptographic Operations in Side-Channel Traces. |
IACR Trans. Cryptogr. Hardw. Embed. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Weizhong Qiang, Lin Yang, Hai Jin 0001 |
Efficient and Robust Malware Detection Based on Control Flow Traces Using Deep Neural Networks. |
Comput. Secur. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Luay Alawneh, Abdelwahab Hamou-Lhadj |
Locating and categorizing inefficient communication patterns in HPC systems using inter-process communication traces. |
J. Syst. Softw. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Giorgio Verdiani, Alexia Charalambous, Federica Corsini |
Reconstructing the Past, Enhancing the Traces from Frescos. |
i-com |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Emilia Baszanowska, Zbigniew Otremba |
Fluorometric Detection of Oil Traces in a Sea Water Column. |
Sensors |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Samuel Miralles-Mosquera, Bernardo Alarcos, Alfredo Gardel Vicente |
Location of Latent Forensic Traces Using Multispectral Bands. |
Sensors |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Lisa B. Dreier, Christoph Kölbl, Vincent Jeuk, Claudia Beleites, Anja Köhntopp, Frank Duschek |
Setup and Analysis of a Mid-Infrared Stand-Off System to Detect Traces of Explosives on Fabrics. |
Sensors |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Lixiang Yan, Roberto Martínez Maldonado, Beatriz Gallo Cordoba, Joanne Deppeler, Deborah Corrigan, Dragan Gasevic |
Mapping from proximity traces to socio-spatial behaviours and student progression at the school. |
Br. J. Educ. Technol. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Raúl Lapeña, Francisca Pérez 0001, Oscar Pastor 0001, Carlos Cetina |
Leveraging execution traces to enhance traceability links recovery in BPMN models. |
Inf. Softw. Technol. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Minh Son Phan, Katherine Matho, Emmanuel Beaurepaire, Jean Livet, Anatole Chessel |
nAdder: A scale-space approach for the 3D analysis of neuronal traces. |
PLoS Comput. Biol. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Alan Ayala, Xavier Claeys, Paul Escapil-Inchauspé, Carlos Jerez-Hanckes |
Local Multiple Traces Formulation for electromagnetics: Stability and preconditioning for smooth geometries. |
J. Comput. Appl. Math. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Amir Mehrjoo, Rubén Cuevas, Ángel Cuevas |
A new methodology to measure faultlines at scale leveraging digital traces. |
EPJ Data Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Massimiliano Luca, Bruno Lepri, Enrique Frías-Martínez, Andra Lutu |
Modeling international mobility using roaming cell phone traces during COVID-19 pandemic. |
EPJ Data Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Foivos Tsimpourlas, Gwenyth Rooijackers, Ajitha Rajan, Miltiadis Allamanis |
Embedding and classifying test execution traces using neural networks. |
IET Softw. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Ayelet Arditi, Eran Toch |
Evaluating package delivery crowdsourcing using location traces in different population densities. |
Comput. Environ. Urban Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Taisuke Kobayashi |
Adaptive and multiple time-scale eligibility traces for online deep reinforcement learning. |
Robotics Auton. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Yuting Yang 0004, Connelly Barnes, Adam Finkelstein |
Learning from Shader Program Traces. |
Comput. Graph. Forum |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Young-Hoon Goo, Kyu-Seok Shim, Min-Seob Lee, Myung-Sup Kim |
HTTP and DNS traffic traces for experimenting of protocol reverse engineering methods. |
|
2022 |
DOI RDF |
|
11 | Jisoo Choi |
Images with synthetic ENF traces and related dataset for ENF presence-classification test. |
|
2022 |
DOI RDF |
|
11 | Jisoo Choi |
Images with real ENF traces and related dataset for ENF presence-classification test. |
|
2022 |
DOI RDF |
|
11 | Justus Rischke |
5G Campus Networks: Measurement Traces. |
|
2022 |
DOI RDF |
|
11 | Michail Boulasikis, Flavius Gruian, Gareth Callanan, Jörn W. Janneck |
Analysing Dataflow Programs with Causation Traces. |
PACT |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Jonghyeon Ko, Marco Comuzzi |
Pattern-based Reconstruction of Anomalous Traces in Business Process Event Logs. |
CI4PM/PAI@WCCI |
2022 |
DBLP BibTeX RDF |
|
11 | Eduardo Cibrián, José María Álvarez Rodríguez, Roy Mendieta, Juan Lloréns |
Discovering traces between textual requirements and logical models in the functional design of Printed Circuit Boards. |
ICPS |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Daniel Elsner, Roland Wuersching, Markus Schnappinger, Alexander Pretschner |
Probe-based Syscall Tracing for Efficient and Practical File-level Test Traces. |
AST@ICSE |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Xi Chen 0001, Anindya De, Chin Ho Lee, Rocco A. Servedio, Sandip Sinha |
Near-Optimal Average-Case Approximate Trace Reconstruction from Few Traces. |
SODA |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Anja Keskinarkaus, Ekaterina Gilman, Lauri Lovén, Satu Tamminen, Marjo Hippi, Gang Xiong 0001, Fenghua Zhu, Tapio Seppänen, Jukka Riekki, Susanna Pirttikangas |
Revealing reliable information from taxi traces: from raw data to information discovery. |
ICDE Workshops |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Dennis Bogatov Wilkman, Lifei Tang, Kateryna Morozovska, Federica Bragone |
Self-Supervised Transformer Networks for Error Classification of Tightening Traces. |
ICMLA |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Karnika Shivhare, Rushikesh K. Joshi |
Trace Language: Mining Micro-configurations from Process Transition Traces. |
PNSE@Petri Nets |
2022 |
DBLP BibTeX RDF |
|
11 | Natasha Yogananda Jeppu, Tom Melham, Daniel Kroening |
Active Learning of Abstract System Models from Traces using Model Checking. |
DATE |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Martijn Schouten, Philip van de Maat, Kostas Nizamis, Gijs J. M. Krijnen |
Evaluating 3D printed sEMG electrodes with silver ink traces using in-situ impedance measurements. |
IEEE SENSORS |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Kayuã Oleques Paim, Vagner Ereno Quincozes, Diego Kreutz, Rodrigo B. Mansilha, Weverton Cordeiro |
Fix Me If You Can: Using Neural Networks to Regenerate Networked Systems' Monitoring Traces. |
NOMS |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Alexander Griessel, Maximilian Stephan, Martin Mieth, Wolfgang Kellerer, Patrick Krämer |
RLBrowse: Generating Realistic Packet Traces with Reinforcement Learning. |
NOMS |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Michael Cerny Green, Ahmed Khalifa 0001, Megan Charity, Debosmita Bhaumik, Julian Togelius |
Predicting Personas Using Mechanic Frequencies and Game State Traces. |
CEC |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Sok-Ian Sou, Fang-Jing Wu, Jung-Yang Tsai |
ProTrack: Detecting Proximity and Trajectory from Passive Wireless Traces of Mobile Devices. |
ICC |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Jeremy Guillaume, Maxime Pelcat, Amor Nafkha, Rubén Salvador |
Virtual Triggering: a Technique to Segment Cryptographic Processes in Side-Channel Traces. |
SiPS |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Shujin Wei, Haodong Li 0001, Jiwu Huang |
Deep Video Inpainting Localization Using Spatial and Temporal Traces. |
ICASSP |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Matthias Beckerle, Jonathan Magnusson, Tobias Pulls |
Splitting Hairs and Network Traces: Improved Attacks Against Traffic Splitting as a Website Fingerprinting Defense. |
WPES@CCS |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Tetsuya Kanda 0001, Kazumasa Shimari, Katsuro Inoue |
didiffff: a viewer for comparing changes in both code and execution traces. |
ICPC |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Madeline Janecek, Naser Ezzati-Jivan, Abdelwahab Hamou-Lhadj |
Performance anomaly detection through sequence alignment of system-level traces. |
ICPC |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Simon Anderer, Alpay Sahin, Bernd Scheuermann, Sanaz Mostaghim |
On using Authorization Traces to Support Role Mining with Evolutionary Algorithms. |
IJCCI |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Marie-Luce Bourguet |
Measuring Learners' Self-regulated Learning Skills from Their Digital Traces and Learning Pathways. |
EC-TEL |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Vahana Dorcis, Fabrice Bouquet, Frédéric Dadeau |
Clustering of Usage Traces for Regression Test Cases Selection. |
ICST Workshops |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Thomas van Loo, Anshul Jindal, Shajulin Benedict, Mohak Chadha, Michael Gerndt |
Scalable Infrastructure for Workload Characterization of Cluster Traces. |
CLOSER |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Erez Alfasi, Gil Einziger |
Botnet Mapping Based on Intersections of Traces. |
ICDCN |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Gouayon Koala, Didier Bassolé, Télesphore Tiendrébéogo, Oumarou Sié |
Study of an Approach Based on the Analysis of Computer Program Execution Traces for the Detection of Vulnerabilities. |
InterSol |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Konstantin Levit-Gurevich, Alex Skaletsky, Michael Berezalsky, Yulia Kuznetcova, Hila Yakov |
Profiling Intel Graphics Architecture with Long Instruction Traces. |
ISPASS |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Oleg Lesota, Emilia Parada-Cabaleiro, Stefan Brandl, Elisabeth Lex, Navid Rekabsaz, Markus Schedl |
Traces of Globalization in Online Music Consumption Patterns and Results of Recommendation Algorithms. |
ISMIR |
2022 |
DBLP BibTeX RDF |
|
11 | Martin Lukner, Thomas Göbel, Harald Baier |
Realistic and Configurable Synthesis of Malware Traces in Windows Systems. |
IFIP Int. Conf. Digital Forensics |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Andry Alamsyah, Dian Puteri Ramadhani, Herlambang Septiaji Basuseno |
Mining Digital Traces to Uncover Global Perception of Bali's Topmost Destinations. |
IWBIS |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Peeyush Kushwaha, Rahul Purandare, Matthew B. Dwyer |
Optimal Finite-State Monitoring of Partial Traces. |
RV |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann |
Metric Temporal Answer Set Programming over Timed Traces. |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Ning Ge 0002, Yuchen Liu |
MC-FLoc: Learning from Traces to Locate Fault in Petri Net Model Checking. |
ISSRE |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Iris Reinhartz-Berger, Amir Tomer |
Mining Fork-Including Software Development Traces. |
CAiSE Forum |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Qiang Li, Haiyang Tian, Wenxia Qiao, Qiang Han, Mingjuan Ma |
Co-located Collaboration Analysis Based on Group Traces. |
CSCWD |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Lerina Aversano, Mario Luca Bernardi, Marta Cimitile, Martina Iammarino, Debora Montano, Chiara Verdone |
A Machine Learning approach for Early Detection of Parkinson's Disease Using acoustic traces. |
EAIS |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Lucas N. Silva, Paulo H. L. Rettore, Vinícius F. S. Mota, Bruno P. Santos |
MobVis: A Framework for Analysis and Visualization of Mobility Traces. |
ISCC |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Ryu Kazama, Hirotake Abe, Chunghan Lee |
Evaluating TCP Throughput Predictability from Packet Traces using Recurrent Neural Network. |
ISCC |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Ray Jiang, Shangtong Zhang, Veronica Chelu, Adam White 0001, Hado van Hasselt |
Learning Expected Emphatic Traces for Deep RL. |
AAAI |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Bo Xu 0001, Rohit Gupta, Basel Hashisho, Reinhard Köhn, Sebastian van de Hoef |
Extracting journeys from truck GPS traces. |
IWCTS@SIGSPATIAL |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Joschka Andreas Hüllmann |
Media Choice in the Digital Era: A Replication Study Using Digital Traces. |
Bled eConference |
2022 |
DBLP BibTeX RDF |
|
11 | Jan Zielasko, Sören Tempel, Vladimir Herdt, Rolf Drechsler |
3D Visualization of Symbolic Execution Traces. |
FDL |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Paola Busia, Andrea Cossettini, Thorir Mar Ingolfsson, Simone Benatti, Alessio Burrello, Moritz Scherer, Matteo Antonio Scrugli, Paolo Meloni, Luca Benini |
EEGformer: Transformer-Based Epilepsy Detection on Raw EEG Traces for Low-Channel-Count Wearable Continuous Monitoring Devices. |
BioCAS |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Max von Bülow 0001, Tobias Stensbeck, Volker Knauthe, Stefan Guthe, Dieter W. Fellner |
Reconstructing Bounding Volume Hierarchies from Memory Traces of Ray Tracers. |
PG (Short Papers, Posters, and Work-in-Progress Papers) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Jinzheng Cao, Yanbin Pan, Qingfeng Cheng, Xinghua Li 0001 |
Handle the Traces: Revisiting the Attack on ECDSA with EHNP. |
ACISP |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Quentin Guimard, Florent Robert, Camille Bauce, Aldric Ducreux, Lucile Sassatelli, Hui-Yin Wu, Marco Winckler, Auriane Gros |
PEM360: a dataset of 360° videos with continuous physiological measurements, subjective emotional ratings and motion traces. |
MMSys |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Frank Busse, Pritam M. Gharat, Cristian Cadar, Alastair F. Donaldson |
Combining static analysis error traces with dynamic symbolic execution (experience paper). |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Aina Garí Soler, Matthieu Labeau, Chloé Clavel |
One Word, Two Sides: Traces of Stance in Contextualized Word Representations. |
COLING |
2022 |
DBLP BibTeX RDF |
|
11 | Sarah Kleest-Meißner, Rebecca Sattler, Markus L. Schmid, Nicole Schweikardt, Matthias Weidlich 0001 |
Discovering Event Queries from Traces: Laying Foundations for Subsequence-Queries with Wildcards and Gap-Size Constraints. |
ICDT |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Xinlong Liu, Zepeng Sun, Wei Liu, Feng Qiao, Li Cui, Jing Yang, Jingjie Sha, Jian Li, Li-Qun Xu |
Multi-level translocation events analysis in solid-state nanopore current traces. |
BIBM |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Evangelos Hytis, Vasileios Nastos, Christos Gogos, Angelos Dimitsas |
Automated identification of fraudulent financial statements by analyzing data traces. |
SEEDA-CECNSM |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Daniela Vianna 0001, Amélie Marian |
A Frequency-Based Learning-To-Rank Approach for Personal Digital Traces. |
HICSS |
2022 |
DBLP BibTeX RDF |
|
11 | Mbarka Soualhia, Fetahi Wuhib |
Automated Traces-based Anomaly Detection and Root Cause Analysis in Cloud Platforms. |
IC2E |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Jiajun Gong, Wuqi Zhang, Charles Zhang 0001, Tao Wang 0012 |
Surakav: Generating Realistic Traces for a Strong Website Fingerprinting Defense. |
SP |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Tom Westermann, Nemanja Hranisavljevic, Alexander Fay |
Accessing and Interpreting OPC UA Event Traces based on Semantic Process Descriptions. |
ETFA |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Quentin Bammey, Rafael Grompone von Gioi, Jean-Michel Morel |
Forgery Detection by Internal Positional Learning of Demosaicing Traces. |
WACV |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Shaveta Dandyan, Habib Louafi, Samira Sadaoui |
A Feistel Network-based Prefix-Preserving Anonymization Approach, Applied To Network Traces. |
PST |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Michael Hoyer, Shahram Eivazi, Sebastian Otte |
Efficient LSTM Training with Eligibility Traces. |
ICANN (3) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Omkar Desai, Seungmin Shin, Eunji Lee, Bryan S. Kim |
A principled approach for selecting block I/O traces. |
HotStorage |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Varvara Kalokyri, Alexander Borgida, Amélie Marian |
Supporting Human Memory by Reconstructing Personal Episodic Narratives from Digital Traces. |
ICWSM |
2022 |
DBLP BibTeX RDF |
|
11 | Alessandro Gianola, Nicola Gigante |
LTL Modulo Theories over Finite Traces: modeling, verification, open questions. |
OVERLAY@AI*IA |
2022 |
DBLP BibTeX RDF |
|
11 | Asma Razagallah, Raphaël Khoury, Jean-Baptiste Poulet |
TwinDroid: A Dataset of Android app System call traces and Trace Generation Pipeline. |
MSR |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Olivier Nourry, Yutaro Kashiwa, Bin Lin 0008, Gabriele Bavota, Michele Lanza, Yasutaka Kamei |
AIP: Scalable and Reproducible Execution Traces in Energy Studies on Mobile Devices. |
ICSME |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Mircea Nicolaescu, Victor Croitoru, Leontin Tuta |
Radiated Fields by Vias and Matched Microstrip Traces in High Speed PCBs. |
COMM |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Bettina Fazzinga, Sergio Flesca, Filippo Furfaro, Luigi Pontieri |
Explainable Interpretation of Low-Level Process Traces via Abstract Argumentation. |
PMAI@IJCAI |
2022 |
DBLP BibTeX RDF |
|
11 | Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi |
Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces. |
IJCAI |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Tom Willaert |
Detecting Traces of Narrative Evolution on Telegram: Inductive Methods from Corpus-Based Discourse Analysis. |
SEM4NBU@IJCAI |
2022 |
DBLP BibTeX RDF |
|
11 | Luca Geatti, Alessandro Gianola, Nicola Gigante |
Linear Temporal Logic Modulo Theories over Finite Traces. |
IJCAI |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Phuong Nguyen, Vatche Isahagian, Vinod Muthusamy, Aleksander Slominski |
Summarizing Process Traces for Analysis Tasks: An Intuitive and User-controlled Approach. |
PMAI@IJCAI |
2022 |
DBLP BibTeX RDF |
|
11 | Carmine Dodaro, Valeria Fionda, Gianluigi Greco |
LTL on Weighted Finite Traces: Formal Foundations and Algorithms. |
IJCAI |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Xiaoting Zhong, Nan Zhang 0001, Zhenhua Duan |
An Approach for Automatically Generating Traces for Python Programs. |
DSA |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Giulia Grundler, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Sergio Tessaris |
Shape Your Process: Discovering Declarative Business Processes from Positive and Negative Traces Taking into Account User Preferences. |
EDOC |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Carlos García-Rubio, Celeste Campo, Marta Moure-Garrido |
Synthetic Generation of Electrical Consumption Traces in Smart Homes. |
UCAmI |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Linda Hirsch, Anna Haller, Andreas Butz, Ceenu George |
"What a Mess!": Traces of Use to Increase Asynchronous Social Presence in Shared Virtual Environments. |
VR Workshops |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Fumiya Sato, Ayano Ikegami, Takashi Ishio, Kazumasa Shimari, Kenichi Matsumoto |
Comparing Execution Traces of Jupyter Notebook for Checking Correctness of Refactoring. |
IWSC |
2022 |
DBLP DOI BibTeX RDF |
|
|
|